package preface

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

Building a Preface_specs.Divisible

Using the minimal definition

Using divide and conquer

Build a Preface_specs.DIVISBLE using Preface_specs.Divisible.WITH_DIVIDE_AND_CONQUER. contramap will be derived using divide and conquer.

Standard method, using the minimal definition of a Divisible to derive its full API.

Using divide, conquer and contramap

Build a Preface_specs.DIVISBLE using Preface_specs.Divisible.WITH_CONTRAMAP_AND_DIVIDE_AND_CONQUER.

Standard method, using the minimal definition of a Divisible to derive its full API.

Over Contravariant functor

Produces a Preface_specs.DIVISBLE from a Preface_specs.CONTRAVARIANT.

Manual construction

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

Grouping of all components

Building Core

Deriving Operation

Deriving Infix

OCaml

Innovation. Community. Security.