Module `Bastet__Result`

Result is the equivalent of Either in Haskell for Ocaml

val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
val const : 'a -> 'b -> 'a
val result : ('a -> 'c) -> ('b -> 'c) -> ('a, 'b) Stdlib.result -> 'c

module type MAGMA_F = functor (T : Bastet.Interface.TYPE) -> functor (M : Bastet.Interface.MAGMA) -> Bastet.Interface.MAGMA with type t = (M.t, T.t) Stdlib.result

module type MEDIAL_MAGMA_F = functor (T : Bastet.Interface.TYPE) -> functor (M : Bastet.Interface.MAGMA) -> Bastet.Interface.MEDIAL_MAGMA with type t = (M.t, T.t) Stdlib.result

module type SEMIGROUP_F = functor (T : Bastet.Interface.TYPE) -> functor (S : Bastet.Interface.SEMIGROUP) -> Bastet.Interface.SEMIGROUP with type t = (S.t, T.t) Stdlib.result

module type FUNCTOR_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.FUNCTOR with type 'a t = ('a, T.t) Stdlib.result

module type APPLY_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.APPLY with type 'a t = ('a, T.t) Stdlib.result

module type APPLICATIVE_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.APPLICATIVE with type 'a t = ('a, T.t) Stdlib.result

module type MONAD_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.MONAD with type 'a t = ('a, T.t) Stdlib.result

module type ALT_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.ALT with type 'a t = ('a, T.t) Stdlib.result

module type EXTEND_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.EXTEND with type 'a t = ('a, T.t) Stdlib.result

module type SHOW_F = functor (Ok : Bastet.Interface.SHOW) -> functor (Error : Bastet.Interface.SHOW) -> Bastet.Interface.SHOW with type t = (Ok.t, Error.t) Stdlib.result

module type EQ_F = functor (Ok : Bastet.Interface.EQ) -> functor (Error : Bastet.Interface.EQ) -> Bastet.Interface.EQ with type t = (Ok.t, Error.t) Stdlib.result

module type ORD_F = functor (Ok : Bastet.Interface.ORD) -> functor (Error : Bastet.Interface.ORD) -> Bastet.Interface.ORD with type t = (Ok.t, Error.t) Stdlib.result

module type BOUNDED_F = functor (Ok : Bastet.Interface.BOUNDED) -> functor (Error : Bastet.Interface.BOUNDED) -> Bastet.Interface.BOUNDED with type t = (Ok.t, Error.t) Stdlib.result

module type FOLDABLE_F = functor (T : Bastet.Interface.TYPE) -> Bastet.Interface.FOLDABLE with type 'a t = ('a, T.t) Stdlib.result

module type TRAVERSABLE_F = functor (T : Bastet.Interface.TYPE) -> functor (A : Bastet.Interface.APPLICATIVE) -> Bastet.Interface.TRAVERSABLE with type 'a t = ('a, T.t) Stdlib.result and type 'a applicative_t = 'a A.t

module type BITRAVERSABLE_F = functor (A : Bastet.Interface.APPLICATIVE) -> Bastet.Interface.BITRAVERSABLE with type ('a, 'b) t = ('a, 'b) Stdlib.result and type 'a applicative_t = 'a A.t

module Magma : MAGMA_F

module Medial_Magma : MEDIAL_MAGMA_F

module Semigroup : SEMIGROUP_F

module Functor : FUNCTOR_F

module Bifunctor : Bastet.Interface.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) Stdlib.result

module Apply : APPLY_F

module Applicative : APPLICATIVE_F

module Monad : MONAD_F

module Alt : ALT_F

module Extend : EXTEND_F

module Show : SHOW_F

module Eq : EQ_F

module Ord : ORD_F

module Bounded : BOUNDED_F

module Many_Valued_Logic : sig ... end

module Foldable : FOLDABLE_F

module Bifoldable : Bastet.Interface.BIFOLDABLE with type ('a, 'b) t = ('a, 'b) Stdlib.result

module Traversable : TRAVERSABLE_F

module Bitraversable : BITRAVERSABLE_F

module Infix : sig ... end

module Choose : functor (A : Bastet.Interface.ALT) -> sig ... end

module Unsafe : sig ... end

val is_ok : ('a, 'b) Stdlib.result -> bool
val is_error : ('a, 'b) Stdlib.result -> bool
val note : 'err -> 'a option -> ('a, 'err) Stdlib.result
val hush : ('a, 'err) Stdlib.result -> 'a option