tezos-protocol-007-PsDELPH1 20.1 (latest)

type t = private

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

type 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

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

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

Originated contracts

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

val originated_contract : origination_nonce -> contract

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

val initial_origination_nonce : 
  Tezos_protocol_environment_007_PsDELPH1.Operation_hash.t ->
  origination_nonce

val incr_origination_nonce : origination_nonce -> origination_nonce

val is_originated : contract -> Contract_hash.t option

Human readable notation

type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error +=

| Invalid_contract_notation of string

val to_b58check : contract -> string

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

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

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

Serializers

val encoding : contract Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val origination_nonce_encoding : 
  origination_nonce Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val rpc_arg : contract Tezos_protocol_environment_007_PsDELPH1.RPC_arg.arg

module Index : Storage_description.INDEX with type t = t

package tezos-protocol-007-PsDELPH1

Implicit contracts

Originated contracts

Human readable notation

Serializers