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

Module `OlmiMake`Source

Sourceval id : 'a -> 'a

Sourceval flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

Source

module WithJoin
  (M : OlmiInterfaces.JOIN) : 
  OlmiInterfaces.BASIC_INTERFACE with type 'a t = 'a M.t

Source

module WithBind
  (M : OlmiInterfaces.BIND) : 
  OlmiInterfaces.BASIC_INTERFACE with type 'a t = 'a M.t

Source

module Monad
  (M : OlmiInterfaces.BASIC_INTERFACE) : 
  OlmiInterfaces.INTERFACE with type 'a t = 'a M.t

Source

module Plus
  (M : OlmiInterfaces.BASIC_INTERFACE)
  (P : OlmiInterfaces.PLUS with type 'a t = 'a M.t) : 
  OlmiInterfaces.PLUS_INTERFACE with type 'a t = 'a M.t

package olmi

Install

Dune Dependency

Authors

Maintainers

Sources

doc/olmi/OlmiMake/index.html

Module OlmiMakeSource

Module `OlmiMake`Source