Building a Preface_specs.Selective
Build a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_SELECT on top of an Preface_specs.APPLICATIVE.
Standard method, using the minimal definition of an alt to derive its full API.
module Over_applicative_via_select
(Applicative : Preface_specs.APPLICATIVE)
(Req : Preface_specs.Selective.WITH_SELECT with type 'a t = 'a Applicative.t) :
Preface_specs.SELECTIVE with type 'a t = 'a Req.tBuild a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_BRANCH on top of an Preface_specs.APPLICATIVE.
Standard method, using the minimal definition of an alt to derive its full API.
module Over_applicative_via_branch
(Applicative : Preface_specs.APPLICATIVE)
(Req : Preface_specs.Selective.WITH_BRANCH with type 'a t = 'a Applicative.t) :
Preface_specs.SELECTIVE with type 'a t = 'a Req.tBuild a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_SELECT on top of an Preface_specs.FUNCTOR.
Standard method, using the minimal definition of an alt to derive its full API (including the Applicative API).
module Over_functor_via_select
(Functor : Preface_specs.Functor.CORE)
(Req :
Preface_specs.Selective.WITH_PURE_AND_SELECT with type 'a t = 'a Functor.t) :
Preface_specs.SELECTIVE with type 'a t = 'a Req.tBuild a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_BRANCH on top of an Preface_specs.FUNCTOR.
Standard method, using the minimal definition of an alt to derive its full API (including the Applicative API).
module Over_functor_via_branch
(Functor : Preface_specs.Functor.CORE)
(Req :
Preface_specs.Selective.WITH_PURE_AND_BRANCH with type 'a t = 'a Functor.t) :
Preface_specs.SELECTIVE with type 'a t = 'a Req.tConstruction of Preface_specs.SELECTIVE by combining them.
Right-to-left composition of Preface_specs.APPLICATIVE with Preface_specs.SELECTIVE.
module Composition
(F : Preface_specs.APPLICATIVE)
(G : Preface_specs.SELECTIVE) :
Preface_specs.SELECTIVE with type 'a t = 'a G.t F.tConstruct the product of two Preface_specs.SELECTIVE.
module Product
(F : Preface_specs.SELECTIVE)
(G : Preface_specs.SELECTIVE) :
Preface_specs.SELECTIVE with type 'a t = 'a F.t * 'a G.tProduces a Preface_specs.SELECTIVE from an Preface_specs.ARROW_CHOICE.
module From_arrow_choice
(A : Preface_specs.ARROW_CHOICE) :
Preface_specs.SELECTIVE with type 'a t = (unit, 'a) A.tProduces a Preface_specs.SELECTIVE from a Preface_specs.MONOID. This Selective is called Const or a phantom monoid.
module Const (M : Preface_specs.Monoid.CORE) : sig ... endAdvanced way to build a Preface_specs.SELECTIVE, constructing and assembling a component-by-component of Preface_specs.SELECTIVE. (In order to provide your own implementation for some features.)
module Via
(Core : Preface_specs.Selective.CORE)
(Operation : Preface_specs.Selective.OPERATION with type 'a t = 'a Core.t)
(Infix : Preface_specs.Selective.INFIX with type 'a t = 'a Core.t)
(Syntax : Preface_specs.Selective.SYNTAX with type 'a t = 'a Core.t) :
Preface_specs.SELECTIVE with type 'a t = 'a Core.tmodule Core_over_functor_via_select
(Functor : Preface_specs.Functor.CORE)
(Req :
Preface_specs.Selective.WITH_PURE_AND_SELECT with type 'a t = 'a Functor.t) :
Preface_specs.Selective.CORE with type 'a t = 'a Req.tmodule Core_over_functor_via_branch
(Functor : Preface_specs.Functor.CORE)
(Req :
Preface_specs.Selective.WITH_PURE_AND_BRANCH with type 'a t = 'a Functor.t) :
Preface_specs.Selective.CORE with type 'a t = 'a Req.tmodule Core_over_applicative_via_select
(Applicative : Preface_specs.Applicative.CORE)
(Req : Preface_specs.Selective.WITH_SELECT with type 'a t = 'a Applicative.t) :
Preface_specs.Selective.CORE with type 'a t = 'a Req.tmodule Core_over_applicative_via_branch
(Applicative : Preface_specs.Applicative.CORE)
(Req : Preface_specs.Selective.WITH_BRANCH with type 'a t = 'a Applicative.t) :
Preface_specs.Selective.CORE with type 'a t = 'a Req.tmodule Operation
(Core : Preface_specs.Selective.CORE) :
Preface_specs.Selective.OPERATION with type 'a t = 'a Core.tmodule Infix
(Core : Preface_specs.Selective.CORE)
(Operation : Preface_specs.Selective.OPERATION with type 'a t = 'a Core.t) :
Preface_specs.Selective.INFIX with type 'a t = 'a Core.tmodule Syntax
(Core : Preface_specs.Selective.CORE) :
Preface_specs.Selective.SYNTAX with type 'a t = 'a Core.tmodule Select_from_monad
(Monad : Preface_specs.MONAD) :
Preface_specs.Selective.WITH_SELECT with type 'a t = 'a Monad.t