
  0 | ||| Define types and functions for Web Application Interface
  1 | module Pact.WAI
  2 | 
  3 | import public Pact.WAI.Core
  4 | import public Pact.WAI.Header
  5 | import public Pact.WAI.Request
  6 | import public Pact.WAI.Response
  7 | import public Pact.WAI.Method
  8 | import public Pact.WAI.HTTPErr
  9 | import public Pact.WAI.Version
 10 | 
 11 | import public FS.Core
 12 | import public FS.Concurrent
 13 | 
 14 | import FS.Posix
 15 | import IO.Async.Loop.Posix
 16 | 
 17 | ||| HTTPResponse is the type of HTTP response.
 18 | public export
 19 | 0 HTTPResponse : Type
 20 | HTTPResponse = HTTPStream Response
 21 | 
 22 | ||| HTTPApplication is the type of HTTP application.
 23 | public export
 24 | 0 HTTPApplication : Type
 25 | HTTPApplication = Request -> HTTPResponse