Contract_repr (tezos-protocol-013-PtJakart.Tezos_raw_protocol_013_PtJakart.Contract

type t = private

| Implicit of Tezos_protocol_environment_013_PtJakart.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).

type contract = t

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

val in_memory_size : t -> Cache_memory_helpers.sint

Implicit contracts

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

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

Originated contracts

val originated_contract : Origination_nonce.t -> contract

originated_contract nonce is the contract address originated from nonce.

val originated_contracts : 
  since:Origination_nonce.t ->
  until:Origination_nonce.t ->
  contract list

originated_contracts ~since ~until is the contract addresses originated from since until until. The operation hash of nonce since and until must be the same or it will fail with an assert. since < until or the returned list is empty

val is_originated : contract -> Contract_hash.t option

Human readable notation

type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=

| Invalid_contract_notation of string

val to_b58check : contract -> string

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

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

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

Serializers

val encoding : contract Tezos_protocol_environment_013_PtJakart.Data_encoding.t

val cases : 
  ('a -> contract option) ->
  (contract -> 'a) ->
  'a Tezos_protocol_environment_013_PtJakart.Data_encoding.case list

cases f g exports the Data_encoding.cases used to define encoding.

The only reason why we export that is to let Destination_repr.encoding use it. This allows the latter to be compatible with encoding, which is of key importance for backward compatibility reasons.

val rpc_arg : contract Tezos_protocol_environment_013_PtJakart.RPC_arg.arg

module Index : Storage_description.INDEX with type t = t