Idris2Doc : Pact.Server.Util

Pact.Server.Util

(source)
Experimental API definition

Definitions

matchAPI : (api : API) -> Vect m String -> Request -> Either String (HVect (api .types))
  Match an API against a list of path segments.

@api The API to match.
@segs The list of path segments.

Returns a list of the parsed path parameters.

Visibility: public export
serve : Hoistable m => Router m -> Request -> HTTPResponse
Visibility: public export