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_apply
(Req : Preface_specs.Applicative.WITH_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_map_and_product
(Req : Preface_specs.Applicative.WITH_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_lift2
(Req : Preface_specs.Applicative.WITH_LIFT2) :
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_map_and_product
(Req : Preface_specs.Applicative.WITH_MAP_AND_PRODUCT) :
Preface_specs.Applicative.CORE with type 'a t = 'a Req.tmodule Core_via_apply
(Req : Preface_specs.Applicative.WITH_APPLY) :
Preface_specs.Applicative.CORE with type 'a t = 'a Req.tmodule Core_via_lift2
(Req : Preface_specs.Applicative.WITH_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