package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.0.1.tar.gz
sha256=f64814687276bad56483b2b8dfaaf70d0d6485f67fe5d44bff34bfa47af1896e
md5=3a15a377800cf988a310b4082406c685
doc/orsetto.cf/Cf_monad/Trinary/Create/index.html
Module Trinary.Create
Use module M = Create(B) to create a module that implements all the conventional interfaces of a monad.
Parameters
Signature
Module inclusions from Cf_monad_core and Cf_seqmonad.
include Core.Trinary.Profile with type ('p, 'q, 'r) t := ('p, 'q, 'r) B.t
val return : 'r -> ('p, 'q, 'r) B.tUse return a to apply the binding to a.
Use bind m f to bind f to the value returned by m.
Use map m f to return the result of applying f to the value returned by m.
module Infix :
Cf_monad_core.Trinary.Infix with type ('p, 'q, 'r) t := ('p, 'q, 'r) B.tOpen Infix to include the infix monad operators.
include Cf_seqmonad.Functor.Trinary
with type ('p, 'q, 'r) t := ('p, 'q, 'r) B.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.
On This Page