package tezos-protocol-013-PtJakart
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Frozen_deposits_storage/index.html
Module Tezos_raw_protocol_013_PtJakart.Frozen_deposits_storageSource
Simple abstraction from low-level storage to handle frozen deposits
val init :
Raw_context.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 delegate returns a new context from ctxt where the frozen deposits of the implicit contract represented by delegate have been initialized to Tez_repr.zero.
val allocated :
Raw_context.t ->
Contract_repr.t ->
bool Tezos_protocol_environment_013_PtJakart.Lwt.tallocated ctxt contract checks whether contract has frozen deposits in ctxt.
val get :
Raw_context.t ->
Contract_repr.t ->
Storage.deposits Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tget ctxt contract retrieves the frozen deposits of contract in ctxt.
val find :
Raw_context.t ->
Contract_repr.t ->
Storage.deposits option
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tfind ctxt contract retrieves the frozen deposits of contract in ctxt, if any.
val credit_only_call_from_token :
Raw_context.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tcredit_only_call_from_token ctxt delegate tez returns a new context from ctxt where the amount of frozen deposits for the implicit contract represented by delegate increases by tez.
val spend_only_call_from_token :
Raw_context.t ->
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tspend_only_call_from_token ctxt delegate tez returns a new context from ctxt where the amount of frozen deposits for the implicit contract represented by delegate decreases by tez.
val update_initial_amount :
Raw_context.t ->
Contract_repr.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tupdate_initial_amount ctxt contract tez returns a new context from ctxt where the initial_amount of the frozen deposits for contract is set to tez.