package olmi

You can search for identifiers within the package.

in-package search v0.2.0

Olmi provide functor to generate monadic combinators with a minimal interface

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

X

xvw <xavier.vdw@gmail.com>

Maintainers

X

xvw <xavier.vdw@gmail.com>

Sources

olmi.tar.gz

sha256=8013f3d4d6d22b191499a8f379003cee78940b8d0c327782bb597f9fb9ad42b4

md5=3e9903afbd15ca7a0f060f03d65317aa

doc/olmi/OlmiInterfaces/module-type-BIND/index.html

Module type `OlmiInterfaces.BIND`Source

Describe the minimal interface for making a monad with bind function. This module could be used by OmlMonad.Make.WithBind to generate a BASIC_INTERFACE Module, for example.

include COMMON

Sourcetype 'a t

Sourceval return : 'a -> 'a t

Place a value in a minimal monadic context

Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t

Sequentially compose two actions, passing any value produced by the first as an argument to the second.