package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085

Open Affix to include the affix monad operators.

val (>>:) : ('p, 'q, 'a) t -> ('a -> 'b) -> ('p, 'q, 'b) t

Use m >>: f as a convenient way to express map m f.

val (>>=) : ('p, 'q, 'a) t -> ('a -> ('p, 'q, 'b) t) -> ('p, 'q, 'b) t

Use m >>= f as a convenient way to express bind m f.

val (let+) : ('p, 'q, 'a) t -> ('a -> 'b) -> ('p, 'q, 'b) t

The conventional binding operators.

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

val (and+) : ('p, 'q, 'a) t -> ('p, 'q, 'b) t -> ('p, 'q, 'a * 'b) t

val (and*) : ('p, 'q, 'a) t -> ('p, 'q, 'b) t -> ('p, 'q, 'a * 'b) t