package containers

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val (>|=) : 'a t -> ('a -> 'b) -> 'b t

Infix version of map

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

Synonym to app

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

a >> b parses a, ignores its result, then parses b

val (<<) : 'a t -> _ t -> 'a t

a << b parses a, then b, and discards b to return a

val (<+>) : 'a t -> 'a t -> 'a t

a <+> b is choice [a;b], a binary choice

val (<::>) : 'a t -> 'a list t -> 'a list t

a <::> b is app (fun x l -> x::l) a b