sig
type 'a t
val compile :
?case_sensitive:bool ->
'a Parser.t -> (string -> 'a option) Core_kernel.Std.Staged.t
val run : ?case_sensitive:bool -> 'a Parser.t -> string -> 'a option
val matches : ?case_sensitive:bool -> 'a Parser.t -> string -> bool
val to_regex_string : 'a Parser.t -> string
val to_re2 : ?case_sensitive:bool -> 'a Parser.t -> Re2_internal.t
val return : 'a -> 'a t
val apply : ('a -> 'b) t -> 'a t -> 'b t
val map : 'a t -> f:('a -> 'b) -> 'b t
val map2 : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t
val map3 : 'a t -> 'b t -> 'c t -> f:('a -> 'b -> 'c -> 'd) -> 'd t
val all : 'a t list -> 'a list t
val both : 'a t -> 'b t -> ('a * 'b) t
module Applicative_infix :
sig
val ( <*> ) : ('a -> 'b) t -> 'a t -> 'b t
val ( <* ) : 'a t -> unit t -> 'a t
val ( *> ) : unit t -> 'a t -> 'a t
end
val ( <*> ) : ('a -> 'b) t -> 'a t -> 'b t
val ( <* ) : 'a t -> unit t -> 'a t
val ( *> ) : unit t -> 'a t -> 'a t
val of_re2 : Re2_internal.t -> string option array Parser.t
val ignore : 'a Parser.t -> unit Parser.t
val capture : unit Parser.t -> string Parser.t
val and_capture : 'a Parser.t -> ('a * string) Parser.t
val fail : 'a Parser.t
val or_ : 'a Parser.t list -> 'a Parser.t
val optional : ?greedy:bool -> 'a Parser.t -> 'a option Parser.t
val repeat :
?greedy:bool ->
?min:int -> ?max:int option -> unit Parser.t -> unit Parser.t
val times : unit Parser.t -> int -> unit Parser.t
val string : string -> unit Parser.t
val start_of_input : unit Parser.t
val end_of_input : unit Parser.t
module Char :
sig
val any : char Parser.t
val one_of : char list -> char Parser.t
val not_one_of : char list -> char Parser.t
val upper : char Parser.t
val lower : char Parser.t
val alpha : char Parser.t
val digit : char Parser.t
val alnum : char Parser.t
val space : char Parser.t
end
module Decimal :
sig
val digit : int Parser.t
val sign : int Parser.t
val unsigned : int Parser.t
val int : int Parser.t
end
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a Parser.t -> Sexplib.Sexp.t
end