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/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.