Module `Tezos_raw_protocol_012_Psithaca.Contract_repr`Source

This module defines identifiers for two basic types of contracts. It also specifies how to compute originated contract's hash from origination nonce.

Sourcetype t = private

| Implicit of Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
| Originated of Contract_hash.t

A contract is simply an account on the blockchain ledger. There are two types of contracts:

implicit contracts represent accounts of users of the blockchain;
originated are special accounts with a Michelson script attached to them. Every time a transaction is sent to an originated account, its associated script is run in order to trigger some action in response.

An implicit account is identified by the hash of the public key which was used to create it. The owner of the corresponding private key is the holder of the account. An originated contract's hash is derived from its origination nonce (see below).

Sourcetype contract = t

include Tezos_protocol_environment_012_Psithaca.Compare.S
  with type t := contract

val (=) : contract -> contract -> bool

val (<>) : contract -> contract -> bool

val (<) : contract -> contract -> bool

val (<=) : contract -> contract -> bool

val (>=) : contract -> contract -> bool

val (>) : contract -> contract -> bool

val compare : contract -> contract -> int

val equal : contract -> contract -> bool

val max : contract -> contract -> contract

val min : contract -> contract -> contract

Sourceval public_key_hash_in_memory_size : Cache_memory_helpers.sint

Sourceval in_memory_size : t -> Cache_memory_helpers.sint

Implicit contracts

Source

val implicit_contract : 
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  contract

Source

val is_implicit : 
  contract ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t option

Originated contracts

Sourcetype origination_nonce

Originated contracts handles are crafted from the hash of the operation that triggered their origination (and nothing else). As a single operation can trigger several originations, the corresponding handles are forged from a deterministic sequence of nonces, initialized with the hash of the operation.

Sourceval originated_contract : origination_nonce -> contract

Source

val originated_contracts : 
  since:origination_nonce ->
  until:origination_nonce ->
  contract list

Source

val initial_origination_nonce : 
  Tezos_protocol_environment_012_Psithaca.Operation_hash.t ->
  origination_nonce

Sourceval incr_origination_nonce : origination_nonce -> origination_nonce

Sourceval is_originated : contract -> Contract_hash.t option

Human readable notation

Sourcetype Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Invalid_contract_notation of string

Sourceval to_b58check : contract -> string

Source

val of_b58check : 
  string ->
  contract Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Source

val pp : 
  Tezos_protocol_environment_012_Psithaca.Format.formatter ->
  contract ->
  unit

Source

val pp_short : 
  Tezos_protocol_environment_012_Psithaca.Format.formatter ->
  contract ->
  unit

Serializers

Sourceval encoding : contract Tezos_protocol_environment_012_Psithaca.Data_encoding.t

Source

val origination_nonce_encoding : 
  origination_nonce Tezos_protocol_environment_012_Psithaca.Data_encoding.t

Sourceval rpc_arg : contract Tezos_protocol_environment_012_Psithaca.RPC_arg.arg

Sourcemodule Index : Storage_description.INDEX with type t = t

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Tezos_raw_protocol_012_Psithaca.Contract_repr`Source

Implicit contracts

Originated contracts

Human readable notation

Serializers

package tezos-protocol-012-Psithaca

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Tezos_raw_protocol_012_Psithaca.Contract_reprSource

Implicit contracts

Originated contracts

Human readable notation

Serializers

Module `Tezos_raw_protocol_012_Psithaca.Contract_repr`Source