package preface

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

Building a Preface_specs.Alternative

Using the minimal definition

Using pure, apply, neutral and combine

Build a Preface_specs.ALTERNATIVE using Preface_specs.Alternative.WITH_APPLY.

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

Using pure, map, product, neutral and combine

Build a Preface_specs.ALTERNATIVE using Preface_specs.Alternative.WITH_MAP_AND_PRODUCT.

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

Using pure, lift2, neutral and combine

Build a Preface_specs.ALTERNATIVE using Preface_specs.Alternative.WITH_LIFT2.

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

Over an applicative

Build a Preface_specs.ALTERNATIVE over an Preface_specs.APPLICATIVE.

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

Alternative Algebra

Construction of Preface_specs.ALTERNATIVE by combining them.

Composition

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

Product

Construct the product of two Preface_specs.ALTERNATIVE.

From other abstraction

From an Arrow Plus

Produces an Preface_specs.ALTERNATIVE from an Preface_specs.ARROW_PLUS.

Manual construction

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

Grouping of all components

Building Core

Deriving Operation

Deriving Syntax

Deriving Infix