package bark

  1. Overview
  2. Docs

Module BarkSource

Sourcetype ('context, 'problem, 'value) parser
Sourcetype 'context located = {
  1. row : int;
  2. col : int;
  3. context : 'context;
}
Sourcetype ('context, 'problem) dead_end = {
  1. row : int;
  2. col : int;
  3. problem : 'problem;
  4. context_stack : 'context located list;
}
Sourceval run : ('c, 'x, 'a) parser -> string -> ('a, ('c, 'x) dead_end list) result
Sourceval in_context : 'context -> ('context, 'x, 'a) parser -> ('context, 'x, 'a) parser
Sourcetype 'x token =
  1. | Token of string * 'x
Sourceval is_alpha : char -> bool
Sourceval is_num : char -> bool
Sourceval int : 'x -> ('c, 'x, int) parser
Sourceval float : 'x -> 'x -> ('c, 'x, float) parser
Sourceval symbol : 'x token -> ('c, 'x, unit) parser
Sourceval keyword : 'x token -> ('c, 'x, unit) parser
Sourcemodule String_set : sig ... end
Sourceval variable : start:(char -> bool) -> inner:(char -> bool) -> reserved:String_set.t -> expecting:'x -> ('c, 'x, string) parser
Sourceval endd : 'x -> ('c, 'x, unit) parser
Sourceval succeed : 'a -> ('c, 'x, 'a) parser
Sourceval (|=) : ('c, 'x, 'a -> 'b) parser -> ('c, 'x, 'a) parser -> ('c, 'x, 'b) parser
Sourceval (|.) : ('c, 'x, 'keep) parser -> ('c, 'x, 'ignore) parser -> ('c, 'x, 'keep) parser
Sourceval lazily : (unit -> ('c, 'x, 'a) parser) -> ('c, 'x, 'a) parser
Sourceval and_then : ('a -> ('c, 'x, 'b) parser) -> ('c, 'x, 'a) parser -> ('c, 'x, 'b) parser
Sourceval problem : 'x -> ('c, 'x, 'a) parser
Sourceval one_of : ('c, 'x, 'a) parser list -> ('c, 'x, 'a) parser
Sourceval map : ('a -> 'b) -> ('c, 'x, 'a) parser -> ('c, 'x, 'b) parser
Sourceval backtrackable : ('c, 'x, 'a) parser -> ('c, 'x, 'a) parser
Sourceval commit : 'a -> ('c, 'x, 'a) parser
Sourceval token : 'x token -> ('c, 'x, unit) parser
Sourcetype trailing =
  1. | Forbidden
  2. | Optional
  3. | Mandatory
Sourceval sequence : start:'x token -> separator:'x token -> endd:'x token -> spaces:('c, 'x, unit) parser -> item:('c, 'x, 'a) parser -> trailing:trailing -> ('c, 'x, 'a list) parser
Sourcetype ('state, 'a) step =
  1. | Loop of 'state
  2. | Done of 'a
Sourceval loop : 'state -> ('state -> ('c, 'x, ('state, 'a) step) parser) -> ('c, 'x, 'a) parser
Sourceval spaces : ('c, 'x, unit) parser
Sourceval line_comment : 'x token -> ('c, 'x, unit) parser
Sourcetype nestable =
  1. | NotNestable
  2. | Nestable
Sourceval multi_comment : 'x token -> 'x token -> nestable -> ('c, 'x, unit) parser
Sourceval get_chomped_string : ('c, 'x, 'a) parser -> ('c, 'x, string) parser
Sourceval chomp_if : (char -> bool) -> 'x -> ('c, 'x, unit) parser
Sourceval chomp_while : (char -> bool) -> ('c, 'x, unit) parser
Sourceval chomp_until : 'x token -> ('c, 'x, unit) parser
Sourceval chomp_until_end_or : string -> ('c, 'x, unit) parser
Sourceval map_chomped_string : (string -> 'a -> 'b) -> ('c, 'x, 'a) parser -> ('c, 'x, 'b) parser
Sourceval with_indent : int -> ('c, 'x, 'a) parser -> ('c, 'x, 'a) parser
Sourceval get_indent : ('c, 'x, int) parser
Sourceval get_position : ('c, 'x, int * int) parser
Sourceval get_row : ('c, 'x, int) parser
Sourceval get_col : ('c, 'x, int) parser
Sourceval get_offset : ('c, 'x, int) parser
Sourceval get_source : ('c, 'x, string) parser
Sourcemodule Syntax : sig ... end