package tezos-protocol-005-PsBabyM1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Roll_storage/index.html
Module Tezos_raw_protocol_005_PsBabyM1.Roll_storageSource
Basic roll manipulation.
If storage related to roll (a.k.a. `Storage.Roll`) are not used outside of this module, this interface enforces the invariant that a roll is always either in the limbo list or in a contract list.
Source
type Tezos_protocol_environment_005_PsBabyM1.Error_monad.error += | Consume_roll_change| No_roll_for_delegate| No_roll_snapshot_for_cycle of Cycle_repr.t| Unregistered_delegate of Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key_hash.t
Source
val fold :
Raw_context.t ->
f:
(Roll_repr.roll ->
Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t ->
'a ->
'a Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t) ->
'a ->
'a Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val baking_rights_owner :
Raw_context.t ->
Level_repr.t ->
priority:int ->
Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t
Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val endorsement_rights_owner :
Raw_context.t ->
Level_repr.t ->
slot:int ->
Tezos_protocol_environment_005_PsBabyM1.Signature.Public_key.t
Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val update_tokens_per_roll :
Raw_context.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_005_PsBabyM1.Error_monad.tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t