package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Fitness_repr/index.html
Module Tezos_raw_protocol_alpha.Fitness_reprSource
type Tezos_protocol_environment_alpha.Error_monad.error += | Invalid_fitness| Wrong_fitness| Outdated_fitness| Locked_round_not_less_than_round of {round : Round_repr.t;locked_round : Round_repr.t;
}
val 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_alpha.Error_monad.tzresultval create_without_locked_round :
level:Raw_level_repr.t ->
predecessor_round:Round_repr.t ->
round:Round_repr.t ->
tval from_raw :
Tezos_protocol_environment_alpha.Fitness.t ->
t Tezos_protocol_environment_alpha.Error_monad.tzresultReturns 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.
val round_from_raw :
Tezos_protocol_environment_alpha.Fitness.t ->
Round_repr.t Tezos_protocol_environment_alpha.Error_monad.tzresultReturns the round from a raw fitness. If the fitness is from a previous protocol, the returned value will be Round.zero.
val predecessor_round_from_raw :
Tezos_protocol_environment_alpha.Fitness.t ->
Round_repr.t Tezos_protocol_environment_alpha.Error_monad.tzresultReturns the predecessor round from a raw fitness. If the fitness is from a previous protocol, the returned value will be Round.zero.
val check_except_locked_round :
t ->
level:Raw_level_repr.t ->
predecessor_round:Round_repr.t ->
unit Tezos_protocol_environment_alpha.Error_monad.tzresultValidate only the part of the fitness for which information are available during begin_application
val check_locked_round :
t ->
locked_round:Round_repr.t option ->
unit Tezos_protocol_environment_alpha.Error_monad.tzresultValidate the locked_round component of the fitness, which could not be validated during begin_application.