Tezos_services (octez-evm-node-libs.Evm_node_lib_dev_tezlink.Tezos

include module type of struct include Tezlink_imports end

module Zero_protocol = Evm_node_lib_dev_tezlink.Tezlink_imports.Zero_protocol

module Genesis_protocol =
  Evm_node_lib_dev_tezlink.Tezlink_imports.Genesis_protocol

module Imported_protocol_plugin =
  Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol_plugin

module Imported_protocol_parameters =
  Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol_parameters

module Imported_env = Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_env

module Alpha_context = Evm_node_lib_dev_tezlink.Tezlink_imports.Alpha_context

module Protocol_types : sig ... end

module type BLOCK_SERVICES = sig ... end

module Imported_protocol : sig ... end

We add to Imported_protocol the mocked protocol data used in headers

module Make_block_service
  (Proto : Tezos_shell_services.Block_services.PROTO)
  (Next_proto : Tezos_shell_services.Block_services.PROTO) : 
  sig ... end

module Block_services : sig ... end

module Zero_block_services : sig ... end

module Genesis_block_services : sig ... end

val wrap : 
  ('a -> ('b, 'c) Stdlib.result) ->
  ('d -> 'e -> 'f -> ('a, 'c) Stdlib.result Lwt.t) ->
  'd ->
  'e ->
  'f ->
  ('b, 'c) Stdlib.result Lwt.t

wrap conversion service_implementation changes the output type of service_implementation using conversion.

val import_service : 
  ([< Resto.meth ] as 'a, 'b, 'b, 'c, 'd, 'e, 'f) Tezos_rpc.Service.raw ->
  ('a, 'g, 'g, 'c, 'd, 'e, 'f) Tezos_rpc.Service.raw

import_service s makes it possible to substitute new prefix and param types in the signature of the service s.

val import_service_with_arg : 
  ([< Resto.meth ] as 'a, 'b, 'b * 'c, 'd, 'e, 'f, 'g) Tezos_rpc.Service.raw ->
  ('a, 'h, 'h * 'c, 'd, 'e, 'f, 'g) Tezos_rpc.Service.raw

import_service_with_arg s makes it possible to substitute new prefix types in the signature of the service s. It also substitute the param but keeps the last arg of the n-uplet intact.

type block = Tezos_shell_services.Block_services.block

type chain = Tezos_shell_services.Chain_services.chain

type tezlink_rpc_context = {

block : block;
chain : chain;

}

val make_env : chain -> block -> tezlink_rpc_context Lwt.t

Builds a tezlink_rpc_context from paths parameters.

module Tezlink_protocols : sig ... end

module Constants_services : sig ... end

module Adaptive_issuance_services : sig ... end

module Raw_services : sig ... end

module Protocol_plugin_services =
  Evm_node_lib_dev_tezlink.Tezlink_mock.Imported_protocol_plugin.RPC.S

type level_query = Protocol_plugin_services.level_query = {

offset : int32;

}

val current_level : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    level_query,
    unit,
    Protocol_types.Level.t)
    Tezos_rpc.Service.t

val version : 
  ([ `GET ], unit, unit, unit, unit, Tezos_version.Octez_node_version.t)
    Tezos_rpc.Service.t

val protocols : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    unit,
    unit,
    Tezlink_protocols.protocols)
    Tezos_rpc.Service.t

val contract_info : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context * Tezos_types.Contract.t,
    Evm_node_lib_dev_tezlink.Tezlink_mock.Imported_protocol_plugin.Contract_services.S.normalize_types_query,
    unit,
    Evm_node_lib_dev_tezlink.Tezlink_mock.Imported_protocol_plugin.Contract_services.info)
    Tezos_rpc.Service.t

val balance : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context * Tezos_types.Contract.t,
    unit,
    unit,
    Tezos_types.Tez.t)
    Tezos_rpc.Service.t

val manager_key : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context * Tezos_types.Contract.t,
    unit,
    unit,
    Protocol_types.Alpha_context.public_key option)
    Tezos_rpc.Service.t

val counter : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context * Tezos_types.Contract.t,
    unit,
    unit,
    Protocol_types.Counter.t)
    Tezos_rpc.Service.t

val constants : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    unit,
    unit,
    Protocol_types.Alpha_context.Constants.t)
    Tezos_rpc.Service.t

val hash : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    unit,
    unit,
    Tezos_base.TzPervasives.Block_hash.t)
    Tezos_rpc.Service.t

val chain_id : 
  ([ `GET ], chain, chain, unit, unit, Tezos_base.TzPervasives.Chain_id.t)
    Tezos_rpc.Service.t

val header : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    unit,
    unit,
    Block_services.block_header)
    Tezos_rpc.Service.t

val shell_header : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    unit,
    unit,
    Tezos_base.TzPervasives.Block_header.shell_header)
    Tezos_rpc.Service.t

val operation_hashes : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    unit,
    unit,
    Tezos_base.TzPervasives.Operation_hash.t list list)
    Tezos_rpc.Service.t

val operation : 
  ([ `GET ],
    tezlink_rpc_context,
    (tezlink_rpc_context * int) * int,
    < force_metadata : bool
    ; metadata : [ `Always | `Never ] option
    ; version : Tezos_shell_services.Block_services.version >,
    unit,
    Tezos_shell_services.Block_services.version * Block_services.operation)
    Tezos_rpc.Service.t

val bootstrapped : 
  ([ `GET ],
    unit,
    unit,
    unit,
    unit,
    Tezos_base.TzPervasives.Block_hash.t
    * Tezos_base.TzPervasives.Time.Protocol.t)
    Tezos_rpc.Service.t

val simulate_operation : 
  ([ `POST ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    < successor_level : bool
    ; version : 
      Evm_node_lib_dev_tezlink.Tezlink_mock.Imported_protocol_plugin.RPC.version
        option >,
    int32 option
    * Evm_node_lib_dev_tezlink.Tezlink_mock.Alpha_context.packed_operation
    * Tezos_base.TzPervasives.Chain_id.t
    * int,
    Evm_node_lib_dev_tezlink.Tezlink_mock.Alpha_context.packed_protocol_data
    * Imported_protocol.operation_receipt)
    Tezos_rpc.Service.t

val monitor_heads : 
  ([ `GET ],
    unit,
    unit * chain,
    < next_protocols : Tezos_base.TzPervasives.Protocol_hash.t list
    ; protocols : Tezos_base.TzPervasives.Protocol_hash.t list >,
    unit,
    Tezos_base.TzPervasives.Block_hash.t
    * Tezos_base.TzPervasives.Block_header.t)
    Tezos_rpc.Service.t

val get_storage_normalized : 
  ([ `POST ],
    tezlink_rpc_context,
    tezlink_rpc_context * Tezos_types.Contract.t,
    unit,
    Imported_protocol.Script_ir_unparser.unparsing_mode,
    Evm_node_lib_dev_tezlink.Tezlink_mock.Alpha_context.Script.expr option)
    Tezos_rpc.Service.t

val injection_operation : 
  ([ `POST ],
    unit,
    unit,
    < async : bool
    ; chain : chain option >,
    bytes,
    Tezos_base.TzPervasives.Operation_hash.t)
    Tezos_rpc.Service.t

val preapply_operations : 
  ([ `POST ],
    tezlink_rpc_context,
    tezlink_rpc_context,
    < version : Tezlink_protocols.Shell_impl.version >,
    Protocol_types.Alpha_context.packed_operation list,
    Tezlink_protocols.Shell_impl.version
    * (Protocol_types.Alpha_context.packed_protocol_data
       * Imported_protocol.operation_receipt)
        list)
    Tezos_rpc.Service.t

val raw_json_cycle : 
  ([ `GET ],
    tezlink_rpc_context,
    tezlink_rpc_context * Imported_protocol.Cycle_repr.t,
    unit,
    unit,
    Tezlink_mock.Storage_repr.Cycle.storage_cycle)
    Tezos_rpc.Service.t