package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Stream = Iter.Stream
module LazyStream : sig ... end
type !'t stream = 't LazyStream.t
val implode : char list -> string
val explode : string -> char list
val (%) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
type !'token input = 'token LazyStream.t
type ('token, 'result) monad
type (!'token, 'result) parser = 'token input -> ('token, 'result) monad
type (!'t, 'r) t = ('t, 'r) parser
val parse : ('t, 'a) t -> 't stream -> 'a option
val parse_from_file : (char, 'a) t -> string -> 'a option
val return : 'a -> ('t, 'a) t
val (>>=) : ('t, 'a) t -> ('a -> ('t, 'b) t) -> ('t, 'b) t
val let* : ('t, 'a) t -> ('a -> ('t, 'b) t) -> ('t, 'b) t
val (<|>) : ('t, 'a) t -> ('t, 'a) t -> ('t, 'a) t
val scan : ('t, 't) t -> 't stream -> 't stream
val mzero : ('t, 'a) t
val any : ('t, 't) t
val satisfy : ('t -> bool) -> ('t, 't) t
val eof : 'a -> ('t, 'a) t
val (=>) : ('t, 'a) t -> ('a -> 'b) -> ('t, 'b) t
val (<<) : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a) t
val (>>) : ('t, 'a) t -> ('t, 'b) t -> ('t, 'b) t
val ($::) : ('t, 'a) t -> ('t, 'a list) t -> ('t, 'a list) t
val ($*) : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a * 'b) t
val choice : ('t, 'a) t list -> ('t, 'a) t
val ntimes : int -> ('t, 'a) t -> ('t, 'a list) t
val between : ('t, 'a) t -> ('t, 'b) t -> ('t, 'c) t -> ('t, 'c) t
val option_default : 'a -> ('t, 'a) t -> ('t, 'a) t
val optional : ('t, 'a) t -> ('t, unit) t
val option : ('t, 'a) t -> ('t, 'a option) t
val skip_many : ('t, 'a) t -> ('t, unit) t
val skip_many1 : ('t, 'a) t -> ('t, unit) t
val many : ('t, 'a) t -> ('t, 'a list) t
val many1 : ('t, 'a) t -> ('t, 'a list) t
val sep_by : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a list) t
val sep_by1 : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a list) t
val end_by : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a list) t
val end_by1 : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a list) t
val chainl : ('t, 'a) t -> ('t, 'a -> 'a -> 'a) t -> 'a -> ('t, 'a) t
val chainl1 : ('t, 'a) t -> ('t, 'a -> 'a -> 'a) t -> ('t, 'a) t
val chainr : ('t, 'a) t -> ('t, 'a -> 'a -> 'a) t -> 'a -> ('t, 'a) t
val chainr1 : ('t, 'a) t -> ('t, 'a -> 'a -> 'a) t -> ('t, 'a) t
val until : ('t, 'a) t -> ('t, 'a list) t
val until1 : ('t, 'a) t -> ('t, 'a list) t
val until_stop : ('t, 'a) t -> ('t, 'b) t -> ('t, 'a list * 'b) t
val until_skip_stop : ('t, 'a) t -> ('t, 'c) t -> ('t, 'b) t -> ('t, 'a list * 'b) t
val skip_until : ('t, 'a) t -> ('t, 'a) t
val must : ?pre:(unit -> unit) -> (unit -> unit) -> ('t, 'r) t -> ('t, 'r) t
val otherwise_failwith : string -> ('t, 'r) t -> ('t, 'r) t
val post_process : ?parsed:('r -> unit) -> ?failed:(unit -> unit) -> ('t, 'r) t -> ('t, 'r) t
val tuple : ('t, 'b) t -> ('t, 'c) t -> ('t, 'd) t -> ('t, 'a) t -> ('t, 'a list) t
val stream_of_parser : ('a, 'b) t -> 'a stream -> 'b stream
val exactly : 't -> ('t, 't) t
val one_of : 't list -> ('t, 't) t
val none_of : 't list -> ('t, 't) t
val range : 't -> 't -> ('t, 't) t
module CharStream : sig ... end
module StringStream : sig ... end