Module `Tezos_raw_protocol_012_Psithaca.Michelson_v1_primitives`Source

Sourcetype Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Unknown_primitive_name of string

Sourcetype Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Invalid_case of string

Sourcetype Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Invalid_primitive_name of string Tezos_protocol_environment_012_Psithaca.Micheline.canonical * Tezos_protocol_environment_012_Psithaca.Micheline.canonical_location

Sourcetype prim =

| K_parameter
| K_storage
| K_code
| K_view
| D_False
| D_Elt
| D_Left
| D_None
| D_Pair
| D_Right
| D_Some
| D_True
| D_Unit
| I_PACK
| I_UNPACK
| I_BLAKE2B
| I_SHA256
| I_SHA512
| I_ABS
| I_ADD
| I_AMOUNT
| I_AND
| I_BALANCE
| I_CAR
| I_CDR
| I_CHAIN_ID
| I_CHECK_SIGNATURE
| I_COMPARE
| I_CONCAT
| I_CONS
| I_CREATE_ACCOUNT
| I_CREATE_CONTRACT
| I_IMPLICIT_ACCOUNT
| I_DIP
| I_DROP
| I_DUP
| I_VIEW
| I_EDIV
| I_EMPTY_BIG_MAP
| I_EMPTY_MAP
| I_EMPTY_SET
| I_EQ
| I_EXEC
| I_APPLY
| I_FAILWITH
| I_GE
| I_GET
| I_GET_AND_UPDATE
| I_GT
| I_HASH_KEY
| I_IF
| I_IF_CONS
| I_IF_LEFT
| I_IF_NONE
| I_INT
| I_LAMBDA
| I_LE
| I_LEFT
| I_LEVEL
| I_LOOP
| I_LSL
| I_LSR
| I_LT
| I_MAP
| I_MEM
| I_MUL
| I_NEG
| I_NEQ
| I_NIL
| I_NONE
| I_NOT
| I_NOW
| I_OR
| I_PAIR
| I_UNPAIR
| I_PUSH
| I_RIGHT
| I_SIZE
| I_SOME
| I_SOURCE
| I_SENDER
| I_SELF
| I_SELF_ADDRESS
| I_SLICE
| I_STEPS_TO_QUOTA
| I_SUB
| I_SUB_MUTEZ
| I_SWAP
| I_TRANSFER_TOKENS
| I_SET_DELEGATE
| I_UNIT
| I_UPDATE
| I_XOR
| I_ITER
| I_LOOP_LEFT
| I_ADDRESS
| I_CONTRACT
| I_ISNAT
| I_CAST
| I_RENAME
| I_SAPLING_EMPTY_STATE
| I_SAPLING_VERIFY_UPDATE
| I_DIG
| I_DUG
| I_NEVER
| I_VOTING_POWER
| I_TOTAL_VOTING_POWER
| I_KECCAK
| I_SHA3
| I_PAIRING_CHECK
| I_TICKET
| I_READ_TICKET
| I_SPLIT_TICKET
| I_JOIN_TICKETS
| I_OPEN_CHEST
| T_bool
| T_contract
| T_int
| T_key
| T_key_hash
| T_lambda
| T_list
| T_map
| T_big_map
| T_nat
| T_option
| T_or
| T_pair
| T_set
| T_signature
| T_string
| T_bytes
| T_mutez
| T_timestamp
| T_unit
| T_operation
| T_address
| T_sapling_transaction
| T_sapling_state
| T_chain_id
| T_never
| T_bls12_381_g1
| T_bls12_381_g2
| T_bls12_381_fr
| T_ticket
| T_chest_key
| T_chest
| H_constant

Types of nodes in Michelson's AST. They fall into 4 categories:

types (prefixed with T_);
constants (prefixed with D_);
instructions (prefixed with I_);
keywords (prefixed with K_).

Recall that Micheline is essentially just S-expressions with a few extra atom types for strings and numbers. This variant represents the values the Prim atoms in the Michelson subset of Micheline. Other types (such as 'a Micheline.canonical) are frequently parameterized by this type. This gives us a strongly-typed subset of Micheline while keeping the set of primitives independent from the definition of Micheline for easier changes.

Auxiliary types for error documentation. All the prim constructor prefixes must match their namespace.

Sourcetype namespace =

| Type_namespace
| Constant_namespace
| Instr_namespace
| Keyword_namespace
| Constant_hash_namespace

Sourceval namespace : prim -> namespace

Source

val prim_encoding : 
  prim Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

Sourceval string_of_prim : prim -> string

Source

val prim_of_string : 
  string ->
  prim Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val prims_of_strings : 
  string Tezos_protocol_environment_012_Psithaca.Micheline.canonical ->
  prim Tezos_protocol_environment_012_Psithaca.Micheline.canonical
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val strings_of_prims : 
  prim Tezos_protocol_environment_012_Psithaca.Micheline.canonical ->
  string Tezos_protocol_environment_012_Psithaca.Micheline.canonical

Sourceval string_of_namespace : namespace -> string

The string corresponds to the constructor prefix from the given namespace (i.e. "T", "D", "I" or "K")

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Michelson_v1_primitives/index.html

Module `Tezos_raw_protocol_012_Psithaca.Michelson_v1_primitives`Source

package tezos-protocol-012-Psithaca

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Michelson_v1_primitives/index.html

Module Tezos_raw_protocol_012_Psithaca.Michelson_v1_primitivesSource

Module `Tezos_raw_protocol_012_Psithaca.Michelson_v1_primitives`Source