Building a Preface_specs.Profunctor
Build a Preface_specs.PROFUNCTOR using Preface_specs.Profunctor.WITH_DIMAP.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_dimap
(Req : Preface_specs.Profunctor.WITH_DIMAP) :
Preface_specs.PROFUNCTOR with type ('a, 'b) t = ('a, 'b) Req.tBuild a Preface_specs.PROFUNCTOR using Preface_specs.Profunctor.WITH_CONTRAMAP_FST_AND_MAP_SND.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_contramap_fst_and_map_snd
(Req : Preface_specs.Profunctor.WITH_CONTRAMAP_FST_AND_MAP_SND) :
Preface_specs.PROFUNCTOR with type ('a, 'b) t = ('a, 'b) Req.tConstruction of Preface_specs.PROFUNCTOR by combining them.
Right-to-left composition of Preface_specs.PROFUNCTOR.
module Composition
(F : Preface_specs.PROFUNCTOR)
(G : Preface_specs.PROFUNCTOR) :
sig ... endProduces a Preface_specs.PROFUNCTOR from a Preface_specs.MONAD.
module From_monad
(Monad : Preface_specs.Monad.CORE) :
Preface_specs.PROFUNCTOR with type ('a, 'b) t = 'a -> 'b Monad.tProduces a Preface_specs.PROFUNCTOR from a Preface_specs.STRONG.
module From_strong
(Strong : Preface_specs.STRONG) :
Preface_specs.PROFUNCTOR with type ('a, 'b) t = ('a, 'b) Strong.tProduces a Preface_specs.PROFUNCTOR from a Preface_specs.CHOICE.
module From_choice
(Choice : Preface_specs.CHOICE) :
Preface_specs.PROFUNCTOR with type ('a, 'b) t = ('a, 'b) Choice.tProduces a Preface_specs.PROFUNCTOR from a Preface_specs.CLOSED.
module From_closed
(Closed : Preface_specs.CLOSED) :
Preface_specs.PROFUNCTOR with type ('a, 'b) t = ('a, 'b) Closed.tAdvanced way to build a Preface_specs.PROFUNCTOR, constructing and assembling a component-by-component of Preface_specs.PROFUNCTOR. (In order to provide your own implementation for some features.)
module Core_via_dimap
(Req : Preface_specs.Profunctor.WITH_DIMAP) :
Preface_specs.Profunctor.CORE with type ('a, 'b) t = ('a, 'b) Req.tmodule Core_via_contramap_fst_and_map_snd
(Req : Preface_specs.Profunctor.WITH_CONTRAMAP_FST_AND_MAP_SND) :
Preface_specs.Profunctor.CORE with type ('a, 'b) t = ('a, 'b) Req.t