Module `Bastet__Option`

Option is the equivalent of Maybe in Haskell for Ocaml

val (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t
val maybe : f:('a -> 'b) -> default:'b -> 'a option -> 'b
val getWithDefault : 'a -> 'a option -> 'a

module type MAGMA_F = functor (M : Bastet.Interface.MAGMA) -> Bastet.Interface.MAGMA with type t = M.t option

module type SEMIGROUP_F = functor (S : Bastet.Interface.SEMIGROUP) -> Bastet.Interface.SEMIGROUP with type t = S.t option

module type MONOID_F = functor (S : Bastet.Interface.SEMIGROUP) -> Bastet.Interface.MONOID with type t = S.t option

module type QUASIGROUP_F = functor (Q : Bastet.Interface.QUASIGROUP) -> Bastet.Interface.QUASIGROUP with type t = Q.t option

module type LOOP_F = functor (L : Bastet.Interface.LOOP) -> Bastet.Interface.LOOP with type t = L.t option

module type EQ_F = functor (E : Bastet.Interface.EQ) -> Bastet.Interface.EQ with type t = E.t option

module type ORD_F = functor (O : Bastet.Interface.ORD) -> Bastet.Interface.ORD with type t = O.t option

module type SHOW_F = functor (S : Bastet.Interface.SHOW) -> Bastet.Interface.SHOW with type t = S.t option

module type TRAVERSABLE_F = functor (A : Bastet.Interface.APPLICATIVE) -> Bastet.Interface.TRAVERSABLE with type 'a t = 'a option and type 'a applicative_t = 'a A.t

module Functor : Bastet.Interface.FUNCTOR with type 'a t = 'a option

module Apply : Bastet.Interface.APPLY with type 'a t = 'a option

module Applicative : Bastet.Interface.APPLICATIVE with type 'a t = 'a option

module Monad : Bastet.Interface.MONAD with type 'a t = 'a option

module Magma : MAGMA_F

module Semigroup : functor (S : Bastet.Interface.SEMIGROUP) -> sig ... end

module Monoid : MONOID_F

module Quasigroup : QUASIGROUP_F

module Loop : LOOP_F

module Alt : Bastet.Interface.ALT with type 'a t = 'a option

module Plus : Bastet.Interface.PLUS with type 'a t = 'a option

module Alternative : Bastet.Interface.ALTERNATIVE with type 'a t = 'a option

module Foldable : Bastet.Interface.FOLDABLE with type 'a t = 'a option

module Traversable : functor (A : Bastet.Interface.APPLICATIVE) -> sig ... end

module Eq : EQ_F

module Ord : ORD_F

module Show : SHOW_F

module Infix : sig ... end