package tezos-protocol-013-PtJakart
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Contract_delegate_storage/index.html
Module Tezos_raw_protocol_013_PtJakart.Contract_delegate_storageSource
val find :
Raw_context.t ->
Contract_repr.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t option
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tfind ctxt contract returns the delegate associated to contract, or None if contract has no delegate.
val registered :
Raw_context.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tregistered ctxt delegate returns true iff delegate is an implicit contract that delegates to itself.
val init :
Raw_context.t ->
Contract_repr.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tinit ctxt contract delegate sets the delegate associated to contract.
This function is undefined if contract is not allocated, or if contract has already a delegate.
val unlink :
Raw_context.t ->
Contract_repr.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tunlink ctxt contract removes contract from the list of contracts that delegated to find ctxt contract, i.e. the output of delegated_contracts. This function does not affect the value of the expression find ctxt contract.
This function is undefined if contract is not allocated.
val delete :
Raw_context.t ->
Contract_repr.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tdelete ctxt contract behaves as unlink ctxt contract, but in addition removes the association of the contract to its current delegate, leaving the former without delegate.
This function is undefined if contract is not allocated.
val set :
Raw_context.t ->
Contract_repr.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tset ctxt contract delegate updates the delegate associated to contract.
This function is undefined if contract is not allocated, or if contract does not have a delegate.
val delegated_contracts :
Raw_context.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
Contract_repr.t list Tezos_protocol_environment_013_PtJakart.Lwt.tdelegated_contracts ctxt delegate returns the list of contracts (implicit or originated) that delegated to delegate.