package preface
Module Preface_stdlib.ResultSource
Implementation for Result.t.
Result.t is like Either.t but it exist for semantic reasons. (Left and Right are not very specific on what are the valid and the invalid branch).
Type
Implementation
Bifunctor
module Bifunctor : Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) tDelayed implementation
By setting the error type of Result.t it is possible to get implementations for abstractions on constructors of type with an arity of 1.
Functor
Source
module Functor
(T : Preface_specs.Types.T0) :
Preface_specs.FUNCTOR with type 'a t = ('a, T.t) Bifunctor.tAlt
Source
module Alt
(T : Preface_specs.Types.T0) :
Preface_specs.ALT with type 'a t = ('a, T.t) Bifunctor.tInvariant
Source
module Invariant
(T : Preface_specs.Types.T0) :
Preface_specs.INVARIANT with type 'a t = ('a, T.t) Bifunctor.tApplicative
Result.t implements Preface_specs.APPLICATIVE and introduces an interface to define Preface_specs.TRAVERSABLE using Result as an iterable structure.
Source
module Applicative
(T : Preface_specs.Types.T0) :
Preface_specs.Traversable.API_OVER_APPLICATIVE
with type 'a t = ('a, T.t) Bifunctor.tSelective
Source
module Selective
(T : Preface_specs.Types.T0) :
Preface_specs.SELECTIVE with type 'a t = ('a, T.t) Bifunctor.tMonad
Result.t implements Preface_specs.MONAD and introduces an interface to define Preface_specs.TRAVERSABLE using Result as an iterable structure.
Source
module Monad
(T : Preface_specs.Types.T0) :
Preface_specs.Traversable.API_OVER_MONAD
with type 'a t = ('a, T.t) Bifunctor.tFoldable
Source
module Foldable
(T : Preface_specs.Types.T0) :
Preface_specs.FOLDABLE with type 'a t = ('a, T.t) Bifunctor.tAdditional functions
Additional functions to facilitate practical work with Result.t.
Equality between Result.t.
Source
val pp :
(Format.formatter -> 'a -> unit) ->
(Format.formatter -> 'b -> unit) ->
Format.formatter ->
('a, 'b) t ->
unitFormatter for pretty-printing for Result.t.