Module `Tezos_raw_protocol_007_PsDELPH1.Contract_repr`Source

Sourcetype t = private

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

Sourcetype contract = t

include Tezos_protocol_environment_007_PsDELPH1.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

Implicit contracts

Source

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

Source

val is_implicit : 
  contract ->
  Tezos_protocol_environment_007_PsDELPH1.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_007_PsDELPH1.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_007_PsDELPH1.Error_monad.error +=

| Invalid_contract_notation of string

Sourceval to_b58check : contract -> string

Source

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

Source

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

Source

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

Serializers

Sourceval encoding : contract Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

Source

val origination_nonce_encoding : 
  origination_nonce Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

Sourceval rpc_arg : contract Tezos_protocol_environment_007_PsDELPH1.RPC_arg.arg

Sourcemodule Index : Storage_description.INDEX with type t = t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Contract_repr/index.html

Module `Tezos_raw_protocol_007_PsDELPH1.Contract_repr`Source

Implicit contracts

Originated contracts

Human readable notation

Serializers

package tezos-protocol-007-PsDELPH1

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Contract_repr/index.html

Module Tezos_raw_protocol_007_PsDELPH1.Contract_reprSource

Implicit contracts

Originated contracts

Human readable notation

Serializers

Module `Tezos_raw_protocol_007_PsDELPH1.Contract_repr`Source