package fmlib

  1. Overview
  2. Docs
Functional monadic library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (18)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.1.0.tar.gz
sha256=0558665285e4d7691e5a80c90ab05a7acb86c09f03ceef6589f150f6d3574573
md5=fb61f4d6e7233cf8d1d71758e6110c1e

doc/fmlib.fmlib_std/Fmlib_std/List/Monadic/argument-1-M/index.html

Parameter Monadic.M

type _ t

'a t is a monadic container with elements of type 'a.

val return : 'a -> 'a t

return a puts the elements a into a monadic container.

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

m >> f extracts elements of of the monadic container m and applies the function f to them which puts them back into a monadic container.

val (let*) : 'a t -> ('a -> 'b t) -> 'b t

let* a = m in f a is the same as m >>= f.