Module `Tezos_raw_protocol_008_PtEdoTez.Voting_period_repr`Source

Sourcetype kind =

| Proposal
(*
protocols can be proposed
*)
| Testing_vote
(*
a proposal can be voted
*)
| Testing
(*
winning proposal is forked on a testnet
*)
| Promotion_vote
(*
activation can be voted
*)
| Adoption
(*
a delay before activation
*)

The voting period kinds are ordered as follows: Proposal -> Testing_vote -> Testing -> Promotion_vote -> Adoption. This order is the one used be the function succ below.

Source

val kind_encoding : 
  kind Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

Sourcetype voting_period = {

index : Tezos_protocol_environment_008_PtEdoTez.Int32.t;
kind : kind;
start_position : Tezos_protocol_environment_008_PtEdoTez.Int32.t;

}

A voting period can be of 5 kinds and is uniquely identified by a counter since the root.

Sourcetype t = voting_period

Sourcetype info = {

voting_period : t;
position : Tezos_protocol_environment_008_PtEdoTez.Int32.t;
remaining : Tezos_protocol_environment_008_PtEdoTez.Int32.t;

}

Sourceval root : start_position:Tezos_protocol_environment_008_PtEdoTez.Int32.t -> t

include Tezos_protocol_environment_008_PtEdoTez.Compare.S
  with type t := voting_period

val (=) : voting_period -> voting_period -> bool

val (<>) : voting_period -> voting_period -> bool

val (<) : voting_period -> voting_period -> bool

val (<=) : voting_period -> voting_period -> bool

val (>=) : voting_period -> voting_period -> bool

val (>) : voting_period -> voting_period -> bool

val compare : voting_period -> voting_period -> int

val equal : voting_period -> voting_period -> bool

val max : voting_period -> voting_period -> voting_period

val min : voting_period -> voting_period -> voting_period

Sourceval encoding : t Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

Source

val info_encoding : 
  info Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

Sourceval pp : Tezos_protocol_environment_008_PtEdoTez.Format.formatter -> t -> unit

Source

val pp_info : 
  Tezos_protocol_environment_008_PtEdoTez.Format.formatter ->
  info ->
  unit

Source

val pp_kind : 
  Tezos_protocol_environment_008_PtEdoTez.Format.formatter ->
  kind ->
  unit

Source

val reset : 
  t ->
  start_position:Tezos_protocol_environment_008_PtEdoTez.Int32.t ->
  t

reset period ~start_position increment the index by one and set the kind to Proposal which is the period kind that start the voting process. start_position is the level at wich this voting_period started.

Source

val succ : 
  t ->
  start_position:Tezos_protocol_environment_008_PtEdoTez.Int32.t ->
  t

succ period ~start_position increment the index by one and set the kind to its successor. start_position is the level at which this voting_period started.

Source

val position_since : 
  Level_repr.t ->
  t ->
  Tezos_protocol_environment_008_PtEdoTez.Int32.t

Source

val remaining_blocks : 
  Level_repr.t ->
  t ->
  blocks_per_voting_period:Tezos_protocol_environment_008_PtEdoTez.Int32.t ->
  Tezos_protocol_environment_008_PtEdoTez.Int32.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-008-PtEdoTez.raw/Tezos_raw_protocol_008_PtEdoTez/Voting_period_repr/index.html

Module `Tezos_raw_protocol_008_PtEdoTez.Voting_period_repr`Source

package tezos-protocol-008-PtEdoTez

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-008-PtEdoTez.raw/Tezos_raw_protocol_008_PtEdoTez/Voting_period_repr/index.html

Module Tezos_raw_protocol_008_PtEdoTez.Voting_period_reprSource

Module `Tezos_raw_protocol_008_PtEdoTez.Voting_period_repr`Source