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-BASIC_INTERFACE/index.html

Module type `OlmiInterfaces.BASIC_INTERFACE`Source

Describe a conjunction between join and bin. This module could be used by OmlMonad.Make.Base 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 join : 'a t t -> 'a t

The join function is the conventional monad join operator. It is used to remove one level of monadic structure, projecting its bound argument into the outer level.

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.

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

Sequential application