Module `Resto_directory.Make`Source

Parameters

module Encoding : Resto.ENCODING

Signature

Sourcemodule Service : module type of struct include Resto.MakeService(Encoding) end

Sourcetype step =

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

Possible error while registring services.

Sourcetype conflict =

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

Sourcetype ('query, 'input, 'output, 'error) types = {

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

}

Sourcetype registered_service =

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

Sourcetype 'prefix t

Dispatch tree

Sourcetype 'prefix directory = 'prefix t

Sourcetype lookup_error = [

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

]

Source

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

Resolve a service.

Source

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

Source

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

Sourceval empty : 'prefix directory

Empty tree

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

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

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

Sourceexception Conflict of step list * conflict

Source

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

Registring handler in service tree.

Source

val register0 : 
  unit directory ->
  ('m, unit, unit, 'q, 'i, 'o, 'e) Service.t ->
  ('q -> 'i -> [< ('o, 'e) Answer.t ] Lwt.t) ->
  unit directory

Registring handler in service tree. Curryfied variant.

Source

val register1 : 
  'prefix directory ->
  ('m, 'prefix, unit * 'a, 'q, 'i, 'o, 'e) Service.t ->
  ('a -> 'q -> 'i -> [< ('o, 'e) Answer.t ] Lwt.t) ->
  'prefix directory

Source

val register2 : 
  'prefix directory ->
  ('m, 'prefix, (unit * 'a) * 'b, 'q, 'i, 'o, 'e) Service.t ->
  ('a -> 'b -> 'q -> 'i -> [< ('o, 'e) Answer.t ] Lwt.t) ->
  'prefix directory

Source

val register3 : 
  'prefix directory ->
  ('m, 'prefix, ((unit * 'a) * 'b) * 'c, 'q, 'i, 'o, 'e) Service.t ->
  ('a -> 'b -> 'c -> 'q -> 'i -> [< ('o, 'e) Answer.t ] Lwt.t) ->
  'prefix directory

Source

val register4 : 
  'prefix directory ->
  ('m, 'prefix, (((unit * 'a) * 'b) * 'c) * 'd, 'q, 'i, 'o, 'e) Service.t ->
  ('a -> 'b -> 'c -> 'd -> 'q -> 'i -> [< ('o, 'e) Answer.t ] Lwt.t) ->
  'prefix directory

Source

val register5 : 
  'prefix directory ->
  ('m, 'prefix, ((((unit * 'a) * 'b) * 'c) * 'd) * 'f, 'q, 'i, 'o, 'e)
    Service.t ->
  ('a -> 'b -> 'c -> 'd -> 'f -> 'q -> 'i -> [< ('o, 'e) Answer.t ] Lwt.t) ->
  'prefix directory

Source

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

Registring dynamic subtree.

Source

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

Registring dynamic subtree. (Curryfied variant)

Source

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

Source

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

Source

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

Registring a description service.

Source

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

package resto-directory

Module Resto_directory.MakeSource

Parameters

Signature

Module `Resto_directory.Make`Source