Module Tezos_micheline.Micheline_parserSource

Sourcetype 'a parsing_result = 'a * Tezos_error_monad.Error_monad.error list
Sourceval compare : ('a -> 'a -> int) -> 'a parsing_result -> 'a parsing_result -> int
Sourcetype point = {
  1. point : int;
  2. byte : int;
  3. line : int;
  4. column : int;
}
Sourceval point_zero : point
Sourcetype location = {
  1. start : point;
  2. stop : point;
}
Sourceval location_zero : location
Sourceval point_encoding : point Data_encoding.encoding
Sourceval location_encoding : location Data_encoding.encoding
Sourcetype token_value =
  1. | String of string
  2. | Bytes of string
  3. | Int of string
  4. | Ident of string
  5. | Annot of string
  6. | Comment of string
  7. | Eol_comment of string
  8. | Semi
  9. | Open_paren
  10. | Close_paren
  11. | Open_brace
  12. | Close_brace
Sourcetype token = {
  1. token : token_value;
  2. loc : location;
}
Sourceval tokenize : string -> token list parsing_result
Sourcetype node = (location, string) Micheline.node
Sourceval min_point : node list -> point

Beginning of a sequence of consecutive primitives

Sourceval max_point : node list -> point

End of a sequence of consecutive primitives

Sourceval max_annot_length : int
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Invalid_utf8_sequence of point * string
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Unexpected_character of point * string
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Undefined_escape_sequence of point * string
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Missing_break_after_number of point
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Unterminated_string of location
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Unterminated_integer of location
Sourcetype Tezos_error_monad.Error_monad.error +=
  1. | Unterminated_comment of location
Sourceval parse_toplevel : ?check:bool -> token list -> node list parsing_result
Sourceval parse_expression : ?check:bool -> token list -> node parsing_result
Sourceval print_location : Format.formatter -> location -> unit
Sourceval print_point : Format.formatter -> point -> unit