Idris2Doc : Pact.Server.Util

Pact.Server.Util

(source)
Experimental API definition

Definitions

matchAPI : (api : API) ->VectmString->Request->EitherString (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 : Hoistablem=>Routerm->Request->HTTPResponse
Visibility: public export