Bifunctor (preface.Preface

Using the minimal definition

Using bimap

Build a Preface_specs.BIFUNCTOR using Preface_specs.Bifunctor.WITH_BIMAP.

Standard method, using the minimal definition of an alt to derive its full API.

module Via_bimap
  (Req : Preface_specs.Bifunctor.WITH_BIMAP) : 
  Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) Req.t

Using map_fst and map_snd

Build a Preface_specs.BIFUNCTOR using Preface_specs.Bifunctor.WITH_MAP_FST_AND_MAP_SND.

Standard method, using the minimal definition of an alt to derive its full API.

module Via_map_fst_and_map_snd
  (Req : Preface_specs.Bifunctor.WITH_MAP_FST_AND_MAP_SND) : 
  Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) Req.t

From the product of two functors

Build a Preface_specs.BIFUNCTOR using the product of two Preface_specs.FUNCTOR.

Standard method, using the minimal definition of an alt to derive its full API.

module From_functors_product
  (F : Preface_specs.FUNCTOR)
  (G : Preface_specs.FUNCTOR) : 
  Preface_specs.BIFUNCTOR with type ('a, 'b) t = 'a F.t * 'b G.t

From the sum of two functors

Build a Preface_specs.BIFUNCTOR using the sum of two Preface_specs.FUNCTOR using the technique described in Data types à la carte by W. Swierstra.

Standard method, using the minimal definition of an alt to derive its full API.

module From_functors_sum
  (F : Preface_specs.FUNCTOR)
  (G : Preface_specs.FUNCTOR) : 
  sig ... end

Bifunctor Algebra

Construction of Preface_specs.BIFUNCTOR by combining them.

Product

Construct the product of two Preface_specs.BIFUNCTOR.

module Product
  (F : Preface_specs.BIFUNCTOR)
  (G : Preface_specs.BIFUNCTOR) : 
  Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) F.t * ('a, 'b) G.t

Sum

Sum of Preface_specs.BIFUNCTOR using the technique described in Data types à la carte by W. Swierstra.

module Sum
  (F : Preface_specs.BIFUNCTOR)
  (G : Preface_specs.BIFUNCTOR) : 
  sig ... end

From a functor

Produces a Preface_specs.BIFUNCTOR from a Preface_specs.FUNCTOR. (Using Clown)

module From_functor
  (F : Preface_specs.Functor.CORE) : 
  Preface_specs.BIFUNCTOR with type ('a, 'b) t = 'a F.t

Manual construction

Advanced way to build an Preface_specs.BIFUNCTOR, constructing and assembling a component-by-component of Preface_specs.BIFUNCTOR. (In order to provide your own implementation for some features.)

Grouping of all components

module Via
  (Core : Preface_specs.Bifunctor.CORE)
  (Operation : 
    Preface_specs.Bifunctor.OPERATION with type ('a, 'b) t = ('a, 'b) Core.t) : 
  Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) Core.t

Building Core

module Core_via_bimap
  (Req : Preface_specs.Bifunctor.WITH_BIMAP) : 
  Preface_specs.Bifunctor.CORE with type ('a, 'b) t = ('a, 'b) Req.t

module Core_via_map_fst_and_map_snd
  (Req : Preface_specs.Bifunctor.WITH_MAP_FST_AND_MAP_SND) : 
  Preface_specs.Bifunctor.CORE with type ('a, 'b) t = ('a, 'b) Req.t

Deriving Operation

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