package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-18.1.tar.gz

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.micheline/Tezos_micheline/Micheline_parser/index.html

Module `Tezos_micheline.Micheline_parser`Source

Sourcetype 'a parsing_result = 'a * Tezos_error_monad.Error_monad.error list

val compare : 
  ('a -> 'a -> int) ->
  'a parsing_result ->
  'a parsing_result ->
  int

val no_parsing_error : 
  'a parsing_result ->
  'a Tezos_error_monad.Error_monad.tzresult

Sourcetype point = {

point : int;
byte : int;
line : int;
column : int;

}

Sourceval point_zero : point

Sourcetype location = {

start : point;
stop : point;

}

Sourceval location_zero : location

Sourceval point_encoding : point Data_encoding.encoding

Sourceval location_encoding : location Data_encoding.encoding

Sourcetype token_value =

| String of string
| Bytes of string
| Int of string
| Ident of string
| Annot of string
| Comment of string
| Eol_comment of string
| Semi
| Open_paren
| Close_paren
| Open_brace
| Close_brace

Sourcetype token = {

token : token_value;
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 +=

| Invalid_utf8_sequence of point * string

Sourcetype Tezos_error_monad.Error_monad.error +=

| Unexpected_character of point * string

Sourcetype Tezos_error_monad.Error_monad.error +=

| Undefined_escape_sequence of point * string

Sourcetype Tezos_error_monad.Error_monad.error +=

| Missing_break_after_number of point

Sourcetype Tezos_error_monad.Error_monad.error +=

| Unterminated_string of location

Sourcetype Tezos_error_monad.Error_monad.error +=

| Unterminated_integer of location

Sourcetype Tezos_error_monad.Error_monad.error +=

| Invalid_hex_bytes of location

Sourcetype Tezos_error_monad.Error_monad.error +=

| Unterminated_comment of location

Sourcetype Tezos_error_monad.Error_monad.error +=

| Unclosed of token

Sourcetype Tezos_error_monad.Error_monad.error +=

| Unexpected of token

Sourcetype Tezos_error_monad.Error_monad.error +=

| Extra of token

Sourcetype Tezos_error_monad.Error_monad.error +=

| Misaligned of node

Sourcetype Tezos_error_monad.Error_monad.error +=

| Empty

Sourcetype Tezos_error_monad.Error_monad.error +=

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