package octez-protocol-018-Proxford-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module S : sig ... end
module type UNPARSING_MODE = sig ... end
module Unparse_types : sig ... end
module Normalize_stack : sig ... end
type Tezos_protocol_018_Proxford.Environment.Error_monad.error +=
  1. | Run_operation_does_not_support_consensus_operations

Validate and apply the operation but skip signature checks; do not support consensus operations.

Return the unchanged operation protocol data, and the operation receipt ie. metadata containing balance updates, consumed gas, application success or failure, etc.

val default_from_context : 'a -> ('b -> ('c, 'd) result Lwt.t) -> 'e option -> ('c, 'd) result Lwt.t
val register : unit -> unit
val run_code : unparsing_mode: Tezos_protocol_018_Proxford.Protocol.Script_ir_unparser.unparsing_mode option -> gas: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.Arith.integral option -> entrypoint:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Entrypoint.t -> balance:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t option -> other_contracts:S.other_contract_description list option -> extra_big_maps:S.extra_big_map_description list option -> script:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_018_Proxford.Environment.Chain_id.t -> sender:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t option -> payer: Tezos_protocol_environment_018_Proxford.Signature.Public_key_hash.t option -> self:Tezos_raw_protocol_018_Proxford.Contract_hash.t option -> now:Tezos_protocol_018_Proxford.Protocol.Script_timestamp.t option -> level: Tezos_protocol_018_Proxford.Protocol.Script_int.n Tezos_protocol_018_Proxford.Protocol.Script_int.num option -> 'a Tezos_protocol_018_Proxford.Environment.RPC_context.simple -> 'b -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr * Tezos_protocol_018_Proxford.Protocol.Apply_internal_results.packed_internal_operation list * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_protocol_environment_018_Proxford.Error_monad.shell_tzresult Tezos_protocol_environment_018_Proxford.Lwt.t
val trace_code : unparsing_mode: Tezos_protocol_018_Proxford.Protocol.Script_ir_unparser.unparsing_mode option -> gas: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.Arith.integral option -> entrypoint:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Entrypoint.t -> balance:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t option -> other_contracts:S.other_contract_description list option -> extra_big_maps:S.extra_big_map_description list option -> script:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_018_Proxford.Environment.Chain_id.t -> sender:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t option -> payer: Tezos_protocol_environment_018_Proxford.Signature.Public_key_hash.t option -> self:Tezos_raw_protocol_018_Proxford.Contract_hash.t option -> now:Tezos_protocol_018_Proxford.Protocol.Script_timestamp.t option -> level: Tezos_protocol_018_Proxford.Protocol.Script_int.n Tezos_protocol_018_Proxford.Protocol.Script_int.num option -> 'a Tezos_protocol_018_Proxford.Environment.RPC_context.simple -> 'b -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr * Tezos_protocol_018_Proxford.Protocol.Apply_internal_results.packed_internal_operation list * Tezos_protocol_018_Proxford.Protocol.Script_typed_ir.execution_trace * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_protocol_environment_018_Proxford.Error_monad.shell_tzresult Tezos_protocol_environment_018_Proxford.Lwt.t
val run_instr : gas: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.Arith.integral option -> legacy:bool -> input: (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr) list -> code:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr -> chain_id:Tezos_protocol_018_Proxford.Environment.Chain_id.t -> now:Tezos_protocol_018_Proxford.Protocol.Script_timestamp.t option -> level: Tezos_protocol_018_Proxford.Protocol.Script_int.n Tezos_protocol_018_Proxford.Protocol.Script_int.num option -> unparsing_mode: Tezos_protocol_018_Proxford.Protocol.Script_ir_unparser.unparsing_mode option -> source: Tezos_protocol_environment_018_Proxford.Signature.Public_key_hash.t option -> sender:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t option -> self:Tezos_raw_protocol_018_Proxford.Contract_hash.t option -> parameter: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr option -> amount:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> balance:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t option -> other_contracts:S.other_contract_description list option -> extra_big_maps:S.extra_big_map_description list option -> 'a Tezos_protocol_018_Proxford.Environment.RPC_context.simple -> 'b -> ((Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.expr) list * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Gas.t) Tezos_protocol_environment_018_Proxford.Error_monad.shell_tzresult Tezos_protocol_environment_018_Proxford.Lwt.t
OCaml

Innovation. Community. Security.