Module `Bark`Source

Sourcetype ('context, 'problem, 'value) parser

Sourcetype 'context located = {

row : int;
col : int;
context : 'context;

}

Sourcetype ('context, 'problem) dead_end = {

row : int;
col : int;
problem : 'problem;
context_stack : 'context located list;

}

Sourceval run : ('c, 'x, 'a) parser -> string -> ('a, ('c, 'x) dead_end list) result

Source

val in_context : 
  'context ->
  ('context, 'x, 'a) parser ->
  ('context, 'x, 'a) parser

Sourcetype 'x token =

| 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

Source

val 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

Source

val (|=) : 
  ('c, 'x, 'a -> 'b) parser ->
  ('c, 'x, 'a) parser ->
  ('c, 'x, 'b) parser

Source

val (|.) : 
  ('c, 'x, 'keep) parser ->
  ('c, 'x, 'ignore) parser ->
  ('c, 'x, 'keep) parser

Sourceval lazily : (unit -> ('c, 'x, 'a) parser) -> ('c, 'x, 'a) parser

Source

val 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 =

| Forbidden
| Optional
| Mandatory

Source

val 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 =

| Loop of 'state
| Done of 'a

Source

val 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 =

| NotNestable
| 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

Source

val 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

package bark

Module BarkSource

Module `Bark`Source