package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Fitness_repr/index.html

Module Tezos_raw_protocol_012_Psithaca.Fitness_reprSource

Sourcetype Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Invalid_fitness
  2. | Wrong_fitness
  3. | Outdated_fitness
  4. | Locked_round_not_less_than_round of {
    1. round : Round_repr.t;
    2. locked_round : Round_repr.t;
    }
Sourcetype t
Sourceval create : level:Raw_level_repr.t -> locked_round:Round_repr.t option -> predecessor_round:Round_repr.t -> round:Round_repr.t -> t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
Sourceval create_without_locked_round : level:Raw_level_repr.t -> predecessor_round:Round_repr.t -> round:Round_repr.t -> t

Returns the corresponding protocol fitness if the shell fitness has the expected version, given by Constants_repr.fitness_version_number. If the fitness' version is from a previous protocol version, then it raises an "outdated fitness" error. If the fitness version is higher then it raises an "invalid fitness" error.

Returns the round from a raw fitness. If the fitness is from a previous protocol, the returned value will be Round.zero.

Returns the predecessor round from a raw fitness. If the fitness is from a previous protocol, the returned value will be Round.zero.

Sourceval check_except_locked_round : t -> level:Raw_level_repr.t -> predecessor_round:Round_repr.t -> unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Validate only the part of the fitness for which information are available during begin_application

Sourceval check_locked_round : t -> locked_round:Round_repr.t option -> unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

Validate the locked_round component of the fitness, which could not be validated during begin_application.

Sourceval level : t -> Raw_level_repr.t
Sourceval round : t -> Round_repr.t
Sourceval locked_round : t -> Round_repr.t option
Sourceval predecessor_round : t -> Round_repr.t