Module `Tezos_raw_protocol_alpha.Fitness_repr`Source

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Invalid_fitness
| Wrong_fitness
| Outdated_fitness
| Locked_round_not_less_than_round of {
1. round : Round_repr.t;
2. locked_round : Round_repr.t;
}

Sourcetype t

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

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

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.tzresult

Source

val create_without_locked_round : 
  level:Raw_level_repr.t ->
  predecessor_round:Round_repr.t ->
  round:Round_repr.t ->
  t

Sourceval to_raw : t -> Tezos_protocol_environment_alpha.Fitness.t

Source

val from_raw : 
  Tezos_protocol_environment_alpha.Fitness.t ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

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.

Source

val round_from_raw : 
  Tezos_protocol_environment_alpha.Fitness.t ->
  Round_repr.t Tezos_protocol_environment_alpha.Error_monad.tzresult

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

Source

val predecessor_round_from_raw : 
  Tezos_protocol_environment_alpha.Fitness.t ->
  Round_repr.t Tezos_protocol_environment_alpha.Error_monad.tzresult

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

Source

val locked_round_from_raw : 
  Tezos_protocol_environment_alpha.Fitness.t ->
  Round_repr.t option Tezos_protocol_environment_alpha.Error_monad.tzresult

Returns the locked round from a raw fitness. If the fitness is from a previous version, the returned value will be None.

Source

val check_except_locked_round : 
  t ->
  level:Raw_level_repr.t ->
  predecessor_round:Round_repr.t ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

Validate only the part of the fitness for which information are available 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Fitness_repr/index.html

Module `Tezos_raw_protocol_alpha.Fitness_repr`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Fitness_repr/index.html

Module Tezos_raw_protocol_alpha.Fitness_reprSource

Module `Tezos_raw_protocol_alpha.Fitness_repr`Source