Comonad (preface.Preface

Using the minimal definition

Using extract and extend

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.t

Using extract, map and duplicate

Build 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.t

Using extract and the cokleisli composition

Build 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.t

To other abstraction

To an Indexed Comonad

module Index
  (F : Preface_specs.COMONAD) : 
  Preface_specs.INDEXED_COMONAD with type ('a, 'index) t = 'a F.t

Manual construction

Advanced 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.)

Grouping of all components

module Via
  (Core : Preface_specs.Comonad.CORE)
  (Operation : Preface_specs.Comonad.OPERATION with type 'a t = 'a Core.t)
  (Infix : Preface_specs.Comonad.INFIX with type 'a t = 'a Core.t)
  (Syntax : Preface_specs.Comonad.SYNTAX with type 'a t = 'a Core.t) : 
  Preface_specs.COMONAD with type 'a t = 'a Core.t

Building Core

module Core_via_map_and_duplicate
  (Req : Preface_specs.Comonad.WITH_MAP_AND_DUPLICATE) : 
  Preface_specs.Comonad.CORE with type 'a t = 'a Req.t

module Core_via_extend
  (Req : Preface_specs.Comonad.WITH_EXTEND) : 
  Preface_specs.Comonad.CORE with type 'a t = 'a Req.t

module Core_via_cokleisli_composition
  (Req : Preface_specs.Comonad.WITH_COKLEISLI_COMPOSITION) : 
  Preface_specs.Comonad.CORE with type 'a t = 'a Req.t

Deriving Operation

module Operation
  (Core : Preface_specs.Comonad.CORE) : 
  Preface_specs.Comonad.OPERATION with type 'a t = 'a Core.t

Deriving Syntax

module Syntax
  (Core : Preface_specs.Comonad.CORE) : 
  Preface_specs.Comonad.SYNTAX with type 'a t = 'a Core.t

Deriving Infix

module 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