package monadlib

You can search for identifiers within the package.

in-package search v0.2.0

A starter library for monads, with transformers and applicatives

Install

sha256=ac9c4f9093d036942569ca24f3965e51414acdc2555f763bdcf665d13c449cee

md5=da3aa5a4471d75c2944afed4911be9e0

Applicative functors.

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.

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

On This Page