Module `Tezos_raw_protocol_009_PsFLoren.Apply`Source

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Wrong_endorsement_predecessor of Tezos_protocol_environment_009_PsFLoren.Block_hash.t * Tezos_protocol_environment_009_PsFLoren.Block_hash.t

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Duplicate_endorsement of Tezos_protocol_environment_009_PsFLoren.Signature.Public_key_hash.t

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Invalid_endorsement_level

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Unwrapped_endorsement

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Invalid_commitment of {
1. expected : bool;
}

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Internal_operation_replay of Alpha_context.packed_internal_operation

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Invalid_double_endorsement_evidence

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

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

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Gas_quota_exceeded_init_deserialize

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Inconsistent_sources

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Not_enough_endorsements_for_priority of {
1. required : int;
2. priority : int;
3. endorsements : int;
4. timestamp : Tezos_protocol_environment_009_PsFLoren.Time.t;
}

Sourcetype Tezos_protocol_environment_009_PsFLoren.Error_monad.error +=

| Failing_noop_error

Source

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

Source

val begin_full_construction : 
  Alpha_context.t ->
  Tezos_protocol_environment_009_PsFLoren.Time.t ->
  Alpha_context.Block_header.contents ->
  (Alpha_context.t
   * Alpha_context.Block_header.contents
   * Alpha_context.public_key
   * Alpha_context.Period.t,
    Tezos_protocol_environment_009_PsFLoren.Error_monad.error
      Tezos_protocol_environment_009_PsFLoren.Error_monad.trace)
    Tezos_protocol_environment_009_PsFLoren.Pervasives.result
    Tezos_protocol_environment_009_PsFLoren.Lwt.t

Source

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

Source

val apply_operation : 
  Alpha_context.t ->
  Tezos_protocol_environment_009_PsFLoren.Chain_id.t ->
  Script_ir_translator.unparsing_mode ->
  Tezos_protocol_environment_009_PsFLoren.Block_hash.t ->
  Alpha_context.public_key_hash ->
  Tezos_protocol_environment_009_PsFLoren.Operation_list_hash.elt ->
  'a Alpha_context.operation ->
  (Alpha_context.t * 'a Apply_results.operation_metadata,
    Tezos_protocol_environment_009_PsFLoren.Error_monad.error
      Tezos_protocol_environment_009_PsFLoren.Error_monad.trace)
    Tezos_protocol_environment_009_PsFLoren.Pervasives.result
    Tezos_protocol_environment_009_PsFLoren.Lwt.t

Source

val finalize_application : 
  Alpha_context.t ->
  Alpha_context.Block_header.contents ->
  Alpha_context.public_key_hash ->
  block_delay:Alpha_context.Period.t ->
  Alpha_context.Receipt.balance_updates ->
  (Alpha_context.t * Apply_results.block_metadata,
    Tezos_protocol_environment_009_PsFLoren.Error_monad.error
      Tezos_protocol_environment_009_PsFLoren.Error_monad.trace)
    Tezos_protocol_environment_009_PsFLoren.Pervasives.result
    Tezos_protocol_environment_009_PsFLoren.Lwt.t

Source

val apply_manager_contents_list : 
  Alpha_context.t ->
  Script_ir_translator.unparsing_mode ->
  Alpha_context.public_key_hash ->
  Tezos_protocol_environment_009_PsFLoren.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_009_PsFLoren.Lwt.t

Source

val apply_contents_list : 
  Alpha_context.t ->
  Tezos_protocol_environment_009_PsFLoren.Chain_id.t ->
  Script_ir_translator.unparsing_mode ->
  Tezos_protocol_environment_009_PsFLoren.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_009_PsFLoren.Error_monad.tzresult
    Tezos_protocol_environment_009_PsFLoren.Lwt.t

Source

val check_minimum_endorsements : 
  Alpha_context.t ->
  Alpha_context.Block_header.contents ->
  Alpha_context.Period.t ->
  int ->
  (unit,
    Tezos_protocol_environment_009_PsFLoren.Error_monad.error
      Tezos_protocol_environment_009_PsFLoren.Error_monad.trace)
    Tezos_protocol_environment_009_PsFLoren.Pervasives.result

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-009-PsFLoren.raw/Tezos_raw_protocol_009_PsFLoren/Apply/index.html

Module `Tezos_raw_protocol_009_PsFLoren.Apply`Source

package tezos-protocol-009-PsFLoren

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-009-PsFLoren.raw/Tezos_raw_protocol_009_PsFLoren/Apply/index.html

Module Tezos_raw_protocol_009_PsFLoren.ApplySource

Module `Tezos_raw_protocol_009_PsFLoren.Apply`Source