ostap 0.6 (latest) · OCaml Package

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 ]

package ostap