package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b, !'r) parse_tree = ('a, 'b) Tree.atree -> 'r option
type (!'a, !'b, !'r) parse_forest = ('a, 'b) Tree.atrees -> ('r * ('a, 'b) Tree.atrees) option
type (!'a, !'b, !'r) t = ('a, 'b, 'r) parse_forest
val tree_mzero : 'a -> 'b option
val mzero : 'a -> 'b option
val tree_return : 'a -> 'b -> 'a option
val return : 'a -> 'b -> ('a * 'b) option
val eof : 'r -> ('a, 'b, 'r) t
val (>>=) : ('a, 'b, 'r1) t -> ('r1 -> ('a, 'b, 'r2) t) -> ('a, 'b, 'r2) t
val let* : ('a, 'b, 'c) t -> ('c -> ('a, 'b, 'd) t) -> ('a, 'b, 'd) t
val (<|>) : ('a, 'b, 'r) t -> ('a, 'b, 'r) t -> ('a, 'b, 'r) t
val any_tree : ('a, 'b, ('a, 'b) Tree.atree) t
val any_leaf : ('a, 'b, 'b) t
val any_node : ('a, 'b, 'a * ('a, 'b) Tree.atrees) t
val parser_tree : ('a -> ('a, 'b, 'r) t) -> ('a, 'b, 'r) parse_tree
val exactly_tree : ('a, 'b, 'r) parse_tree -> ('a, 'b, 'r) t
val satisfy_leaf : ('b -> bool) -> ('a, 'b, 'b) t
val exactly_leaf : 'b -> ('a, 'b, 'b) t
val (=>) : ('a, 'b, 'c) t -> ('c -> 'd) -> ('a, 'b, 'd) t
val (>>) : ('a, 'b, 'c) t -> ('a, 'b, 'd) t -> ('a, 'b, 'd) t
val (<<) : ('a, 'b, 'c) t -> ('a, 'b, 'd) t -> ('a, 'b, 'c) t
val ($::) : ('a, 'b, 'c) t -> ('a, 'b, 'c list) t -> ('a, 'b, 'c list) t
val ($*) : ('a, 'b, 'r1) t -> ('a, 'b, 'r2) t -> ('a, 'b, 'r1 * 'r2) t
val until : ('a, 'b, 'r) t -> ('a, 'b, 'r list) t
val until1 : ('a, 'b, 'c) t -> ('a, 'b, 'c list) t
val until_stop : ('a, 'b, 'r1) t -> ('a, 'b, 'r2) t -> ('a, 'b, 'r1 list * 'r2) t
val option : ('a, 'b, 'r) t -> ('a, 'b, 'r option) t
val post_process : ?parsed:('r -> unit) -> ?failed:(unit -> unit) -> ('a, 'b, 'r) t -> ('a, 'b, 'r) t
val tuple : ?empty:bool -> ?ante_sep:bool -> ?post_sep:bool -> ('a, 'b, 'c) t -> ('a, 'b, 'r) t -> ('a, 'b, 'r list) t
val sub : string -> (string, 'b, 'r) t -> (string, 'b, 'r) t
val sub_tuple : string -> ?empty:bool -> ?ante_sep:bool -> ?post_sep:bool -> (string, 'b, 'a) t -> (string, 'b, 'r) t -> (string, 'b, 'r list) t