package orsetto

  1. Overview
  2. Docs

Module Create.Affix

Combinator operators

Open Affix to include the affix monad operators.

Include the monad affix operators.

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

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

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

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

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

The conventional binding operators.

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

The prefix operator version of the one composer.

val (?/) : 'r t -> 'r option t

The prefix operator version of the opt composer.

val (?+) : 'r t -> ('r * 'r list) t

A prefix operator that works like the seq ~a:1 p composer.

val (?*) : 'r t -> 'r list t

The prefix operator version of the seq composer.

val (?^) : 'r t list -> 'r t

The prefix operator version of the alt composer.

val (?^~) : 'r t Seq.t -> 'r t

The prefix operator version of the altz composer.