package octez-protocol-013-PtJakart-libs

  1. Overview
  2. Docs
Octez protocol 013-PtJakart libraries

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-protocol-013-PtJakart-libs.plugin/Tezos_protocol_plugin_013_PtJakart/Plugin/RPC/Scripts/index.html

Module RPC.ScriptsSource

Sourcemodule S : sig ... end
Sourcemodule type UNPARSING_MODE = sig ... end
Sourcemodule Unparse_types : sig ... end
Sourceval run_operation_service : Tezos_raw_protocol_013_PtJakart__Alpha_context.context -> unit -> (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_operation * Tezos_protocol_environment_013_PtJakart.Chain_id.t) -> (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_013_PtJakart.Error_monad.error Tezos_protocol_environment_013_PtJakart.Error_monad.trace) Tezos_protocol_environment_013_PtJakart.Pervasives.result Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval simulate_operation_service : Tezos_raw_protocol_013_PtJakart__Alpha_context.context -> < successor_level : bool > -> (int32 option * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_operation * Tezos_protocol_environment_013_PtJakart.Chain_id.t * int) -> (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_013_PtJakart.Error_monad.error Tezos_protocol_environment_013_PtJakart.Error_monad.trace) Tezos_protocol_environment_013_PtJakart.Pervasives.result Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval default_from_context : 'a -> ('a -> ('b, 'c) Tezos_protocol_environment_013_PtJakart.Pervasives.result Tezos_protocol_environment_013_PtJakart.Lwt.t) -> 'b option -> ('b, 'c) Tezos_protocol_environment_013_PtJakart.Pervasives.result Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourcetype run_code_config = {
  1. balance : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t;
  2. self : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t;
  3. payer : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t;
  4. source : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t;
}
Sourceval default_balance : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t
Sourceval register : unit -> unit
Sourceval run_code : ?unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t -> ?balance:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_013_PtJakart.Environment.Chain_id.t -> source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> self:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> now: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.n Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.num option -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_internal_contents list * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval trace_code : ?unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t -> ?balance:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_013_PtJakart.Environment.Chain_id.t -> source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> self:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t option -> now: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.n Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.num option -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_internal_contents list * (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.location * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr list) list * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval run_tzip4_view : ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> contract:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t -> entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t -> input:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> chain_id:Tezos_protocol_013_PtJakart.Environment.Chain_id.t -> now: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.n Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.num option -> ?source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t -> unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval run_script_view : ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> contract:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t -> view:string -> input:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> ?unlimited_gas:bool -> chain_id:Tezos_protocol_013_PtJakart.Environment.Chain_id.t -> now: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_timestamp.t option -> level: Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.n Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script_int.num option -> ?source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t -> unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t

run_script_view is an helper function to call the corresponding RPC. unlimited_gas is set to false by default.

Sourceval typecheck_code : ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> ?show_types:bool -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> ((Tezos_raw_protocol_013_PtJakart.Alpha_context.Script.location * (Tezos_raw_protocol_013_PtJakart.Alpha_context.Script.expr list * Tezos_raw_protocol_013_PtJakart.Alpha_context.Script.expr list)) list * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval script_size : ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> int Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval typecheck_data : ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> data:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> ty:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval pack_data : ?gas:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral -> data:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> ty:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_environment_013_PtJakart.Bytes.t * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval normalize_data : ?legacy:bool -> data:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> ty:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval normalize_script : script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> unparsing_mode: Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval normalize_type : ty:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval run_operation : op:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Operation.packed -> chain_id:Tezos_protocol_013_PtJakart.Environment.Chain_id.t -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> (Tezos_raw_protocol_013_PtJakart.Alpha_context.Operation.packed_protocol_data * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_operation_metadata) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval simulate_operation : op:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Operation.packed -> chain_id:Tezos_protocol_013_PtJakart.Environment.Chain_id.t -> latency:int -> ?successor_level:bool -> ?blocks_before_activation:int32 -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> (Tezos_raw_protocol_013_PtJakart.Alpha_context.Operation.packed_protocol_data * Tezos_protocol_013_PtJakart.Protocol.Apply_results.packed_operation_metadata) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval entrypoint_type : script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t -> 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
Sourceval list_entrypoints : 'a Tezos_protocol_013_PtJakart.Environment.RPC_context.simple -> 'a -> script:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr -> (Tezos_protocol_013_PtJakart.Protocol.Michelson_v1_primitives.prim list list * (string * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr) list) Tezos_protocol_environment_013_PtJakart.Error_monad.shell_tzresult Tezos_protocol_environment_013_PtJakart.Lwt.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct