Tezos_protocol_plugin_013_PtJakart.Plugin.RPC.Scripts · tezos-protocol-plugin-013-PtJakart 13.0

module S : sig ... end

module type UNPARSING_MODE = sig ... end

module Traced_interpreter (Unparsing_mode : UNPARSING_MODE) : sig ... end

module Unparse_types : sig ... end

val run_operation_service : 
  Tezos_raw_protocol_013_PtJakart__Alpha_context.t ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_operation
   * Tezos_crypto.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__Environment.Error_monad.error
      Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.trace )
    result
    Lwt.t

val simulate_operation_service : 
  Tezos_raw_protocol_013_PtJakart__Alpha_context.t ->
  < successor_level : bool > ->
  (int32 option
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.packed_operation
   * Tezos_crypto.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__Environment.Error_monad.error
      Tezos_protocol_environment_013_PtJakart__Environment.Error_monad.trace )
    result
    Lwt.t

val default_from_context : 
  'a ->
  ( 'a -> ( 'b, 'c ) result Lwt.t ) ->
  'b option ->
  ( 'b, 'c ) result Lwt.t

type run_code_config = {

balance : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t;

self : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t;

payer : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t;

source : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t;

}

val default_balance : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t

val register : unit -> unit

val 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.Protocol.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.Protocol.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_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.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.Protocol.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_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val run_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.Protocol.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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.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_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( int, Tezos_base.TzPervasives.Error_monad.tztrace ) result Lwt.t

val 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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( bytes * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.t,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val normalize_type : 
  ty:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr ->
  'a Tezos_protocol_013_PtJakart.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val run_operation : 
  op:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Operation.packed ->
  chain_id:Tezos_protocol_013_PtJakart.Protocol.Environment.Chain_id.t ->
  'a Tezos_protocol_013_PtJakart.Protocol.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_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val simulate_operation : 
  op:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Operation.packed ->
  chain_id:Tezos_protocol_013_PtJakart.Protocol.Environment.Chain_id.t ->
  latency:int ->
  ?successor_level:bool ->
  ?blocks_before_activation:int32 ->
  'a Tezos_protocol_013_PtJakart.Protocol.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_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val 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.Protocol.Environment.RPC_context.simple ->
  'a ->
  ( Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr,
    Tezos_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_013_PtJakart.Protocol.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_base.TzPervasives.Error_monad.tztrace )
    result
    Lwt.t

tezos-protocol-plugin-013-PtJakart 15.1 15.0 14.0 13.0

tezos-protocol-plugin-013-PtJakart