package ostap

  1. Overview
  2. Docs

Module Ostap.Types_Source

Sourcetype ('a, 'b) tag =
  1. | Parsed of 'a * 'b option
  2. | Failed of 'b option
  3. | Empty
Sourcetype ('stream, 'b, 'c) result = ('b * 'stream, 'c) tag
Sourceexception Retry
Sourceval emptyResult : ('a, 'b) tag
Sourceval failWith : 'a -> ('b, 'a) tag
Sourcemodule K : sig ... end
Sourcetype ('a, 'stream, 'b, 'c) k = ('a, 'stream, 'b, 'c) K.t
Sourcetype ('a, 'stream, 'b, 'c) parser = 'stream -> ('a, 'stream, 'b, 'c) k -> ('stream, 'b, 'c) result
Sourcetype ('a, 'stream, 'b, 'c) parser' = ('a, 'stream, 'b, 'c) k -> ('stream, 'b, 'c) result
Sourceval bind : (('a -> 'b -> ('c * 'd, 'e) tag) -> 'f) -> ('a -> 'b -> ('g * 'd, 'e) tag) -> ('g -> [< `Fail of 'e | `Ok of 'c ]) -> 'f
OCaml

Innovation. Community. Security.