package tezos-protocol-010-PtGRANAD
Tezos/Protocol: economic-protocol definition
Install
dune-project
Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-010-PtGRANAD.raw/Tezos_raw_protocol_010_PtGRANAD/Apply/index.html
Module Tezos_raw_protocol_010_PtGRANAD.ApplySource
Source
type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error += | Wrong_endorsement_predecessor of Tezos_protocol_environment_010_PtGRANAD.Block_hash.t * Tezos_protocol_environment_010_PtGRANAD.Block_hash.t
Source
type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error += | Duplicate_endorsement of Tezos_protocol_environment_010_PtGRANAD.Signature.Public_key_hash.t
Source
type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error += | Internal_operation_replay of Alpha_context.packed_internal_operation
Source
type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error += | Inconsistent_double_endorsement_evidence of {delegate1 : Tezos_protocol_environment_010_PtGRANAD.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_010_PtGRANAD.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_010_PtGRANAD.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_010_PtGRANAD.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_010_PtGRANAD.Error_monad.error += | Invalid_double_baking_evidence of {hash1 : Tezos_protocol_environment_010_PtGRANAD.Block_hash.t;level1 : Tezos_protocol_environment_010_PtGRANAD.Int32.t;hash2 : Tezos_protocol_environment_010_PtGRANAD.Block_hash.t;level2 : Tezos_protocol_environment_010_PtGRANAD.Int32.t;
}
Source
type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error += | Inconsistent_double_baking_evidence of {delegate1 : Tezos_protocol_environment_010_PtGRANAD.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_010_PtGRANAD.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_010_PtGRANAD.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_010_PtGRANAD.Error_monad.error += | Outdated_double_baking_evidence of {level : Alpha_context.Raw_level.t;last : Alpha_context.Raw_level.t;
}
Source
val begin_partial_construction :
Alpha_context.t ->
escape_vote:bool ->
(Alpha_context.t
* Apply_results.packed_successful_manager_operation_result list
* Alpha_context.Liquidity_baking.escape_ema)
Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult
Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val begin_full_construction :
Alpha_context.t ->
Tezos_protocol_environment_010_PtGRANAD.Time.t ->
Alpha_context.Block_header.contents ->
(Alpha_context.t
* Alpha_context.Block_header.contents
* Alpha_context.public_key
* Apply_results.packed_successful_manager_operation_result list
* Alpha_context.Liquidity_baking.escape_ema)
Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult
Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val begin_application :
Alpha_context.t ->
Tezos_protocol_environment_010_PtGRANAD.Chain_id.t ->
Alpha_context.Block_header.t ->
Tezos_protocol_environment_010_PtGRANAD.Time.t ->
(Alpha_context.t
* Alpha_context.public_key
* Apply_results.packed_successful_manager_operation_result list
* Alpha_context.Liquidity_baking.escape_ema)
Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult
Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val apply_operation :
Alpha_context.t ->
Tezos_protocol_environment_010_PtGRANAD.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_010_PtGRANAD.Block_hash.t ->
Alpha_context.public_key_hash ->
Tezos_protocol_environment_010_PtGRANAD.Operation_list_hash.elt ->
'a Alpha_context.operation ->
(Alpha_context.t * 'a Apply_results.operation_metadata,
Tezos_protocol_environment_010_PtGRANAD.Error_monad.error
Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
Tezos_protocol_environment_010_PtGRANAD.Pervasives.result
Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val finalize_application :
Alpha_context.t ->
Alpha_context.Block_header.contents ->
Alpha_context.public_key_hash ->
Alpha_context.Receipt.balance_updates ->
Alpha_context.Liquidity_baking.escape_ema ->
Apply_results.packed_successful_manager_operation_result list ->
(Alpha_context.t * Apply_results.block_metadata,
Tezos_protocol_environment_010_PtGRANAD.Error_monad.error
Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
Tezos_protocol_environment_010_PtGRANAD.Pervasives.result
Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val apply_manager_contents_list :
Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Alpha_context.public_key_hash ->
Tezos_protocol_environment_010_PtGRANAD.Chain_id.t ->
'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_010_PtGRANAD.Lwt.tSource
val apply_contents_list :
Alpha_context.t ->
Tezos_protocol_environment_010_PtGRANAD.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_010_PtGRANAD.Block_hash.t ->
Alpha_context.public_key_hash ->
'kind Alpha_context.operation ->
'kind Alpha_context.contents_list ->
(Alpha_context.t * 'kind Apply_results.contents_result_list)
Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult
Tezos_protocol_environment_010_PtGRANAD.Lwt.tSource
val check_minimal_valid_time :
Alpha_context.t ->
priority:int ->
endorsing_power:int ->
(unit,
Tezos_protocol_environment_010_PtGRANAD.Error_monad.error
Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace)
Tezos_protocol_environment_010_PtGRANAD.Pervasives.result