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

octez-19.0.tar.gz

sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4

sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

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