Module `EzAPI.Service`

module IO : sig ... end

type ('args, 'input, 'output, 'error, 'security) t = { path : (Req.t, 'args) Path.t; input : 'input IO.io; output : 'output IO.io; errors : 'error Err.case list; meth : Meth.t; params : Param.t list; security : [< Security.scheme ] as 'security list; }

val make : ?⁠meth:Meth.t -> ?⁠params:Param.t list -> ?⁠security:[< Security.scheme ] as 'a list -> ?⁠errors:'b Err.case list -> input:'c IO.io -> output:'d IO.io -> (Req.t, 'e) Path.t -> ('e, 'c, 'd, 'b, 'a) t
val input : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> 'b IO.io
val output : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> 'c IO.io
val errors : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> 'd Err.case list
val errors_encoding : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> 'd Json_encoding.encoding
val meth : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> Meth.t
val path : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> (Req.t, 'a) Path.t
val security : ('a, 'b, 'c, 'd, [< Security.scheme ] as 'e) t -> 'e list
val params : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> Param.t list
val error : ('a, 'b, 'c, 'd, [< Security.scheme ]) t -> code:int -> 'd Json_encoding.encoding option