package orsetto

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

The trinary monad support composer.

Parameters

Signature

type ('p, 'q, 'r) t = ('p, 'q, 'r) B.t

The monad type.

val collect : ('p, 'q, 'r) t Seq.t -> ('p, 'q, int * 'r list) t

Use collect s to bind in sequence every monad value in the finite sequence s and collect all the returned values. Returns (n, s) where n is the number of values collected and s is the list of values in reverse order, i.e. from last collected to first collected. Never returns and exhausts all memory if s never terminates.

val serial : ('p, 'q, unit) t Seq.t -> ('p, 'q, unit) t

Use serial s to bind in sequence every monad value in the sequence s.