package mnd

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Binary monads
Unary monads

mnd
- Mnd
  - Instances
    
    MONOID
    
    Option
    
    Reader
    
    Result
    
    State
    
    Writer
    
    M
  - MONAD
  - MONAD2
  - MONAD2_DEF
  - MONAD2_WITH_AND
  - MONAD_DEF
  - Make
    
    M
  - Make2
    
    M
  - Make2WithProduct
    
    M

Legend:
Library
Module
Module type
Parameter
Class
Class type

Binary monads

A binary monad interprets a type ('a, 'b) t as computation of values of type 'a. Note that combining such monads requires the second type 'b to be equal in all of them.

module type MONAD2_DEF = sig ... end

module type MONAD2 = sig ... end

module type MONAD2_WITH_AND = sig ... end

module Make2 (M : MONAD2_DEF) : MONAD2 with type ('a, 'b) t = ('a, 'b) M.t

module Make2WithProduct
  (M : sig ... end) : 
  MONAD2_WITH_AND with type ('a, 'b) t = ('a, 'b) M.t

Unary monads

A unary monad interprets a type 'a t as computation of values of type 'a.

module type MONAD_DEF = sig ... end

The fundamental functions defining a monad, i.e. what you need to implement in order to instantiate a monad with Make

module type MONAD = sig ... end

The monad interface with let*-syntax, common operators and functions. These are the elements you get when instantiating a monad with Make.

module Make (M : MONAD_DEF) : MONAD with type 'a t = 'a M.t

Functor to instantiate the MONAD interface for custom monads by providing a MONAD_DEF.

module Instances : sig ... end