package tezos-protocol-003-PsddFKi3
Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-003-PsddFKi3.raw/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