package tezos-protocol-003-PsddFKi3
Tezos protocol 003-PsddFKi3 package
Install
dune-project
Dependency
Authors
Maintainers
Sources
tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Apply/index.html
Module Tezos_raw_protocol_003_PsddFKi3.ApplySource
Tezos Protocol Implementation - Main Entry Points
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Wrong_voting_period of Alpha_context.Voting_period.t * Alpha_context.Voting_period.t
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Wrong_endorsement_predecessor of Tezos_protocol_environment_003_PsddFKi3.Block_hash.t * Tezos_protocol_environment_003_PsddFKi3.Block_hash.t
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Duplicate_endorsement of Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Internal_operation_replay of Alpha_context.packed_internal_operation
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Inconsistent_double_endorsement_evidence of {delegate1 : Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Too_early_double_endorsement_evidence of {level : Alpha_context.Raw_level.t;current : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Outdated_double_endorsement_evidence of {level : Alpha_context.Raw_level.t;last : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Invalid_double_baking_evidence of {hash1 : Tezos_protocol_environment_003_PsddFKi3.Block_hash.t;level1 : Tezos_protocol_environment_003_PsddFKi3.Int32.t;hash2 : Tezos_protocol_environment_003_PsddFKi3.Block_hash.t;level2 : Tezos_protocol_environment_003_PsddFKi3.Int32.t;
}
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Inconsistent_double_baking_evidence of {delegate1 : Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Too_early_double_baking_evidence of {level : Alpha_context.Raw_level.t;current : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error += | Outdated_double_baking_evidence of {level : Alpha_context.Raw_level.t;last : Alpha_context.Raw_level.t;
}
Source
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.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val apply_internal_manager_operations :
Alpha_context.context ->
Script_ir_translator.unparsing_mode ->
payer:Alpha_context.Contract.t ->
Alpha_context.packed_internal_operation list ->
([> `Failure | `Success of Alpha_context.context ]
* Apply_results.packed_internal_operation_result list)
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val precheck_manager_contents :
Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t ->
Tezos_protocol_environment_003_PsddFKi3.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.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
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)
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val skipped_operation_result :
'kind. 'kind Alpha_context.manager_operation ->
'kind Apply_results.manager_operation_resultSource
val mark_skipped :
'kind. baker:
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t ->
Alpha_context.Level.t ->
'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
'kind Alpha_context.Kind.manager Apply_results.contents_result_listSource
val precheck_manager_contents_list :
'kind. Alpha_context.t ->
Tezos_protocol_environment_003_PsddFKi3.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.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val apply_manager_contents_list_rec :
'kind. Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Alpha_context.public_key_hash ->
'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
([ `Failure | `Success of Alpha_context.context ]
* 'kind Alpha_context.Kind.manager Apply_results.contents_result_list)
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val mark_backtracked :
'a Alpha_context.Kind.manager Apply_results.contents_result_list ->
'a Alpha_context.Kind.manager Apply_results.contents_result_listSource
val apply_manager_contents_list :
Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Alpha_context.public_key_hash ->
'a Alpha_context.Kind.manager Alpha_context.contents_list ->
(Alpha_context.t
* 'a Alpha_context.Kind.manager Apply_results.contents_result_list)
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val apply_contents_list :
Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t ->
partial:bool ->
Tezos_protocol_environment_003_PsddFKi3.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_003_PsddFKi3.Block_hash.t ->
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t ->
'kind Alpha_context.operation ->
'kind Alpha_context.contents_list ->
(Alpha_context.context * 'kind Apply_results.contents_result_list)
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val apply_operation :
Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t ->
partial:bool ->
Tezos_protocol_environment_003_PsddFKi3.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_003_PsddFKi3.Block_hash.t ->
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t ->
Tezos_protocol_environment_003_PsddFKi3.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.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
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.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val may_start_new_cycle :
Alpha_context.context ->
(Alpha_context.context
* Alpha_context.Delegate.balance_updates
* Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t list)
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val begin_full_construction :
Alpha_context.context ->
Tezos_protocol_environment_003_PsddFKi3.Time.t ->
Alpha_context.Block_header.contents ->
(Alpha_context.context
* Alpha_context.Block_header.contents
* Alpha_context.public_key)
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val begin_partial_construction :
Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t ->
Alpha_context.context
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val begin_application :
Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t ->
Tezos_protocol_environment_003_PsddFKi3.Chain_id.t ->
Alpha_context.Block_header.t ->
Tezos_protocol_environment_003_PsddFKi3.Time.t ->
(Alpha_context.context * Alpha_context.public_key)
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.tSource
val finalize_application :
Tezos_raw_protocol_003_PsddFKi3__Alpha_context.t ->
Alpha_context.Block_header.contents ->
Tezos_protocol_environment_003_PsddFKi3.Signature.Public_key_hash.t ->
(Alpha_context.context * Apply_results.block_metadata)
Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult
Tezos_protocol_environment_003_PsddFKi3.Lwt.t