Building a Preface_specs.Applicative
Build a Preface_specs.APPLICATIVE using Preface_specs.Applicative.WITH_APPLY.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_pure_and_apply
(Req : Preface_specs.Applicative.WITH_PURE_AND_APPLY) :
Preface_specs.APPLICATIVE with type 'a t = 'a Req.tBuild a Preface_specs.APPLICATIVE using Preface_specs.Applicative.WITH_MAP_AND_PRODUCT.
Other standard method, using the minimal definition of an alt to derive its full API.
module Via_pure_map_and_product
(Req : Preface_specs.Applicative.WITH_PURE_MAP_AND_PRODUCT) :
Preface_specs.APPLICATIVE with type 'a t = 'a Req.tBuild a Preface_specs.APPLICATIVE using Preface_specs.Applicative.WITH_LIFT2.
Other standard method, using the minimal definition of an alt to derive its full API.
module Via_pure_and_lift2
(Req : Preface_specs.Applicative.WITH_PURE_AND_LIFT2) :
Preface_specs.APPLICATIVE with type 'a t = 'a Req.tBuild a Preface_specs.APPLICATIVE over an Preface_specs.APPLY.
If you already have an Applicative, you can enrich it by passing only combine and neutral..
module Over_apply
(Apply : Preface_specs.APPLY)
(Req : Preface_specs.Applicative.WITH_PURE with type 'a t = 'a Apply.t) :
Preface_specs.APPLICATIVE with type 'a t = 'a Req.tConstruction of Preface_specs.APPLICATIVE by combining them.
Right-to-left composition of Preface_specs.APPLICATIVE.
module Composition
(F : Preface_specs.APPLICATIVE)
(G : Preface_specs.APPLICATIVE) :
Preface_specs.APPLICATIVE with type 'a t = 'a G.t F.tConstruct the product of two Preface_specs.APPLICATIVE.
module Product
(F : Preface_specs.APPLICATIVE)
(G : Preface_specs.APPLICATIVE) :
Preface_specs.APPLICATIVE with type 'a t = 'a F.t * 'a G.tProduces a Preface_specs.APPLICATIVE from a Preface_specs.MONAD.
module From_monad
(Monad : Preface_specs.MONAD) :
Preface_specs.APPLICATIVE with type 'a t = 'a Monad.tProduces a Preface_specs.APPLICATIVE from an Preface_specs.ALTERNATIVE.
module From_alternative
(Alternative : Preface_specs.ALTERNATIVE) :
Preface_specs.APPLICATIVE with type 'a t = 'a Alternative.tProduces a Preface_specs.APPLICATIVE from an Preface_specs.ARROW.
module From_arrow
(A : Preface_specs.ARROW) :
Preface_specs.APPLICATIVE with type 'a t = (unit, 'a) A.tProduces a Preface_specs.APPLICATIVE from a Preface_specs.MONOID. This Applicative is called Const or a phantom monoid.
module Const (M : Preface_specs.Monoid.CORE) : sig ... endAdvanced way to build an Preface_specs.APPLICATIVE, constructing and assembling a component-by-component of Preface_specs.APPLICATIVE. (In order to provide your own implementation for some features.)
module Via
(Core : Preface_specs.Applicative.CORE)
(Operation : Preface_specs.Applicative.OPERATION with type 'a t = 'a Core.t)
(Infix : Preface_specs.Applicative.INFIX with type 'a t = 'a Core.t)
(Syntax : Preface_specs.Applicative.SYNTAX with type 'a t = 'a Core.t) :
Preface_specs.APPLICATIVE with type 'a t = 'a Core.tmodule Core_via_pure_map_and_product
(Req : Preface_specs.Applicative.WITH_PURE_MAP_AND_PRODUCT) :
Preface_specs.Applicative.CORE with type 'a t = 'a Req.tmodule Core_via_pure_and_apply
(Req : Preface_specs.Applicative.WITH_PURE_AND_APPLY) :
Preface_specs.Applicative.CORE with type 'a t = 'a Req.tmodule Core_via_pure_and_lift2
(Req : Preface_specs.Applicative.WITH_PURE_AND_LIFT2) :
Preface_specs.Applicative.CORE with type 'a t = 'a Req.tmodule Operation
(Core : Preface_specs.Applicative.CORE) :
Preface_specs.Applicative.OPERATION with type 'a t = 'a Core.tmodule Syntax
(Core : Preface_specs.Applicative.CORE) :
Preface_specs.Applicative.SYNTAX with type 'a t = 'a Core.tmodule Infix
(Core : Preface_specs.Applicative.CORE)
(Operation : Preface_specs.Applicative.OPERATION with type 'a t = 'a Core.t) :
Preface_specs.Applicative.INFIX with type 'a t = 'a Core.t