tezos-protocol-008-PtEdoTez 20.1 (latest)

Tezos Protocol Implementation - Main Entry Points

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Wrong_voting_period of int32 * int32

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Wrong_endorsement_predecessor of Tezos_protocol_environment_008_PtEdoTez.Block_hash.t * Tezos_protocol_environment_008_PtEdoTez.Block_hash.t

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Duplicate_endorsement of Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Invalid_endorsement_level

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Invalid_commitment of {
1. expected : bool;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Internal_operation_replay of Alpha_context.packed_internal_operation

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Invalid_double_endorsement_evidence

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Inconsistent_double_endorsement_evidence of {
1. delegate1 : Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t;
2. delegate2 : Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Unrequired_double_endorsement_evidence

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Too_early_double_endorsement_evidence of {
1. level : Alpha_context.Raw_level.t;
2. current : Alpha_context.Raw_level.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Outdated_double_endorsement_evidence of {
1. level : Alpha_context.Raw_level.t;
2. last : Alpha_context.Raw_level.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Invalid_double_baking_evidence of {
1. hash1 : Tezos_protocol_environment_008_PtEdoTez.Block_hash.t;
2. level1 : Tezos_protocol_environment_008_PtEdoTez.Int32.t;
3. hash2 : Tezos_protocol_environment_008_PtEdoTez.Block_hash.t;
4. level2 : Tezos_protocol_environment_008_PtEdoTez.Int32.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Inconsistent_double_baking_evidence of {
1. delegate1 : Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t;
2. delegate2 : Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Unrequired_double_baking_evidence

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Too_early_double_baking_evidence of {
1. level : Alpha_context.Raw_level.t;
2. current : Alpha_context.Raw_level.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Outdated_double_baking_evidence of {
1. level : Alpha_context.Raw_level.t;
2. last : Alpha_context.Raw_level.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Invalid_activation of {
1. pkh : Tezos_protocol_environment_008_PtEdoTez.Ed25519.Public_key_hash.t;
}

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Multiple_revelation

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Gas_quota_exceeded_init_deserialize

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Inconsistent_sources

type Tezos_protocol_environment_008_PtEdoTez.Error_monad.error +=

| Not_enough_endorsements_for_priority of {
1. required : int;
2. priority : int;
3. endorsements : int;
4. timestamp : Tezos_protocol_environment_008_PtEdoTez.Time.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_protocol_environment_008_PtEdoTez.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_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

type success_or_failure =

| Success of Alpha_context.context
| Failure

val apply_internal_manager_operations : 
  Alpha_context.context ->
  Script_ir_translator.unparsing_mode ->
  payer:Alpha_context.Contract.t ->
  chain_id:Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  Alpha_context.packed_internal_operation list ->
  (success_or_failure * Apply_results.packed_internal_operation_result list)
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val precheck_manager_contents : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  'kind Alpha_context.Kind.manager Alpha_context.contents ->
  Alpha_context.context
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val apply_manager_contents : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Script_ir_translator.unparsing_mode ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  'kind Alpha_context.Kind.manager Alpha_context.contents ->
  (success_or_failure
   * 'kind0 Apply_results.manager_operation_result
   * Apply_results.packed_internal_operation_result list)
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val skipped_operation_result : 
  'kind. 'kind Alpha_context.manager_operation ->
  'kind Apply_results.manager_operation_result

val mark_skipped : 
  'kind. baker:
           Tezos_protocol_environment_008_PtEdoTez.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_list

val precheck_manager_contents_list : 
  'kind. Alpha_context.t ->
  'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
  Alpha_context.context
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val check_manager_signature : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  'a Alpha_context.Kind.manager Alpha_context.contents_list ->
  'b Tezos_raw_protocol_008_PtEdoTez__Alpha_context.operation ->
  (unit,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val apply_manager_contents_list_rec : 
  'kind. Alpha_context.t ->
  Script_ir_translator.unparsing_mode ->
  Alpha_context.public_key_hash ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
  (success_or_failure
   * 'kind Alpha_context.Kind.manager Apply_results.contents_result_list)
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val mark_backtracked : 
  'a Alpha_context.Kind.manager Apply_results.contents_result_list ->
  'a Alpha_context.Kind.manager Apply_results.contents_result_list

val apply_manager_contents_list : 
  Alpha_context.t ->
  Script_ir_translator.unparsing_mode ->
  Alpha_context.public_key_hash ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  'a Alpha_context.Kind.manager Alpha_context.contents_list ->
  (Alpha_context.t
   * 'b Alpha_context.Kind.manager Apply_results.contents_result_list)
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val apply_contents_list : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  Script_ir_translator.unparsing_mode ->
  Tezos_protocol_environment_008_PtEdoTez.Block_hash.t ->
  Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t ->
  'kind Alpha_context.operation ->
  'kind0 Alpha_context.contents_list ->
  (Alpha_context.context * 'kind1 Apply_results.contents_result_list)
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val apply_operation : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  Script_ir_translator.unparsing_mode ->
  Tezos_protocol_environment_008_PtEdoTez.Block_hash.t ->
  Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t ->
  Tezos_protocol_environment_008_PtEdoTez.Operation_hash.t ->
  'a Alpha_context.operation ->
  (Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t
   * 'b Apply_results.operation_metadata,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val may_snapshot_roll : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val may_start_new_cycle : 
  Alpha_context.context ->
  (Alpha_context.context
   * Alpha_context.Delegate.balance_updates
   * Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t list,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val endorsement_rights_of_pred_level : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  (Alpha_context.public_key * int list * bool)
    Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.Map.t
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val begin_full_construction : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Tezos_protocol_environment_008_PtEdoTez.Time.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_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val begin_partial_construction : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  (Alpha_context.context,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val begin_application : 
  Tezos_raw_protocol_008_PtEdoTez__Alpha_context.t ->
  Tezos_protocol_environment_008_PtEdoTez.Chain_id.t ->
  Alpha_context.Block_header.t ->
  Tezos_protocol_environment_008_PtEdoTez.Time.t ->
  (Alpha_context.context * Alpha_context.public_key * Alpha_context.Period.t,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val check_minimum_endorsements : 
  Alpha_context.context ->
  Alpha_context.Block_header.contents ->
  Alpha_context.Period.t ->
  Tezos_protocol_environment_008_PtEdoTez.Compare.Int.t ->
  (unit,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result

val finalize_application : 
  Alpha_context.context ->
  Alpha_context.Block_header.contents ->
  Tezos_protocol_environment_008_PtEdoTez.Signature.Public_key_hash.t ->
  block_delay:Alpha_context.Period.t ->
  (Alpha_context.context * Apply_results.block_metadata,
    Tezos_protocol_environment_008_PtEdoTez.Error_monad.error
      Tezos_protocol_environment_008_PtEdoTez.Error_monad.trace)
    Tezos_protocol_environment_008_PtEdoTez.Pervasives.result
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

package tezos-protocol-008-PtEdoTez