Building a Preface_specs.Comonad
Build a Preface_specs.COMONAD using Preface_specs.Comonad.WITH_EXTEND.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_extend
(Req : Preface_specs.Comonad.WITH_EXTEND) :
Preface_specs.COMONAD with type 'a t = 'a Req.tBuild a Preface_specs.COMONAD using Preface_specs.Comonad.WITH_MAP_AND_DUPLICATE.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_map_and_duplicate
(Req : Preface_specs.Comonad.WITH_MAP_AND_DUPLICATE) :
Preface_specs.COMONAD with type 'a t = 'a Req.tBuild a Preface_specs.COMONAD using Preface_specs.Comonad.WITH_COKLEISLI_COMPOSITION.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_cokleisli_composition
(Req : Preface_specs.Comonad.WITH_COKLEISLI_COMPOSITION) :
Preface_specs.COMONAD with type 'a t = 'a Req.tAdvanced way to build a Preface_specs.COMONAD, constructing and assembling a component-by-component of Preface_specs.COMONAD. (In order to provide your own implementation for some features.)
module Via
(Core : Preface_specs.Comonad.CORE)
(Operation : Preface_specs.Comonad.OPERATION with type 'a t = 'a Core.t)
(Syntax : Preface_specs.Comonad.SYNTAX with type 'a t = 'a Core.t)
(Infix : Preface_specs.Comonad.INFIX with type 'a t = 'a Core.t) :
Preface_specs.COMONAD with type 'a t = 'a Core.tmodule Core_via_map_and_duplicate
(Req : Preface_specs.Comonad.WITH_MAP_AND_DUPLICATE) :
Preface_specs.Comonad.CORE with type 'a t = 'a Req.tmodule Core_via_extend
(Req : Preface_specs.Comonad.WITH_EXTEND) :
Preface_specs.Comonad.CORE with type 'a t = 'a Req.tmodule Core_via_cokleisli_composition
(Req : Preface_specs.Comonad.WITH_COKLEISLI_COMPOSITION) :
Preface_specs.Comonad.CORE with type 'a t = 'a Req.tmodule Operation
(Core : Preface_specs.Comonad.CORE) :
Preface_specs.Comonad.OPERATION with type 'a t = 'a Core.tmodule Syntax
(Core : Preface_specs.Comonad.CORE) :
Preface_specs.Comonad.SYNTAX with type 'a t = 'a Core.tmodule Infix
(Core : Preface_specs.Comonad.CORE)
(Operation : Preface_specs.Comonad.OPERATION with type 'a t = 'a Core.t) :
Preface_specs.Comonad.INFIX with type 'a t = 'a Core.t