package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
package tezos-protocol-007-PsDELPH1
Legend:
Library
Module
Module type
Parameter
Class
Class type

Tezos Protocol Implementation - Main Entry Points

type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Wrong_voting_period of Alpha_context.Voting_period.t * Alpha_context.Voting_period.t
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Wrong_endorsement_predecessor of Tezos_crypto.Block_hash.t * Tezos_crypto.Block_hash.t
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Duplicate_endorsement of Tezos_crypto.Signature.public_key_hash
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Invalid_endorsement_level
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Invalid_commitment of {
    1. expected : bool;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Internal_operation_replay of Alpha_context.packed_internal_operation
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Invalid_double_endorsement_evidence
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Inconsistent_double_endorsement_evidence of {
    1. delegate1 : Tezos_crypto.Signature.public_key_hash;
    2. delegate2 : Tezos_crypto.Signature.public_key_hash;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Unrequired_double_endorsement_evidence
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Too_early_double_endorsement_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. current : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Outdated_double_endorsement_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. last : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Invalid_double_baking_evidence of {
    1. hash1 : Tezos_crypto.Block_hash.t;
    2. level1 : int32;
    3. hash2 : Tezos_crypto.Block_hash.t;
    4. level2 : int32;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Inconsistent_double_baking_evidence of {
    1. delegate1 : Tezos_crypto.Signature.public_key_hash;
    2. delegate2 : Tezos_crypto.Signature.public_key_hash;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Unrequired_double_baking_evidence
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Too_early_double_baking_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. current : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Outdated_double_baking_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. last : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Invalid_activation of {
    1. pkh : Tezos_crypto.Ed25519.Public_key_hash.t;
    }
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Multiple_revelation
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Gas_quota_exceeded_init_deserialize
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Inconsistent_sources
type Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error +=
  1. | Not_enough_endorsements_for_priority of {
    1. required : int;
    2. priority : int;
    3. endorsements : int;
    4. timestamp : Tezos_base.Time.Protocol.t;
    }
val apply_manager_operation_content : 'kind. Alpha_context.t -> Script_ir_translator.unparsing_mode -> payer:Alpha_context.Contract.t -> source:Alpha_context.Contract.t -> chain_id:Tezos_crypto.Chain_id.t -> internal:bool -> 'kind Alpha_context.manager_operation -> (Alpha_context.context * 'kind Apply_results.successful_manager_operation_result * Alpha_context.packed_internal_operation list, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val precheck_manager_contents : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> 'kind Alpha_context.Kind.manager Alpha_context.contents -> (Alpha_context.context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val apply_manager_contents : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> Script_ir_translator.unparsing_mode -> Tezos_crypto.Chain_id.t -> 'kind Alpha_context.Kind.manager Alpha_context.contents -> ([ `Failure | `Success of Alpha_context.context ] * 'kind Apply_results.manager_operation_result * Apply_results.packed_internal_operation_result list) Lwt.t
val skipped_operation_result : 'kind. 'kind Alpha_context.manager_operation -> 'kind Apply_results.manager_operation_result
val precheck_manager_contents_list : 'kind. Alpha_context.t -> 'kind Alpha_context.Kind.manager Alpha_context.contents_list -> (Alpha_context.context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val check_manager_signature : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> Tezos_crypto.Chain_id.t -> 'a Alpha_context.Kind.manager Alpha_context.contents_list -> 'b Tezos_raw_protocol_007_PsDELPH1__Alpha_context.operation -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val apply_contents_list : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> Tezos_crypto.Chain_id.t -> Script_ir_translator.unparsing_mode -> Tezos_crypto.Block_hash.t -> Tezos_crypto.Signature.public_key_hash -> 'kind Alpha_context.operation -> 'kind Alpha_context.contents_list -> (Alpha_context.context * 'kind Apply_results.contents_result_list, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val apply_operation : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> Tezos_crypto.Chain_id.t -> Script_ir_translator.unparsing_mode -> Tezos_crypto.Block_hash.t -> Tezos_crypto.Signature.public_key_hash -> Tezos_crypto.Operation_hash.t -> 'a Alpha_context.operation -> (Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t * 'a Apply_results.operation_metadata, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val may_snapshot_roll : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> (Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val may_start_new_cycle : Alpha_context.context -> (Alpha_context.context * Alpha_context.Delegate.balance_updates * Tezos_crypto.Signature.public_key_hash list, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val begin_full_construction : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> Tezos_base.Time.Protocol.t -> Alpha_context.Block_header.contents -> (Alpha_context.context * Alpha_context.Block_header.contents * Alpha_context.public_key * Alpha_context.Period.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val begin_partial_construction : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> (Alpha_context.context, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val begin_application : Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t -> Tezos_crypto.Chain_id.t -> Alpha_context.Block_header.t -> Tezos_base.Time.Protocol.t -> (Alpha_context.context * Alpha_context.public_key * Alpha_context.Period.t, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t
val check_minimum_endorsements : Alpha_context.context -> Alpha_context.Block_header.contents -> Alpha_context.Period.t -> int -> (unit, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result
val finalize_application : Alpha_context.context -> Alpha_context.Block_header.contents -> Tezos_crypto.Signature.public_key_hash -> block_delay:Alpha_context.Period.t -> (Alpha_context.context * Apply_results.block_metadata, Tezos_protocol_environment_007_PsDELPH1__Environment.Error_monad.error list) result Lwt.t