package tezos-protocol-001-PtCJ7pwo

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=
  1. | Consume_roll_change
  2. | No_roll_for_delegate
  3. | No_roll_snapshot_for_cycle of Cycle_repr.t
  4. | Unregistered_delegate of Tezos_base__TzPervasives.Signature.public_key_hash
val init : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val init_first_cycles : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val cycle_end : Raw_context.t -> Cycle_repr.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val snapshot_rolls : Raw_context.t -> (Raw_context.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val fold : Raw_context.t -> f: (Roll_repr.roll -> Tezos_base__TzPervasives.Signature.public_key -> 'a -> ('a, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t) -> 'a -> ('a, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val baking_rights_owner : Raw_context.t -> Level_repr.t -> priority:int -> (Tezos_base__TzPervasives.Signature.public_key, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val endorsement_rights_owner : Raw_context.t -> Level_repr.t -> slot:int -> (Tezos_base__TzPervasives.Signature.public_key, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
module Delegate : sig ... end
module Contract : sig ... end
val delegate_pubkey : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Tezos_base__TzPervasives.Signature.public_key, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_rolls : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Roll_repr.t list, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
val get_change : Raw_context.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Tez_repr.t, Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.