package tezos-protocol-020-PsParisC

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-020-PsParisC

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Alpha_context.Staking`Source

val stake : 
  context ->
  amount:[ `At_most of Tez.t | `Exactly of Tez.t ] ->
  sender:public_key_hash ->
  delegate:public_key_hash ->
  (context * Receipt.balance_updates)
    Tezos_protocol_environment_020_PsParisC.Error_monad.tzresult
    Tezos_protocol_environment_020_PsParisC.Lwt.t

stake ctxt ~sender ~delegate amount add amount as sender's stake to delegate.

Source

val request_unstake : 
  context ->
  sender_contract:Contract.t ->
  delegate:public_key_hash ->
  Tez.t ->
  (context * Receipt.balance_updates)
    Tezos_protocol_environment_020_PsParisC.Error_monad.tzresult
    Tezos_protocol_environment_020_PsParisC.Lwt.t

request_unstake ctxt ~sender_contract ~delegate amount records a request from sender_contract to unstake amount from delegate.

Source

val finalize_unstake : 
  context ->
  Contract.t ->
  (context * Receipt.balance_updates)
    Tezos_protocol_environment_020_PsParisC.Error_monad.tzresult
    Tezos_protocol_environment_020_PsParisC.Lwt.t

finalize_unstake ctxt contract performs the finalization of all unstake requests from contract that can be finalized. An unstake request can be finalized if it is old enough, specifically the requested amount must not be at stake anymore and must not be slashable anymore, i.e. after consensus_rights_delay + max_slashing_period after the request. Amounts are transferred from the contract's delegate (at request time) unstaked frozen deposits to contract's spendable balance, minus slashing the requested stake undergone in between.

Sourcetype staking_automation =

| Auto_staking
| Manual_staking

Staking can be either automated or manual. If Adaptive Issuance is enabled, staking must be manual.

Sourceval staking_automation : context -> staking_automation

Source

val check_manual_staking_allowed : 
  context ->
  unit Tezos_protocol_environment_020_PsParisC.Error_monad.tzresult

package tezos-protocol-020-PsParisC

Module Alpha_context.StakingSource

Module `Alpha_context.Staking`Source