Idris2Doc : Pact.WAI

Pact.WAI

(source)
Define types and functions for Web Application Interface

Reexports

import public Pact.WAI.Core
import public Pact.WAI.Header
import public Pact.WAI.Request
import public Pact.WAI.Response
import public Pact.WAI.Method
import public Pact.WAI.HTTPErr
import public Pact.WAI.Version
import public FS.Core
import public FS.Concurrent

Definitions

0 HTTPResponse : Type
  HTTPResponse is the type of HTTP response.

Visibility: public export
0 HTTPApplication : Type
  HTTPApplication is the type of HTTP application.

Visibility: public export