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).
module Bifunctor : Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) tBy setting the error type of Result.t it is possible to get implementations for abstractions on constructors of type with an arity of 1.
module Functor
(T : Preface_specs.Types.T0) :
Preface_specs.FUNCTOR with type 'a t = ('a, T.t) Bifunctor.tmodule Alt
(T : Preface_specs.Types.T0) :
Preface_specs.ALT with type 'a t = ('a, T.t) Bifunctor.tmodule Invariant
(T : Preface_specs.Types.T0) :
Preface_specs.INVARIANT with type 'a t = ('a, T.t) Bifunctor.tResult.t implements Preface_specs.APPLICATIVE and introduces an interface to define Preface_specs.TRAVERSABLE using Result as an iterable structure.
module Applicative
(T : Preface_specs.Types.T0) :
Preface_specs.Traversable.API_OVER_APPLICATIVE
with type 'a t = ('a, T.t) Bifunctor.tmodule Selective
(T : Preface_specs.Types.T0) :
Preface_specs.SELECTIVE with type 'a t = ('a, T.t) Bifunctor.tResult.t implements Preface_specs.MONAD and introduces an interface to define Preface_specs.TRAVERSABLE using Result as an iterable structure.
module Monad
(T : Preface_specs.Types.T0) :
Preface_specs.Traversable.API_OVER_MONAD
with type 'a t = ('a, T.t) Bifunctor.tmodule Foldable
(T : Preface_specs.Types.T0) :
Preface_specs.FOLDABLE with type 'a t = ('a, T.t) Bifunctor.tAdditional functions to facilitate practical work with Result.t.
val pure : 'a -> ('a, 'b) tCreate a value from 'b to ('a, 'b) t.
Equality between Result.t.
val pp :
(Format.formatter -> 'a -> unit) ->
(Format.formatter -> 'b -> unit) ->
Format.formatter ->
('a, 'b) t ->
unitFormatter for pretty-printing for Result.t.