Module Vif_core.UriSource

Sourcetype ('e, 'a) atom = ('e, 'a) Tyre.t
Sourcetype ('e, 'fu, 'return) path =
  1. | Host : string -> ('e, 'r, 'r) path
  2. | Rel : ('e, 'r, 'r) path
  3. | Path_const : ('e, 'f, 'r) path * string -> ('e, 'f, 'r) path
  4. | Path_atom : ('e, 'f, 'a -> 'r) path * ('e, 'a) atom -> ('e, 'f, 'r) path
Sourcetype ('e, 'fu, 'return) query =
  1. | Nil : ('e, 'r, 'r) query
  2. | Any : ('e, 'r, 'r) query
  3. | Query_atom : string * ('e, 'a) atom * ('e, 'f, 'r) query -> ('e, 'a -> 'f, 'r) query
Sourcetype slash =
  1. | Slash
  2. | No_slash
  3. | Maybe_slash
Sourcetype ('e, 'f, 'r) t =
  1. | Url : slash * ('e, 'f, 'x) path * ('e, 'x, 'r) query -> ('e, 'f, 'r) t
Sourcemodule Path : sig ... end
Sourcemodule Query : sig ... end
Sourcemodule Url : sig ... end
Sourceval nil : ('a, 'b, 'b) query
Sourceval any : ('a, 'b, 'b) query
Sourceval (**) : (string * ('a, 'b) atom) -> ('a, 'c, 'd) query -> ('a, 'b -> 'c, 'd) query
Sourceval host : string -> ('a, 'b, 'b) path
Sourceval rel : ('a, 'b, 'b) path
Sourceval (/) : ('a, 'b, 'c) path -> string -> ('a, 'b, 'c) path
Sourceval (/%) : ('a, 'b, 'c -> 'd) path -> ('a, 'c) atom -> ('a, 'b, 'd) path
Sourceval (/?) : ('a, 'b, 'c) path -> ('a, 'c, 'd) query -> ('a, 'b, 'd) t
Sourceval (//?) : ('a, 'b, 'c) path -> ('a, 'c, 'd) query -> ('a, 'b, 'd) t
Sourceval (/??) : ('a, 'b, 'c) path -> ('a, 'c, 'd) query -> ('a, 'b, 'd) t
Sourceval eval_atom : (Tyre.evaluable, 'a) Tyre.Internal.raw -> 'a -> string
Sourceval eval_top_atom : 'a. (Tyre.evaluable, 'a) Tyre.Internal.raw -> 'a -> string list
Sourceval eval_path : 'r 'f. (Tyre.evaluable, 'f, 'r) path -> (string option -> string list -> 'r) -> 'f
Sourceval eval_query : 'r 'f. (Tyre.evaluable, 'f, 'r) query -> ((string * string list) list -> 'r) -> 'f
Sourceval keval : ?slash:bool -> (Tyre.evaluable, 'a, 'b) t -> (string -> 'b) -> 'a
Sourceval eval : ?slash:bool -> (Tyre.evaluable, 'a, string) t -> 'a
Sourcetype 'a handler = 'a Httpcats_core.handler
Sourceval int : ('a, int) Tyre.t
Sourceval string : [< `Path | `Query_value ] -> ('a, string) Tyre.t
Sourceval rest : ('a, string) Tyre.t
Sourceval path : ('a, string) Tyre.t
Sourceval bool : ('a, bool) Tyre.t
Sourceval float : ('a, float) Tyre.t
Sourceval option : ('a, 'b) Tyre.t -> ('a, 'b option) Tyre.t
Sourceval conv : ('a -> 'b) -> ('b -> 'a) -> ('c, 'a) Tyre.t -> ('c, 'b) Tyre.t
Sourceval execp : ('a, 'b, 'c) Vif_core__.Vif_uri.t -> string -> bool
Sourceval extract : ('a, 'b, 'c) Vif_core__.Vif_uri.t -> string -> 'b -> ('c, [> `Converter_failure of exn | `No_match ]) result