Module Applicative

Applicative functors.

Base Modules
module type Base = sig ... end

Applicative functors

module type BasePlus = sig ... end

Applicatives with additional monoid structure.

module type BaseLazyPlus = sig ... end

LazyPlus provides a plus operation which is non-strict in its second argument.

Library Types
module type Applicative = sig ... end

Library functions for applicatives

module Make (A : Base) : Applicative with type 'a m = 'a A.m
module Transform (A : Base) (Inner : Base) : Base with type 'a m = 'a Inner.m A.m