Module Meta.Make

Parameters

module S : S

Signature

include S with type 'a t = 'a S.t
type 'a t = 'a S.t
val (<$>) : ('a, 'b) Bijection.texn -> 'a t -> 'b t
val (<*>) : 'a t -> 'b t -> ('a * 'b) t
val (<|>) : 'a t -> 'a t -> 'a t
val (*>) : unit t -> 'a t -> 'a t
val (<*) : 'a t -> unit t -> 'a t
val ($>) : unit t -> (unit, 'a) Bijection.texn -> 'a t
val (<$) : 'a t -> (unit, 'a) Bijection.texn -> unit t
val fix : ('a t -> 'a t) -> 'a t
val nop : unit t
val any : char t
val fail : string -> 'a t
val pure : compare:('a -> 'a -> int) -> 'a -> 'a t
val take : int -> string t
val peek : 'a t -> 'b t -> ('a, 'b) Either.t t
val const : string -> string t
val commit : unit t
val while0 : (char -> bool) -> string t
val while1 : (char -> bool) -> string t
val bigstring_while0 : (char -> bool) -> Encoder.bigstring t
val bigstring_while1 : (char -> bool) -> Encoder.bigstring t
val buffer : string t
val bigstring_buffer : Encoder.bigstring t
module Option : sig ... end
val sequence : 'a t list -> 'a list t
val choice : 'a t list -> 'a t
val option : 'a t -> 'a option t
val between : unit t -> unit t -> 'a t -> 'a t
val count : int -> 'a t -> 'a list t
val rep0 : 'a t -> 'a list t
val rep1 : 'a t -> 'a list t
val sep_by0 : sep:unit t -> 'a t -> 'a list t
val sep_by1 : sep:unit t -> 'a t -> 'a list t
val end_by0 : sep:unit t -> 'a t -> 'a list t
val end_by1 : sep:unit t -> 'a t -> 'a list t
val lower : char t
val upper : char t
val alpha : char t
val digit : char t