Building a Preface_specs.Monad_plus
Build a Preface_specs.MONAD_PLUS using Preface_specs.Monad_plus.WITH_BIND.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_bind
(Req : Preface_specs.Monad_plus.WITH_BIND) :
Preface_specs.MONAD_PLUS with type 'a t = 'a Req.tBuild a Preface_specs.MONAD_PLUS using Preface_specs.Monad_plus.WITH_MAP_AND_JOIN.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_map_and_join
(Req : Preface_specs.Monad_plus.WITH_MAP_AND_JOIN) :
Preface_specs.MONAD_PLUS with type 'a t = 'a Req.tBuild a Preface_specs.MONAD_PLUS using Preface_specs.Monad_plus.WITH_KLEISLI_COMPOSITION.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_kleisli_composition
(Req : Preface_specs.Monad_plus.WITH_KLEISLI_COMPOSITION) :
Preface_specs.MONAD_PLUS with type 'a t = 'a Req.tBuild a Preface_specs.MONAD_PLUS over a Preface_specs.MONAD and an neutral and combine from an Preface_specs.ALTERNATIVE.
module Over_monad_and_alternative
(Monad : Preface_specs.MONAD)
(Alternative : Preface_specs.ALTERNATIVE with type 'a t = 'a Monad.t) :
Preface_specs.MONAD_PLUS with type 'a t = 'a Alternative.tBuild a Preface_specs.MONAD_PLUS over a Preface_specs.MONAD and using Preface_specs.Monad_plus.WITH_NEUTRAL_AND_COMBINE.
module Over_monad
(Monad : Preface_specs.MONAD)
(Req :
Preface_specs.Monad_plus.WITH_NEUTRAL_AND_COMBINE
with type 'a t = 'a Monad.t) :
Preface_specs.MONAD_PLUS with type 'a t = 'a Req.tConstruction of Preface_specs.MONAD_PLUS by combining them.
Construct the product of two Preface_specs.MONAD_PLUS.
module Product
(F : Preface_specs.MONAD_PLUS)
(G : Preface_specs.MONAD_PLUS) :
Preface_specs.MONAD_PLUS with type 'a t = 'a F.t * 'a G.tProduces an Preface_specs.MONAD_PLUS from an Arrow which has to be a Preface_specs.ARROW_PLUS and a Preface_specs.ARROW_APPLY.
module From_arrow_apply_and_arrow_plus
(A : Preface_specs.ARROW_APPLY)
(P : Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) A.t) :
Preface_specs.MONAD_PLUS with type 'a t = (unit, 'a) P.tAdvanced way to build a Preface_specs.MONAD_PLUS, constructing and assembling a component-by-component of Preface_specs.MONAD_PLUS. (In order to provide your own implementation for some features.)
module Via
(Core : Preface_specs.Monad_plus.CORE)
(Operation : Preface_specs.Monad_plus.OPERATION with type 'a t = 'a Core.t)
(Infix : Preface_specs.Monad_plus.INFIX with type 'a t = 'a Core.t)
(Syntax : Preface_specs.Monad_plus.SYNTAX with type 'a t = 'a Core.t) :
Preface_specs.MONAD_PLUS with type 'a t = 'a Core.tmodule Core_via_bind
(Req : Preface_specs.Monad_plus.WITH_BIND) :
Preface_specs.Monad_plus.CORE with type 'a t = 'a Req.tmodule Core_via_map_and_join
(Req : Preface_specs.Monad_plus.WITH_MAP_AND_JOIN) :
Preface_specs.Monad_plus.CORE with type 'a t = 'a Req.tmodule Core_via_kleisli_composition
(Req : Preface_specs.Monad_plus.WITH_KLEISLI_COMPOSITION) :
Preface_specs.Monad_plus.CORE with type 'a t = 'a Req.tmodule Operation
(Core : Preface_specs.Monad_plus.CORE) :
Preface_specs.Monad_plus.OPERATION with type 'a t = 'a Core.tmodule Syntax
(Core : Preface_specs.Monad_plus.CORE) :
Preface_specs.Monad_plus.SYNTAX with type 'a t = 'a Core.tmodule Infix
(Core : Preface_specs.Monad_plus.CORE)
(Operation : Preface_specs.Monad_plus.OPERATION with type 'a t = 'a Core.t) :
Preface_specs.Monad_plus.INFIX with type 'a t = 'a Core.t