package tezos-protocol-013-PtJakart
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Contract_repr/index.html
Module Tezos_raw_protocol_013_PtJakart.Contract_reprSource
This module defines identifiers for two basic types of contracts. It also specifies how to compute originated contract's hash from origination nonce.
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).
include Tezos_protocol_environment_013_PtJakart.Compare.S
with type t := contract
Implicit contracts
val implicit_contract :
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
contractval is_implicit :
contract ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t optionOriginated contracts
originated_contract nonce is the contract address originated from nonce.
val originated_contracts :
since:Origination_nonce.t ->
until:Origination_nonce.t ->
contract listoriginated_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
Human readable notation
val of_b58check :
string ->
contract Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultSerializers
val cases :
('a -> contract option) ->
(contract -> 'a) ->
'a Tezos_protocol_environment_013_PtJakart.Data_encoding.case listcases 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.