package preface

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

Building a Preface_specs.Decidable

Using the minimal definition

Using divide, conquer, choose and lose

Build a Preface_specs.DECIDABLE using Preface_specs.Divisible.WITH_DIVIDE_AND_CONQUER and Preface_specs.Decidable.WITH_LOSE_AND_CHOOSE. 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, choose, lose and contramap

Build a Preface_specs.DECIDABLE using Preface_specs.Decidable.WITH_CONTRAMAP_AND_DIVIDE_AND_CONQUER and Preface_specs.Decidable.WITH_LOSE_AND_CHOOSE.

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

Over Divisible functor

Produces a Preface_specs.DECIDABLE from a Preface_specs.DIVISIBLE.

Manual construction

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

Grouping of all components

Building Core

Deriving Operation

Deriving Infix