Free_selective (preface.Preface_make.Free

Using the minimal definition

Over a Functor

Build a Preface_specs.FREE_SELECTIVE over a Preface_specs.FUNCTOR.

module Over_functor
  (F : Preface_specs.Functor.CORE) : 
  Preface_specs.FREE_SELECTIVE with type 'a f = 'a F.t

Over an Applicative

Build a Preface_specs.FREE_SELECTIVE over a Preface_specs.APPLICATIVE.

module Over_applicative
  (F : Preface_specs.Applicative.CORE) : 
  Preface_specs.FREE_SELECTIVE with type 'a f = 'a F.t

Over a Selective

Build a Preface_specs.FREE_SELECTIVE over an Preface_specs.SELECTIVE with a Natural transformation which extracts the underlying value and a run function which is the Natural transformation from the underlying applicative using the identity.

module Over_selective (F : Preface_specs.Selective.CORE) : sig ... end