package tezos-protocol-015-PtLimaPt
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Frozen_deposits_storage/index.html
Module Tezos_raw_protocol_015_PtLimaPt.Frozen_deposits_storageSource
Simple abstraction from low-level storage to handle frozen deposits.
This module is responsible for maintaining the Storage.Contract.Frozen_deposits table.
val init :
Raw_context.t ->
Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t ->
Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.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_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.Signature.Public_key_hash.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.Signature.Public_key_hash.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.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.