package preface

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

Building a Preface_specs.Applicative

Using the minimal definition

Using pure and apply

Build a Preface_specs.APPLICATIVE using Preface_specs.Applicative.WITH_APPLY.

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

Using pure, map and product

Build a Preface_specs.APPLICATIVE using Preface_specs.Applicative.WITH_MAP_AND_PRODUCT.

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

Using pure and lift2

Build a Preface_specs.APPLICATIVE using Preface_specs.Applicative.WITH_LIFT2.

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

Over an apply

Build a Preface_specs.APPLICATIVE over an Preface_specs.APPLY.

If you already have an Applicative, you can enrich it by passing only combine and neutral..

Applicative Algebra

Construction of Preface_specs.APPLICATIVE by combining them.

Composition

Right-to-left composition of Preface_specs.APPLICATIVE.

Product

Construct the product of two Preface_specs.APPLICATIVE.

From other abstraction

From a Monad

Produces a Preface_specs.APPLICATIVE from a Preface_specs.MONAD.

From an Alternative

Produces a Preface_specs.APPLICATIVE from an Preface_specs.ALTERNATIVE.

From an Arrow

Produces a Preface_specs.APPLICATIVE from an Preface_specs.ARROW.

module From_arrow (A : Preface_specs.ARROW) : Preface_specs.APPLICATIVE with type 'a t = (unit, 'a) A.t

From a Monoid

Produces a Preface_specs.APPLICATIVE from a Preface_specs.MONOID. This Applicative is called Const or a phantom monoid.

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

Manual construction

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

Grouping of all components

Building Core

Deriving Operation

Deriving Syntax

Deriving Infix

OCaml

Innovation. Community. Security.