package preface
Module Preface_make.Closed
Building a Preface_specs.Closed
Using the minimal definition
Using dimap and closed
Build a Preface_specs.CLOSED using Preface_specs.Closed.WITH_DIMAP_AND_CLOSED.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_dimap_and_closed
(Req : Preface_specs.Closed.WITH_DIMAP_AND_CLOSED) :
Preface_specs.CLOSED with type ('a, 'b) t = ('a, 'b) Req.tUsing contramap_fst, map_snd and closed
Build a Preface_specs.CLOSED using Preface_specs.Closed.WITH_CONTRAMAP_FST_AND_MAP_SND_AND_CLOSED.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_contramap_fst_and_map_snd_and_closed
(Req : Preface_specs.Closed.WITH_CONTRAMAP_FST_AND_MAP_SND_AND_CLOSED) :
Preface_specs.CLOSED with type ('a, 'b) t = ('a, 'b) Req.tUsing closed over a Profunctor
Build a Preface_specs.CLOSED over a Preface_specs.PROFUNCTOR using Preface_specs.Closed.WITH_CLOSED.
Standard method, using the minimal definition of an alt to derive its full API.
module Over_profunctor_via_closed
(P : Preface_specs.Profunctor.CORE)
(C : Preface_specs.Closed.WITH_CLOSED with type ('a, 'b) t = ('a, 'b) P.t) :
Preface_specs.CLOSED with type ('a, 'b) t = ('a, 'b) C.tClosed Algebra
Construction of Preface_specs.CLOSED by combining them.
Composition
Right-to-left composition of Preface_specs.CLOSED.
module Composition
(F : Preface_specs.CLOSED)
(G : Preface_specs.CLOSED) :
sig ... endManual construction
Advanced way to build a Preface_specs.CLOSED, constructing and assembling a component-by-component of Preface_specs.CLOSED. (In order to provide your own implementation for some features.)
Grouping of all components
module Via
(Core : Preface_specs.Closed.CORE)
(Operation :
Preface_specs.Closed.OPERATION with type ('a, 'b) t = ('a, 'b) Core.t) :
Preface_specs.CLOSED with type ('a, 'b) t = ('a, 'b) Operation.tBuilding Core
module Core_via_dimap_and_closed
(Req : Preface_specs.Closed.WITH_DIMAP_AND_CLOSED) :
Preface_specs.Closed.CORE with type ('a, 'b) t = ('a, 'b) Req.tmodule Core_via_contramap_fst_and_map_snd_and_closed
(Req : Preface_specs.Closed.WITH_CONTRAMAP_FST_AND_MAP_SND_AND_CLOSED) :
Preface_specs.Closed.CORE with type ('a, 'b) t = ('a, 'b) Req.tDeriving Operation
module Operation
(Core : Preface_specs.Closed.CORE) :
Preface_specs.Closed.OPERATION with type ('a, 'b) t = ('a, 'b) Core.t