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

Dune Dependency

github.com Edit opam file Versions (2)

Authors

P

Phil Scott

Maintainers

P

phil.scott@ed.ac.uk

Sources

monadlib-0.2.tar.gz

sha256=774fa21b78ae888458807a5e6db43e6e182175e5e9000e3a022e5b57e2f62556

md5=8e0f3285b291e1313871d241391192cd

doc/monadlib/Applicative/index.html

Module `Applicative`

Applicative functors.

With TagTree, I noticed that the derived applicative library is much more efficient than the derived monad library. So in the Monad, I have made sure that all of the applicative functions override the monad ones.

author Phil Scott

Base Modules

module type Base = sig ... end

Library Types

module type Applicative = sig ... end

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

Base Modules
Library Types