package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module provides functions related to delegates' activity.

Typically, they can be used to deactivate a delegate that has not shown activity for a certain number of cycles, and to reactivate it when appropriate.

val is_inactive : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val last_cycle_before_deactivation : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  Cycle_repr.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

last_cycle_before_deactivation ctxt delegate is the cycle at which the delegate is scheduled to become inactive.

val set_inactive : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  Raw_context.t Tezos_protocol_environment_014_PtKathma.Lwt.t

set_inactive context delegate adds delegate to the set of inactive * contracts.

val set_active : 
  Raw_context.t ->
  Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t ->
  (Raw_context.t * bool)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

set_active ctxt delegate returns a pair (new_ctxt, is_inactive) where:

new_ctxt is a new context, updated from ctxt, where the delegate's last active cycle has been updated
is_inactive represents the state of delegate, prior to the update.