package octez-protocol-014-PtKathma-libs

  1. Overview
  2. Docs
Octez protocol 014-PtKathma 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-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/octez-protocol-014-PtKathma-libs.plugin/Tezos_protocol_plugin_014_PtKathma/RPC/Scripts/index.html

Module RPC.ScriptsSource

Sourcemodule S : sig ... end
Sourcemodule type UNPARSING_MODE = sig ... end
Sourcemodule Unparse_types : sig ... end
Sourceval pp_instr_name : 'a 'b 'c 'd. Tezos_protocol_014_PtKathma.Environment.Format.formatter -> ('a, 'b, 'c, 'd) Tezos_protocol_014_PtKathma.Protocol.Script_typed_ir.kinstr -> unit
Sourceval run_operation_service : Tezos_raw_protocol_014_PtKathma__Alpha_context.context -> unit -> (Tezos_protocol_014_PtKathma.Protocol.Alpha_context.packed_operation * Tezos_protocol_environment_014_PtKathma.Chain_id.t) -> (Tezos_protocol_014_PtKathma.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_014_PtKathma.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_014_PtKathma.Error_monad.error Tezos_protocol_environment_014_PtKathma.Error_monad.trace) Tezos_protocol_environment_014_PtKathma.Pervasives.result Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval simulate_operation_service : Tezos_raw_protocol_014_PtKathma__Alpha_context.context -> < successor_level : bool > -> (int32 option * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.packed_operation * Tezos_protocol_environment_014_PtKathma.Chain_id.t * int) -> (Tezos_protocol_014_PtKathma.Protocol.Alpha_context.packed_protocol_data * Tezos_protocol_014_PtKathma.Protocol.Apply_results.packed_operation_metadata, Tezos_protocol_environment_014_PtKathma.Error_monad.error Tezos_protocol_environment_014_PtKathma.Error_monad.trace) Tezos_protocol_environment_014_PtKathma.Pervasives.result Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval default_from_context : 'a -> ('a -> ('b, 'c) Tezos_protocol_environment_014_PtKathma.Pervasives.result Tezos_protocol_environment_014_PtKathma.Lwt.t) -> 'b option -> ('b, 'c) Tezos_protocol_environment_014_PtKathma.Pervasives.result Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourcetype run_code_config = {
  1. balance : Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Tez.t;
  2. self : Tezos_protocol_014_PtKathma.Protocol.Contract_hash.t;
  3. payer : Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t;
  4. source : Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t;
}
Sourceval default_balance : Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Tez.t
Sourceval register : unit -> unit
Sourceval run_code : ?unparsing_mode: Tezos_protocol_014_PtKathma.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Entrypoint.t -> ?balance:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Tez.t -> script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_014_PtKathma.Environment.Chain_id.t -> source:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t option -> self:Tezos_raw_protocol_014_PtKathma.Contract_hash.t option -> now:Tezos_protocol_014_PtKathma.Protocol.Script_timestamp.t option -> level: Tezos_protocol_014_PtKathma.Protocol.Script_int.n Tezos_protocol_014_PtKathma.Protocol.Script_int.num option -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr * Tezos_protocol_014_PtKathma.Protocol.Apply_internal_results.packed_internal_contents list * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval trace_code : ?unparsing_mode: Tezos_protocol_014_PtKathma.Protocol.Script_ir_translator.unparsing_mode -> ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> ?entrypoint:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Entrypoint.t -> ?balance:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Tez.t -> script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> input:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> amount:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Tez.t -> chain_id:Tezos_protocol_014_PtKathma.Environment.Chain_id.t -> source:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t option -> payer:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t option -> self:Tezos_raw_protocol_014_PtKathma.Contract_hash.t option -> now:Tezos_protocol_014_PtKathma.Protocol.Script_timestamp.t option -> level: Tezos_protocol_014_PtKathma.Protocol.Script_int.n Tezos_protocol_014_PtKathma.Protocol.Script_int.num option -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr * Tezos_protocol_014_PtKathma.Protocol.Apply_internal_results.packed_internal_contents list * (Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.location * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.t * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr list) list * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Lazy_storage.diffs option) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval run_tzip4_view : ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> contract:Tezos_raw_protocol_014_PtKathma.Contract_hash.t -> entrypoint:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Entrypoint.t -> input:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> chain_id:Tezos_protocol_014_PtKathma.Environment.Chain_id.t -> now:Tezos_protocol_014_PtKathma.Protocol.Script_timestamp.t option -> level: Tezos_protocol_014_PtKathma.Protocol.Script_int.n Tezos_protocol_014_PtKathma.Protocol.Script_int.num option -> ?source:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t -> unparsing_mode: Tezos_protocol_014_PtKathma.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval run_script_view : ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> contract:Tezos_raw_protocol_014_PtKathma.Contract_hash.t -> view:string -> input:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> ?unlimited_gas:bool -> chain_id:Tezos_protocol_014_PtKathma.Environment.Chain_id.t -> now:Tezos_protocol_014_PtKathma.Protocol.Script_timestamp.t option -> level: Tezos_protocol_014_PtKathma.Protocol.Script_int.n Tezos_protocol_014_PtKathma.Protocol.Script_int.num option -> ?source:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t -> ?payer:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Contract.t -> unparsing_mode: Tezos_protocol_014_PtKathma.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.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_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> ?show_types:bool -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> ((Tezos_raw_protocol_014_PtKathma.Alpha_context.Script.location * (Tezos_raw_protocol_014_PtKathma.Alpha_context.Script.expr list * Tezos_raw_protocol_014_PtKathma.Alpha_context.Script.expr list)) list * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.t) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval script_size : ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> storage:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> int Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval typecheck_data : ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> ?legacy:bool -> data:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> ty:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.t Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval pack_data : ?gas:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.Arith.integral -> data:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> ty:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> (Tezos_protocol_environment_014_PtKathma.Bytes.t * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Gas.t) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval normalize_data : ?legacy:bool -> data:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> ty:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> unparsing_mode: Tezos_protocol_014_PtKathma.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval normalize_script : script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> unparsing_mode: Tezos_protocol_014_PtKathma.Protocol.Script_ir_translator.unparsing_mode -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval normalize_type : ty:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval run_operation : op:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Operation.packed -> chain_id:Tezos_protocol_014_PtKathma.Environment.Chain_id.t -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> (Tezos_raw_protocol_014_PtKathma.Alpha_context.Operation.packed_protocol_data * Tezos_protocol_014_PtKathma.Protocol.Apply_results.packed_operation_metadata) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval simulate_operation : op:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Operation.packed -> chain_id:Tezos_protocol_014_PtKathma.Environment.Chain_id.t -> latency:int -> ?successor_level:bool -> ?blocks_before_activation:int32 -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> (Tezos_raw_protocol_014_PtKathma.Alpha_context.Operation.packed_protocol_data * Tezos_protocol_014_PtKathma.Protocol.Apply_results.packed_operation_metadata) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval entrypoint_type : script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> entrypoint:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Entrypoint.t -> 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.Lwt.t
Sourceval list_entrypoints : 'a Tezos_protocol_014_PtKathma.Environment.RPC_context.simple -> 'a -> script:Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr -> (Tezos_protocol_014_PtKathma.Protocol.Michelson_v1_primitives.prim list list * (string * Tezos_protocol_014_PtKathma.Protocol.Alpha_context.Script.expr) list) Tezos_protocol_environment_014_PtKathma.Error_monad.shell_tzresult Tezos_protocol_environment_014_PtKathma.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