On This Page
package preface
Module Preface_make.Indexed_bind
Building a Preface_specs.Indexed_bind
Using the minimal definition
Using map and bind
Build a Preface_specs.Indexed_bind using Preface_specs.Indexed_Bind.WITH_RETURN_AND_BIND.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_map_and_bind
(Req : Preface_specs.Indexed_bind.WITH_MAP_AND_BIND) :
Preface_specs.INDEXED_BIND with type ('a, 'index) t = ('a, 'index) Req.tUsing bind over functor
Build a Preface_specs.INDEXED_BIND using Preface_specs.Indexed_functor.WITH_MAP and Preface_specs.Indexed_bind.WITH_BIND.
Standard method, using the minimal definition of an alt to derive its full API.
module Over_functor_via_bind
(Functor : Preface_specs.Indexed_functor.WITH_MAP)
(Req :
Preface_specs.Indexed_bind.WITH_BIND
with type ('a, 'index) t = ('a, 'index) Functor.t) :
Preface_specs.INDEXED_BIND with type ('a, 'index) t = ('a, 'index) Req.tUsing return, map and join
Build a Preface_specs.INDEXED_BIND using Preface_specs.Indexed_bind.WITH_RETURN_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.Indexed_bind.WITH_MAP_AND_JOIN) :
Preface_specs.INDEXED_BIND with type ('a, 'index) t = ('a, 'index) Req.tUsing return and the kleisli composition
Build a Preface_specs.INDEXED_BIND using rap contenders Preface_specs.Indexed_bind.WITH_RETURN_AND_KLEISLI_COMPOSITION.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_map_and_kleisli_composition
(Req : Preface_specs.Indexed_bind.WITH_MAP_AND_KLEISLI_COMPOSITION) :
Preface_specs.INDEXED_BIND with type ('a, 'index) t = ('a, 'index) Req.tUsing kleisli composition over functor
Build a Preface_specs.INDEXED_BIND using Preface_specs.Indexed_functor.WITH_MAP and Preface_specs.Indexed_bind.WITH_KLEISLI_COMPOSITION.
Standard method, using the minimal definition of an alt to derive its full API.
module Over_functor_via_kleisli_composition
(Functor : Preface_specs.Indexed_functor.WITH_MAP)
(Req :
Preface_specs.Indexed_bind.WITH_KLEISLI_COMPOSITION
with type ('a, 'index) t = ('a, 'index) Functor.t) :
Preface_specs.INDEXED_BIND with type ('a, 'index) t = ('a, 'index) Req.tManual construction
Advanced way to build a Preface_specs.INDEXED_BIND, constructing and assembling a component-by-component of Preface_specs.INDEXED_BIND. (In order to provide your own implementation for some features.)
Grouping of all components
module Via
(Core : Preface_specs.Indexed_bind.CORE)
(Operation :
Preface_specs.Indexed_bind.OPERATION
with type ('a, 'index) t = ('a, 'index) Core.t)
(Infix :
Preface_specs.Indexed_bind.INFIX
with type ('a, 'index) t = ('a, 'index) Core.t)
(Syntax :
Preface_specs.Indexed_bind.SYNTAX
with type ('a, 'index) t = ('a, 'index) Core.t) :
Preface_specs.INDEXED_BIND with type ('a, 'index) t = ('a, 'index) Core.tBuilding Core
module Core_via_map_and_bind
(Req : Preface_specs.Indexed_bind.WITH_MAP_AND_BIND) :
Preface_specs.Indexed_bind.CORE with type ('a, 'index) t = ('a, 'index) Req.tmodule Core_via_map_and_join
(Req : Preface_specs.Indexed_bind.WITH_MAP_AND_JOIN) :
Preface_specs.Indexed_bind.CORE with type ('a, 'index) t = ('a, 'index) Req.tmodule Core_via_map_and_kleisli_composition
(Req : Preface_specs.Indexed_bind.WITH_MAP_AND_KLEISLI_COMPOSITION) :
Preface_specs.Indexed_bind.CORE with type ('a, 'index) t = ('a, 'index) Req.tmodule Core_over_functor_via_bind
(Functor : Preface_specs.Indexed_functor.WITH_MAP)
(Req :
Preface_specs.Indexed_bind.WITH_BIND
with type ('a, 'index) t = ('a, 'index) Functor.t) :
Preface_specs.Indexed_bind.CORE with type ('a, 'index) t = ('a, 'index) Req.tmodule Core_over_functor_via_kleisli_composition
(Functor : Preface_specs.Indexed_functor.WITH_MAP)
(Req :
Preface_specs.Indexed_bind.WITH_KLEISLI_COMPOSITION
with type ('a, 'index) t = ('a, 'index) Functor.t) :
Preface_specs.Indexed_bind.CORE with type ('a, 'index) t = ('a, 'index) Req.tDeriving Operation
module Operation
(Core : Preface_specs.Indexed_bind.CORE) :
Preface_specs.Indexed_bind.OPERATION
with type ('a, 'index) t = ('a, 'index) Core.tDeriving Syntax
module Syntax
(Core : Preface_specs.Indexed_bind.CORE) :
Preface_specs.Indexed_bind.SYNTAX
with type ('a, 'index) t = ('a, 'index) Core.tDeriving Infix
module Infix
(Core : Preface_specs.Indexed_bind.CORE)
(Operation :
Preface_specs.Indexed_bind.OPERATION
with type ('a, 'index) t = ('a, 'index) Core.t) :
Preface_specs.Indexed_bind.INFIX
with type ('a, 'index) t = ('a, 'index) Core.tOn This Page