opal 0.1.1 (latest) · OCaml Package

module LazyStream : sig ... end

val implode : char list -> string

val explode : string -> char list

val (%) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c

val parse : ('a -> ('b * 'c) option) -> 'a -> 'b option

type !'token input = 'token LazyStream.t

type (!'token, !'result) monad = ('result * 'token input) option

type (!'token, !'result) parser =
  'token input ->
  ('result * 'token input) option

val return : 'a -> 'b -> ('a * 'b) option

val (>>=) : 
  ('a -> ('b * 'c) option) ->
  ('b -> 'c -> 'd option) ->
  'a ->
  'd option

val (<|>) : ('a -> 'b option) -> ('a -> 'b option) -> 'a -> 'b option

val scan : ('a -> ('b * 'a) option) -> 'a -> 'b LazyStream.t

val mzero : 'a -> 'b option

val any : 'a LazyStream.t -> ('a * 'a LazyStream.t) option

val satisfy : ('a -> bool) -> 'a LazyStream.t -> ('a * 'a LazyStream.t) option

val eof : 'a -> 'b LazyStream.t -> ('a * 'c LazyStream.t) option

val (=>) : ('a -> ('b * 'c) option) -> ('b -> 'd) -> 'a -> ('d * 'c) option

val (>>) : ('a -> ('b * 'c) option) -> ('c -> 'd option) -> 'a -> 'd option

val (<<) : 
  ('a -> ('b * 'c) option) ->
  ('c -> ('d * 'e) option) ->
  'a ->
  ('b * 'e) option

val (<~>) : 
  ('a -> ('b * 'c) option) ->
  ('c -> ('b list * 'd) option) ->
  'a ->
  ('b list * 'd) option

val choice : ('a -> 'b option) list -> 'a -> 'b option

val count : int -> ('a -> ('b * 'a) option) -> 'a -> ('b list * 'a) option

val between : 
  ('a -> ('b * 'c) option) ->
  ('d -> ('e * 'f) option) ->
  ('c -> ('g * 'd) option) ->
  'a ->
  ('g * 'f) option

val option : 'a -> ('b -> ('a * 'b) option) -> 'b -> ('a * 'b) option

val optional : ('a -> ('b * 'a) option) -> 'a -> (unit * 'a) option

val skip_many : ('a -> ('b * 'a) option) -> 'a -> (unit * 'a) option

val skip_many1 : ('a -> ('b * 'a) option) -> 'a -> (unit * 'a) option

val many : ('a -> ('b * 'a) option) -> 'a -> ('b list * 'a) option

val many1 : ('a -> ('b * 'a) option) -> 'a -> ('b list * 'a) option

val sep_by1 : 
  ('a -> ('b * 'c) option) ->
  ('c -> ('d * 'a) option) ->
  'a ->
  ('b list * 'c) option

val sep_by : 
  ('a -> ('b * 'a) option) ->
  ('a -> ('c * 'a) option) ->
  'a ->
  ('b list * 'a) option

val end_by1 : 
  ('a -> ('b * 'c) option) ->
  ('c -> ('d * 'a) option) ->
  'a ->
  ('b list * 'a) option

val end_by : 
  ('a -> ('b * 'c) option) ->
  ('c -> ('d * 'a) option) ->
  'a ->
  ('b list * 'a) option

val chainl1 : 
  ('a -> ('b * 'c) option) ->
  ('c -> (('b -> 'b -> 'b) * 'a) option) ->
  'a ->
  ('b * 'c) option

val chainl : 
  ('a -> ('b * 'a) option) ->
  ('a -> (('b -> 'b -> 'b) * 'a) option) ->
  'b ->
  'a ->
  ('b * 'a) option

val chainr1 : 
  ('a -> ('b * 'c) option) ->
  ('c -> (('b -> 'b -> 'b) * 'a) option) ->
  'a ->
  ('b * 'c) option

val chainr : 
  ('a -> ('b * 'a) option) ->
  ('a -> (('b -> 'b -> 'b) * 'a) option) ->
  'b ->
  'a ->
  ('b * 'a) option

val exactly : 'a -> 'a LazyStream.t -> ('a * 'a LazyStream.t) option

val one_of : 'a list -> 'a LazyStream.t -> ('a * 'a LazyStream.t) option

val none_of : 
  'a ->
  'a list LazyStream.t ->
  ('a list * 'a list LazyStream.t) option

val range : 'a -> 'a -> 'a LazyStream.t -> ('a * 'a LazyStream.t) option

val space : char LazyStream.t -> (char * char LazyStream.t) option

val spaces : char LazyStream.t -> (unit * char LazyStream.t) option

val newline : char LazyStream.t -> (char * char LazyStream.t) option

val tab : char LazyStream.t -> (char * char LazyStream.t) option

val upper : char LazyStream.t -> (char * char LazyStream.t) option

val lower : char LazyStream.t -> (char * char LazyStream.t) option

val digit : char LazyStream.t -> (char * char LazyStream.t) option

val letter : char LazyStream.t -> (char * char LazyStream.t) option

val alpha_num : char LazyStream.t -> (char * char LazyStream.t) option

val hex_digit : char LazyStream.t -> (char * char LazyStream.t) option

val oct_digit : char LazyStream.t -> (char * char LazyStream.t) option

val lexeme : (char LazyStream.t -> 'a option) -> char LazyStream.t -> 'a option

val token : string -> char LazyStream.t -> (string * char LazyStream.t) option

package opal