package tezos-protocol-010-PtGRANAD

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.t

Source

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.t

Source

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.t

Source

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.t

Source

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.t

Source

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.t

Source

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.t

Source

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

package tezos-protocol-010-PtGRANAD

Module Tezos_raw_protocol_010_PtGRANAD.ApplySource

Module `Tezos_raw_protocol_010_PtGRANAD.Apply`Source