package ostap

  1. Overview
  2. Docs
module Ostap : sig ... end
val keyword : String.t -> < regexp : 'b. String.t -> String.t -> ('alook -> 'd -> ('d, 'b, 'c) Types_.result) -> ('d, 'b, 'c) Types_.result.. > as 'a -> ('alook -> 'd -> ('d, 'e, 'c) Types_.result) -> ('d, 'e, 'c) Types_.result
val (~$) : String.t -> < regexp : 'b. String.t -> String.t -> ('c -> 'a -> ('a, 'b, 'd) Types_.result) -> ('a, 'b, 'd) Types_.result.. > as 'a -> ('c -> 'a -> ('a, 'e, 'd) Types_.result) -> ('a, 'e, 'd) Types_.result
val listByWith : (< equal : 'a -> bool.. > as 'a -> ('b -> < equal : 'c -> bool.. > as 'c -> ('d * 'c, 'e) Types_.tag) -> ('a, 'f, < add : 'g -> 'g.. > as 'g) Types_.result) -> ('c -> ('h -> 'a -> ('f * 'a, 'g) Types_.tag) -> ('d * 'c, 'e) Types_.tag) -> ('h -> 'h -> 'h) -> 'i -> 'j -> ('h -> 'a -> ('f * 'a, 'g) Types_.tag) -> ('d * 'c, 'e) Types_.tag
val listBy : (< equal : 'a -> bool.. > as 'a -> ('b -> < equal : 'c -> bool.. > as 'c -> ('d * 'c, 'e) Types_.tag) -> ('a, 'f, < add : 'g -> 'g.. > as 'g) Types_.result) -> ('c -> ('h, 'a, 'f, 'g) Types_.k -> ('d * 'c, 'e) Types_.tag) -> 'i -> ('h list -> 'a -> ('f * 'a, 'g) Types_.tag) -> ('d * 'c, 'e) Types_.tag
val list1By : (< equal : 'a -> bool.. > as 'a -> ('b -> < equal : 'c -> bool.. > as 'c -> ('d * 'c, 'e) Types_.tag) -> ('a, 'f, < add : 'g -> 'g.. > as 'g) Types_.result) -> ('c -> ('h, 'a, 'f, 'g) Types_.k -> ('d * 'c, 'e) Types_.tag) -> 'i -> ('h list -> 'a -> ('f * 'a, 'g) Types_.tag) -> ('d * 'c, 'e) Types_.tag
val listWith : (< equal : 'a -> bool ; look : 'b. String.t -> ('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) -> ('c, 'b, 'd) Types_.result.. > as 'a -> ('f -> 'g -> ('h * 'g, 'e) Types_.tag) -> ('h * 'a, 'i) Types_.tag) -> ('f -> 'f -> 'f) -> 'j -> 'k -> ('f -> 'g -> ('h * 'g, 'e) Types_.tag) -> ('h * 'a, 'i) Types_.tag
val list : (< equal : 'a -> bool ; look : 'b. String.t -> ('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) -> ('c, 'b, 'd) Types_.result.. > as 'a -> ('f, 'g, 'h, 'e) Types_.k -> ('h * 'a, 'i) Types_.tag) -> 'a -> ('f list -> 'g -> ('h * 'g, 'e) Types_.tag) -> ('h * 'a, 'i) Types_.tag
val list0ByWith : (< equal : 'a -> bool.. > as 'a -> ('b -> 'a -> ('c * 'a, < add : 'd -> 'd.. > as 'd) Types_.tag) -> ('a, 'c, 'd) Types_.result) -> ('a -> ('e -> 'a -> ('c * 'a, 'd) Types_.tag) -> ('c * 'a, 'd) Types_.tag) -> ('e -> 'e -> 'e) -> 'f -> 'g -> ('e, 'a, 'c, 'd) Types_.K.t -> ('c * 'a, 'd) Types_.tag
val list0By : (< equal : 'a -> bool.. > as 'a -> ('b -> 'a -> ('c * 'a, < add : 'd -> 'd.. > as 'd) Types_.tag) -> ('a, 'c, 'd) Types_.result) -> ('a -> ('e, 'a, 'c, 'd) Types_.k -> ('c * 'a, 'd) Types_.tag) -> 'f -> ('e list, 'a, 'c, 'd) Types_.K.t -> ('c * 'a, 'd) Types_.tag
val list0With : (< equal : 'a -> bool ; look : 'b. String.t -> ('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) -> ('c, 'b, 'd) Types_.result.. > as 'a -> ('f -> 'a -> ('g * 'a, 'e) Types_.tag) -> ('g * 'a, 'e) Types_.tag) -> ('f -> 'f -> 'f) -> 'h -> 'i -> ('f, 'a, 'g, 'e) Types_.K.t -> ('g * 'a, 'e) Types_.tag
val list0 : (< equal : 'a -> bool ; look : 'b. String.t -> ('alook -> 'c -> ('c, 'b, < add : 'e -> 'e.. > as 'd) Types_.result) -> ('c, 'b, 'd) Types_.result.. > as 'a -> ('f, 'a, 'g, 'e) Types_.k -> ('g * 'a, 'e) Types_.tag) -> 'a -> ('f list, 'a, 'g, 'e) Types_.K.t -> ('g * 'a, 'e) Types_.tag
val left : ('a -> 'b -> 'c) -> ('d -> 'e) -> 'f -> 'g -> 'h
val right : ('a -> 'b -> 'c) -> ('d -> 'e) -> 'f -> 'g -> 'h
val id : ('a -> 'b) -> 'c -> 'd
val expr : ((< equal : 'a -> bool.. > as 'a -> ('b, 'a, 'c, < add : 'd -> 'd.. > as 'd) Types_.K.t -> ('c * 'a, 'd) Types_.tag) -> 'e -> ('f -> 'g -> ('h * 'i, 'j) Types_.tag) -> ('k * 'l, 'm) Types_.tag) -> ([< `Lefta | `Nona | `Righta Nona ] * (('n -> ('o -> 'p -> ('q * 'r, 's) Types_.tag) -> ('t, 'u, 'v) Types_.result) * ('w -> 'x -> 'w)) list) array -> ('y -> ('z -> 'a1 -> ('b1 * 'c1, 'd1) Types_.tag) -> ('c * 'a, 'e1) Types_.tag) -> 'f1 -> ('f -> 'g -> ('h * 'i, 'j) Types_.tag) -> ('k * 'l, 'm) Types_.tag
val read : string -> string
module Lexers : sig ... end
val parse : 'a -> ('b -> ('c -> 'd -> ('e * 'f, 'g) Types_.tag) -> ('h * 'i, < retrieve : [> `First of int ] -> [> `Desc ] -> (Msg.Locator.t * [< `Comment of string * 'j | `Msg of Msg.t ] list) list.. >) Types_.tag) -> [> `Fail of string | `Ok of 'h ]
OCaml

Innovation. Community. Security.