package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Too_late_revelation
  2. | Too_early_revelation
  3. | Previously_revealed_nonce
  4. | Inconsistent_nonce
type nonce = t
val encoding : nonce Data_encoding.t
type status =
  1. | Unrevealed of unrevealed
  2. | Revealed of Seed_repr.nonce
val get : Raw_context.t -> Level_repr.t -> (status, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
type nonce_presence =
  1. | No_nonce_expected
  2. | Nonce_expected of status
val check : Raw_context.t -> Level_repr.t -> (nonce_presence, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val record_hash : Raw_context.t -> unrevealed -> (Raw_context.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val reveal : Raw_context.t -> Level_repr.t -> nonce -> (Raw_context.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val of_bytes : bytes -> (nonce, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result
val hash : nonce -> Nonce_hash.t
val check_hash : nonce -> Nonce_hash.t -> bool