package tezos-protocol-013-PtJakart
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Fitness_repr/index.html
Module Tezos_raw_protocol_013_PtJakart.Fitness_reprSource
type Tezos_protocol_environment_013_PtJakart.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_013_PtJakart.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_013_PtJakart.Fitness.t ->
t Tezos_protocol_environment_013_PtJakart.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_013_PtJakart.Fitness.t ->
Round_repr.t Tezos_protocol_environment_013_PtJakart.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_013_PtJakart.Fitness.t ->
Round_repr.t Tezos_protocol_environment_013_PtJakart.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_013_PtJakart.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_013_PtJakart.Error_monad.tzresultValidate the locked_round component of the fitness, which could not be validated during begin_application.