package tezos-protocol-environment

You can search for identifiers within the package.

in-package search v0.2.0

Interface layer between the protocols and the shell

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-environment.structs/Tezos_protocol_environment_structs/V4/RPC_directory/index.html

Module `V4.RPC_directory`Source

include module type of struct include Tezos_rpc.Directory end

module Service : sig ... end

type step = Resto_directory.Make(Tezos_rpc__.RPC_encoding).step =

| Static of string
| Dynamic of Resto.Arg.descr
| DynamicTail of Resto.Arg.descr

Sourceexception Conflict of step list * Resto_directory.Make(Tezos_rpc__.RPC_encoding).conflict

type (!'query, !'input, !'output, !'error) types =
  ('query, 'input, 'output, 'error)
    Resto_directory.Make(Tezos_rpc__.RPC_encoding).types =
  {

query : 'query Resto.Query.t;
input : 'input Service.input;
output : 'output Tezos_rpc__.RPC_encoding.t;
error : 'error Tezos_rpc__.RPC_encoding.t;

}

type registered_service =
  Resto_directory.Make(Tezos_rpc__.RPC_encoding).registered_service =

| Service : {
1. types : ('q, 'i, 'o, 'e) types;
2. handler : 'q -> 'i -> ('o, 'e) Resto_directory.Answer.t Lwt.t;
} -> registered_service

type 'prefix t = 'prefix Resto_directory.Make(Tezos_rpc__.RPC_encoding).t

type 'prefix directory = 'prefix t

type lookup_error = [

| `Cannot_parse_path of string list * Resto.Arg.descr * string
| `Method_not_allowed of Resto.meth list
| `Not_found

]

val string_of_step : step -> string

val string_of_conflict_kind : 
  Resto_directory.Make(Tezos_rpc__.RPC_encoding).conflict ->
  string

val string_of_conflict : 
  (step list * Resto_directory.Make(Tezos_rpc__.RPC_encoding).conflict) ->
  string

val lookup : 
  'prefix directory ->
  'prefix ->
  Resto.meth ->
  string list ->
  (registered_service, [> lookup_error ]) result Lwt.t

val lookup_uri_desc : 
  'prefix directory ->
  'prefix ->
  Resto.meth ->
  string list ->
  (string, [> lookup_error ]) result Lwt.t

val allowed_methods : 
  'prefix directory ->
  'prefix ->
  string list ->
  (Resto.meth list, [> lookup_error ]) result Lwt.t

val transparent_lookup : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output, 'error)
    Service.t ->
  'params ->
  'query ->
  'input ->
  [> ('output, 'error) Resto_directory.Answer.t ] Lwt.t

val empty : 'prefix directory

val map : ('a -> 'b Lwt.t) -> 'b directory -> 'a directory

val prefix : ('pr, 'p) Resto.Path.path -> 'p directory -> 'pr directory

val register_dynamic_directory : 
  ?descr:string ->
  'prefix directory ->
  ('prefix, 'a) Resto.Path.path ->
  ('a -> 'a directory Lwt.t) ->
  'prefix directory

val register_dynamic_directory1 : 
  ?descr:string ->
  'prefix directory ->
  ('prefix, unit * 'a) Resto.Path.path ->
  ('a -> (unit * 'a) directory Lwt.t) ->
  'prefix directory

val register_dynamic_directory2 : 
  ?descr:string ->
  'prefix directory ->
  ('prefix, (unit * 'a) * 'b) Resto.Path.path ->
  ('a -> 'b -> ((unit * 'a) * 'b) directory Lwt.t) ->
  'prefix directory

val register_dynamic_directory3 : 
  ?descr:string ->
  'prefix directory ->
  ('prefix, ((unit * 'a) * 'b) * 'c) Resto.Path.path ->
  ('a -> 'b -> 'c -> (((unit * 'a) * 'b) * 'c) directory Lwt.t) ->
  'prefix directory

val register_describe_directory_service : 
  'prefix directory ->
  ('prefix, 'prefix, 'error) Service.description_service ->
  'prefix directory

val describe_directory : 
  recurse:bool ->
  ?arg:'a ->
  'a directory ->
  Tezos_rpc__.RPC_encoding.schema Resto.Description.directory Lwt.t

module Curry : sig ... end

val register : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('p -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val register_chunked : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('p -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val opt_register : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('p -> 'q -> 'i -> 'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val gen_register : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, 'params, 'query, 'input, 'output)
    Tezos_rpc__.RPC_service.t ->
  ('params -> 'query -> 'input -> [< 'output Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  'prefix directory

val lwt_register : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, 'p, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('p -> 'q -> 'i -> 'o Lwt.t) ->
  'prefix directory

val register0 : 
  unit directory ->
  ([< Resto.meth ], unit, unit, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  unit directory

val register0_chunked : 
  unit directory ->
  ([< Resto.meth ], unit, unit, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  unit directory

val register1 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('a -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val register2 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'q -> 'i -> 'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val register3 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'q ->
    'i ->
    'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val register4 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'd ->
    'q ->
    'i ->
    'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val register5 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'd ->
    'e ->
    'q ->
    'i ->
    'o Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val opt_register0 : 
  unit directory ->
  ([< Resto.meth ], unit, unit, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('q -> 'i -> 'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  unit directory

val opt_register1 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('a -> 'q -> 'i -> 'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val opt_register2 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'q ->
    'i ->
    'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val opt_register3 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'q ->
    'i ->
    'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val opt_register4 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'd ->
    'q ->
    'i ->
    'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val opt_register5 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'd ->
    'e ->
    'q ->
    'i ->
    'o option Tezos_error_monad.Error_monad.tzresult Lwt.t) ->
  'prefix directory

val gen_register0 : 
  unit directory ->
  ([< Resto.meth ], unit, unit, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('q -> 'i -> [< 'o Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  unit directory

val gen_register1 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('a -> 'q -> 'i -> [< 'o Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  'prefix directory

val gen_register2 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'q -> 'i -> [< 'o Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  'prefix directory

val gen_register3 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'c -> 'q -> 'i -> [< 'o Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  'prefix directory

val gen_register4 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> [< 'o Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  'prefix directory

val gen_register5 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a ->
    'b ->
    'c ->
    'd ->
    'e ->
    'q ->
    'i ->
    [< 'o Tezos_rpc__.RPC_answer.t ] Lwt.t) ->
  'prefix directory

val lwt_register0 : 
  unit directory ->
  ([< Resto.meth ], unit, unit, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('q -> 'i -> 'o Lwt.t) ->
  unit directory

val lwt_register1 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, unit * 'a, 'q, 'i, 'o) Tezos_rpc__.RPC_service.t ->
  ('a -> 'q -> 'i -> 'o Lwt.t) ->
  'prefix directory

val lwt_register2 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'q -> 'i -> 'o Lwt.t) ->
  'prefix directory

val lwt_register3 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'c -> 'q -> 'i -> 'o Lwt.t) ->
  'prefix directory

val lwt_register4 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> 'o Lwt.t) ->
  'prefix directory

val lwt_register5 : 
  'prefix directory ->
  ([< Resto.meth ], 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'e, 'q, 'i, 'o)
    Tezos_rpc__.RPC_service.t ->
  ('a -> 'b -> 'c -> 'd -> 'e -> 'q -> 'i -> 'o Lwt.t) ->
  'prefix directory

Sourcetype conflict =

| CService of Tezos_rpc.Service.meth
| CDir
| CBuilder
| CTail
| CTypes of Tezos_rpc.Arg.descr * Tezos_rpc.Arg.descr
| CType of Tezos_rpc.Arg.descr * string list

Sourceexception Conflict of step list * conflict

Sourceval merge : 'a directory -> 'a directory -> 'a directory