package plebeia

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

Module Monad.Make2Source

Parameters

module A : sig ... end

Signature

type ('a, 'z) t = ('a, 'z) A.t
val return : 'a -> ('a, 'z) t
val bind : ('a, 'z) t -> ('a -> ('b, 'z) t) -> ('b, 'z) t
Sourceval map : ('a -> 'b) -> ('a, 'z) t -> ('b, 'z) t
Sourceval mapM : ('a -> ('b, 'z) t) -> 'a list -> ('b list, 'z) t
Sourceval mapM_ : ('a -> (unit, 'z) t) -> 'a list -> (unit, 'z) t
Sourceval iterM : ('a -> (unit, 'z) t) -> 'a list -> (unit, 'z) t

alias of mapM_

Sourceval fold_leftM : ('a -> 'b -> ('a, 'z) t) -> 'a -> 'b list -> ('a, 'z) t
Sourceval parseM : ('a -> 'b list -> ('a * 'b list, 'error) t) -> 'a -> 'b list -> ('a, 'error) t
Sourcemodule Infix : sig ... end
Sourcemodule Syntax : sig ... end
OCaml

Innovation. Community. Security.