package preface

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

Building a Preface_specs.Arrow_plus

Using the minimal definition

Using combine over an Arrow

Build an Preface_specs.ARROW_PLUS using Preface_specs.Arrow_plus.WITH_COMBINE_AND_NEUTRAL over an Preface_specs.ARROW.

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

module Over_arrow (Arrow : Preface_specs.ARROW) (Req : Preface_specs.Arrow_plus.WITH_COMBINE_AND_NEUTRAL with type ('a, 'b) t = ('a, 'b) Arrow.t) : Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) Req.t

Using neutral, combine, arrow and fst over a Category

Build an Preface_specs.ARROW_PLUS using Preface_specs.Arrow_plus.WITH_ARROW_AND_FST over a Preface_specs.CATEGORY.

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

Using neutral, combine, arrow and split over a Category

Build an Preface_specs.ARROW_PLUS using Preface_specs.Arrow_plus.WITH_ARROW_AND_SPLIT over a Preface_specs.CATEGORY.

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

Arrow Plus Algebra

Construction of Preface_specs.ARROW_PLUS by combining them.

Product

Construct the product of two Preface_specs.ARROW_PLUS.

module Product (F : Preface_specs.ARROW_PLUS) (G : Preface_specs.ARROW_PLUS) : Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) F.t * ('a, 'b) G.t

From other abstraction

From a Monad Plus

Produces an Preface_specs.ARROW_PLUS from a Preface_specs.MONAD_PLUS (using the Kleisli Arrow).

Manual construction

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

Grouping of all components

module Via (Core : Preface_specs.Arrow_plus.CORE) (Operation : Preface_specs.Arrow_plus.OPERATION with type ('a, 'b) t = ('a, 'b) Core.t) (Alias : Preface_specs.Arrow_plus.ALIAS with type ('a, 'b) t = ('a, 'b) Operation.t) (Infix : Preface_specs.Arrow_plus.INFIX with type ('a, 'b) t = ('a, 'b) Alias.t) : Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) Infix.t

Building Core

Deriving Operation

Deriving Alias

Deriving Infix

module Infix_over_category (Category : Preface_specs.CATEGORY) (Core : Preface_specs.Arrow_plus.CORE with type ('a, 'b) t = ('a, 'b) Category.t) (Operation : Preface_specs.Arrow_plus.OPERATION with type ('a, 'b) t = ('a, 'b) Core.t) : Preface_specs.Arrow_plus.INFIX with type ('a, 'b) t = ('a, 'b) Operation.t