Idris2Doc : Pact.Server.HTTP

Pact.Server.HTTP

(source)
HTTP server implementation

Reexports

import public Data.SortedMap
import public FS.Posix
import public FS.Socket
import public IO.Async.Loop.Posix
import public IO.Async.Loop.Epoll
import public System

Definitions

encodeResponse' : Response -> ByteString
  encodeResponse' is a function that encodes an HTTP response
  
  Generates an HTTP response ByteString with status code and body
  @ status HTTP status code
  @ body Response body content

Totality: total
Visibility: export
badRequestHTTP : String -> ByteString
  Generate 400 Bad Request response
  @ return ByteString

Totality: total
Visibility: export
run : ServerConfig -> HTTPApplication -> IO ()
Visibility: public export