tezos-protocol-012-Psithaca 20.1 (latest)

type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Unknown_primitive_name of string

type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Invalid_case of string

type 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

type 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.

type namespace =

| Type_namespace
| Constant_namespace
| Instr_namespace
| Keyword_namespace
| Constant_hash_namespace

val namespace : prim -> namespace

val prim_encoding : 
  prim Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

val string_of_prim : prim -> string

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

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

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

val string_of_namespace : namespace -> string

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

package tezos-protocol-012-Psithaca