package opal

  1. Overview
  2. Docs
package opal
Legend:
Library
Module
Module type
Parameter
Class
Class type
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