package preface

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Building a Preface_specs.Selective

Using the minimal definition

Over an Applicative using select

Build a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_SELECT on top of an Preface_specs.APPLICATIVE.

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

Over an Applicative using branch

Build a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_BRANCH on top of an Preface_specs.APPLICATIVE.

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

Over a Functor using select

Build a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_SELECT on top of an Preface_specs.FUNCTOR.

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

Over a Functor using branch

Build a Preface_specs.SELECTIVE using Preface_specs.Selective.WITH_BRANCH on top of an Preface_specs.FUNCTOR.

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

Selective Algebra

Construction of Preface_specs.SELECTIVE by combining them.

Composition

Right-to-left composition of Preface_specs.APPLICATIVE with Preface_specs.SELECTIVE.

Product

Construct the product of two Preface_specs.SELECTIVE.

From other abstraction

From an Arrow choice

Produces a Preface_specs.SELECTIVE from an Preface_specs.ARROW_CHOICE.

From a Monoid

Produces a Preface_specs.SELECTIVE from a Preface_specs.MONOID. This Selective is called Const or a phantom monoid.

module Const (M : Preface_specs.Monoid.CORE) : sig ... end

Manual construction

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

Grouping of all components

Building Core

Deriving Operation

Deriving Infix

Deriving Syntax

Deriving Select from a Monad

OCaml

Innovation. Community. Security.