Module `Ostap.Util`Source

Sourcemodule Ostap : sig ... end

val keyword : 
  String.t ->
  (< regexp : 
     'b. String.t ->
     String.t ->
     ('alook -> 'a -> ('a, 'b, 'c) Types.result) ->
     ('a, 'b, 'c) Types.result.. > as 'a) ->
  ('alook -> 'a -> ('a, 'd, 'c) Types.result) ->
  ('a, 'd, 'c) Types.result

Source

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

Source

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) ->
  'h ->
  'c ->
  ('h -> 'a -> ('f * 'a, 'g) Types.tag) ->
  ('d * 'c, 'e) Types.tag

Source

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) ->
  'c ->
  ('h list -> 'a -> ('f * 'a, 'g) Types.tag) ->
  ('d * 'c, 'e) Types.tag

Source

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) ->
  'c ->
  ('h list -> 'a -> ('f * 'a, 'g) Types.tag) ->
  ('d * 'c, 'e) Types.tag

Source

val listWith : 
  ((< equal : 'a -> bool
     ; look : 
       'b. String.t ->
       ('alook -> 'a -> ('a, 'b, < add : 'c -> 'c.. > as 'c) Types.result) ->
       ('a, 'b, 'c) Types.result.. > as 'a) ->
    ('d -> 'a -> ('e * 'a, 'c) Types.tag) ->
    ('e * 'a, 'c) Types.tag) ->
  ('d -> 'd -> 'd) ->
  'd ->
  'a ->
  ('d -> 'a -> ('e * 'a, 'c) Types.tag) ->
  ('e * 'a, 'c) Types.tag

Source

val list : 
  ((< equal : 'a -> bool
     ; look : 
       'b. String.t ->
       ('alook -> 'a -> ('a, 'b, < add : 'c -> 'c.. > as 'c) Types.result) ->
       ('a, 'b, 'c) Types.result.. > as 'a) ->
    ('d, 'a, 'e, 'c) Types.k ->
    ('e * 'a, 'c) Types.tag) ->
  'a ->
  ('d list -> 'a -> ('e * 'a, 'c) Types.tag) ->
  ('e * 'a, 'c) Types.tag

Source

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) ->
  'e ->
  'a ->
  ('e, 'a, 'c, 'd) Types.K.t ->
  ('c * 'a, 'd) Types.tag

Source

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) ->
  'a ->
  ('e list, 'a, 'c, 'd) Types.K.t ->
  ('c * 'a, 'd) Types.tag

Source

val list0With : 
  ((< equal : 'a -> bool
     ; look : 
       'b. String.t ->
       ('alook -> 'a -> ('a, 'b, < add : 'c -> 'c.. > as 'c) Types.result) ->
       ('a, 'b, 'c) Types.result.. > as 'a) ->
    ('d -> 'a -> ('e * 'a, 'c) Types.tag) ->
    ('e * 'a, 'c) Types.tag) ->
  ('d -> 'd -> 'd) ->
  'd ->
  'a ->
  ('d, 'a, 'e, 'c) Types.K.t ->
  ('e * 'a, 'c) Types.tag

Source

val list0 : 
  ((< equal : 'a -> bool
     ; look : 
       'b. String.t ->
       ('alook -> 'a -> ('a, 'b, < add : 'c -> 'c.. > as 'c) Types.result) ->
       ('a, 'b, 'c) Types.result.. > as 'a) ->
    ('d, 'a, 'e, 'c) Types.k ->
    ('e * 'a, 'c) Types.tag) ->
  'a ->
  ('d list, 'a, 'e, 'c) Types.K.t ->
  ('e * 'a, 'c) Types.tag

Sourceval left : ('a -> 'b -> 'c) -> ('d -> 'a) -> 'd -> 'b -> 'c

Sourceval right : ('a -> 'b -> 'c) -> ('c -> 'd) -> 'a -> 'b -> 'd

Sourceval id : ('a -> 'b) -> 'a -> 'b

Source

val expr : 
  (((< equal : 'a -> bool.. > as 'a) ->
     ('b, 'a, 'c, < add : 'd -> 'd.. > as 'd) Types.K.t ->
     ('c * 'a, 'd) Types.tag) ->
    'a ->
    ('b -> 'a -> ('c * 'a, 'd) Types.tag) ->
    ('c * 'a, 'd) Types.tag) ->
  ([< `Lefta | `Nona | `Righta Nona ]
   * (('a ->
      ('e -> 'a -> ('c * 'a, 'd) Types.tag) ->
      ('a, 'c, 'd) Types.result)
      * ('b ->
      'b ->
      'b))
       list)
    array ->
  ('a -> ('b -> 'a -> ('c * 'a, 'd) Types.tag) -> ('c * 'a, 'd) Types.tag) ->
  'a ->
  ('b -> 'a -> ('c * 'a, 'd) Types.tag) ->
  ('c * 'a, 'd) Types.tag

Sourceval read : string -> string

Sourcemodule Lexers : sig ... end

Source

val parse : 
  'a ->
  ('a ->
    ('b -> 'c -> ('b * 'c, 'd) Types.tag) ->
    ('e * 'f,
      < retrieve : 
        [> `First of int ] ->
        [> `Desc ] ->
        (Msg.Locator.t * [< `Comment of string * 'g | `Msg of Msg.t ] list)
          list.. >)
      Types.tag) ->
  [> `Fail of string | `Ok of 'e ]

package ostap

Module Ostap.UtilSource

Module `Ostap.Util`Source