package tezos-protocol-003-PsddFKi3

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

Tezos Protocol Implementation - Main Entry Points

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Wrong_voting_period of Alpha_context.Voting_period.t * Alpha_context.Voting_period.t
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Wrong_endorsement_predecessor of Tezos_base__TzPervasives.Block_hash.t * Tezos_base__TzPervasives.Block_hash.t
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Duplicate_endorsement of Tezos_base__TzPervasives.Signature.public_key_hash
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Invalid_endorsement_level
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Invalid_commitment of {
    1. expected : bool;
    }
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Internal_operation_replay of Alpha_context.packed_internal_operation
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Invalid_double_endorsement_evidence
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Inconsistent_double_endorsement_evidence of {
    1. delegate1 : Tezos_base__TzPervasives.Signature.public_key_hash;
    2. delegate2 : Tezos_base__TzPervasives.Signature.public_key_hash;
    }
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Unrequired_double_endorsement_evidence
type Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Invalid_double_baking_evidence of {
    1. hash1 : Tezos_base__TzPervasives.Block_hash.t;
    2. level1 : int32;
    3. hash2 : Tezos_base__TzPervasives.Block_hash.t;
    4. level2 : int32;
    }
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Inconsistent_double_baking_evidence of {
    1. delegate1 : Tezos_base__TzPervasives.Signature.public_key_hash;
    2. delegate2 : Tezos_base__TzPervasives.Signature.public_key_hash;
    }
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Unrequired_double_baking_evidence
type Tezos_protocol_environment_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Invalid_activation of {
    1. pkh : Tezos_base__TzPervasives.Ed25519.Public_key_hash.t;
    }
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Multiple_revelation
type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=
  1. | Gas_quota_exceeded_init_deserialize
val apply_manager_operation_content : 'kind. Alpha_context.t -> Script_ir_translator.unparsing_mode -> payer:Alpha_context.Contract.t -> source:Alpha_context.Contract.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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val precheck_manager_contents : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> Tezos_base__TzPervasives.Chain_id.t -> 'a Tezos_raw_protocol_003_PsddFKi3__Alpha_context.operation -> 'kind Alpha_context.Kind.manager Alpha_context.contents -> (Alpha_context.context, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val apply_manager_contents : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> Script_ir_translator.unparsing_mode -> '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 mark_skipped : 'kind. baker:Tezos_base__TzPervasives.Signature.public_key_hash -> Alpha_context.Level.t -> 'kind Alpha_context.Kind.manager Alpha_context.contents_list -> 'kind Alpha_context.Kind.manager Apply_results.contents_result_list
val precheck_manager_contents_list : 'kind. Alpha_context.t -> Tezos_base__TzPervasives.Chain_id.t -> 'a Alpha_context.Operation.t -> 'kind Alpha_context.Kind.manager Alpha_context.contents_list -> (Alpha_context.context, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val apply_contents_list : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> partial:bool -> Tezos_base__TzPervasives.Chain_id.t -> Script_ir_translator.unparsing_mode -> Tezos_base__TzPervasives.Block_hash.t -> Tezos_base__TzPervasives.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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val apply_operation : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> partial:bool -> Tezos_base__TzPervasives.Chain_id.t -> Script_ir_translator.unparsing_mode -> Tezos_base__TzPervasives.Block_hash.t -> Tezos_base__TzPervasives.Signature.public_key_hash -> Tezos_base__TzPervasives.Operation_hash.t -> 'a Alpha_context.operation -> (Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t * 'a Apply_results.operation_metadata, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val may_snapshot_roll : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> (Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val may_start_new_cycle : Alpha_context.context -> (Alpha_context.context * Alpha_context.Delegate.balance_updates * Tezos_base__TzPervasives.Signature.public_key_hash list, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val begin_full_construction : Alpha_context.context -> Tezos_base__TzPervasives.Time.Protocol.t -> Alpha_context.Block_header.contents -> (Alpha_context.context * Alpha_context.Block_header.contents * Alpha_context.public_key, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val begin_partial_construction : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> (Alpha_context.context, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val begin_application : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> Tezos_base__TzPervasives.Chain_id.t -> Alpha_context.Block_header.t -> Tezos_base__TzPervasives.Time.Protocol.t -> (Alpha_context.context * Alpha_context.public_key, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
val finalize_application : Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t -> Alpha_context.Block_header.contents -> Tezos_base__TzPervasives.Signature.public_key_hash -> (Alpha_context.context * Apply_results.block_metadata, Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct