Building a Preface_specs.Alt
Build a Preface_specs.ALT using Preface_specs.Alt.WITH_COMBINE_AND_MAP.
Standard method, using the minimal definition of an alt to derive its full API.
module Via_map_and_combine
(Req : Preface_specs.Alt.WITH_COMBINE_AND_MAP) :
Preface_specs.ALT with type 'a t = 'a Req.tBuild a Preface_specs.ALT over a Preface_specs.FUNCTOR.
If you already have a Functor, you can enrich it by passing only the combine function.
module Over_functor
(Functor : Preface_specs.FUNCTOR)
(Combine : Preface_specs.Alt.WITH_COMBINE with type 'a t = 'a Functor.t) :
Preface_specs.ALT with type 'a t = 'a Combine.tConstruction of Preface_specs.ALT by combining them.
Right-to-left composition of Alt with Preface_specs.FUNCTOR.
module Composition
(F : Preface_specs.ALT)
(G : Preface_specs.FUNCTOR) :
Preface_specs.ALT with type 'a t = 'a G.t F.tConstruct the product of two Preface_specs.ALT.
module Product
(F : Preface_specs.ALT)
(G : Preface_specs.ALT) :
Preface_specs.ALT with type 'a t = 'a F.t * 'a G.tAdvanced way to build an Preface_specs.ALT, constructing and assembling a component-by-component of Preface_specs.ALT. (In order to provide your own implementation for some features.)
module Via
(Core : Preface_specs.Alt.CORE)
(Operation : Preface_specs.Alt.OPERATION with type 'a t = 'a Core.t)
(Infix : Preface_specs.Alt.INFIX with type 'a t = 'a Operation.t) :
Preface_specs.ALT with type 'a t = 'a Infix.tmodule Core_over_functor
(Functor : Preface_specs.FUNCTOR)
(Req : Preface_specs.Alt.WITH_COMBINE with type 'a t = 'a Functor.t) :
Preface_specs.Alt.CORE with type 'a t = 'a Req.tmodule Core
(Req : Preface_specs.Alt.WITH_COMBINE_AND_MAP) :
Preface_specs.Alt.CORE with type 'a t = 'a Req.tmodule Operation
(Core : Preface_specs.Alt.CORE) :
Preface_specs.Alt.OPERATION with type 'a t = 'a Core.tmodule Infix
(Core : Preface_specs.Alt.CORE)
(Operation : Preface_specs.Alt.OPERATION with type 'a t = 'a Core.t) :
Preface_specs.Alt.INFIX with type 'a t = 'a Core.t