package tezos-protocol-003-PsddFKi3

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

Source

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

Source

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

Source

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

Source

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

Source

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_list

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

package tezos-protocol-003-PsddFKi3

Module Tezos_raw_protocol_003_PsddFKi3.ApplySource

Module `Tezos_raw_protocol_003_PsddFKi3.Apply`Source