Contract_repr (p.tezos-protocol-005-PsBABY5H.16.1.doc.tezos-protocol-005-PsBABY5H.raw.Tezos_raw_protocol_005_PsBABY5H.Contract

Sourcetype t = private

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

Sourcetype contract = t

include Tezos_protocol_environment_005_PsBABY5H.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_005_PsBABY5H.Signature.Public_key_hash.t ->
  contract

Sourceval originated_contract_004 : Contract_hash.t -> contract

Only for migration from proto_004

Source

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

| Invalid_contract_notation of string

Sourceval to_b58check : contract -> string

Source

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

Source

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

Source

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

Serializers

Sourceval encoding : contract Tezos_protocol_environment_005_PsBABY5H.Data_encoding.t

Source

val origination_nonce_encoding : 
  origination_nonce Tezos_protocol_environment_005_PsBABY5H.Data_encoding.t

Sourceval rpc_arg : contract Tezos_protocol_environment_005_PsBABY5H.RPC_arg.arg

Sourcemodule Index : Storage_description.INDEX with type t = t