Idris2Doc : Pact.WAI.Core

Pact.WAI.Core

(source)
Define core types and functions

Reexports

import public Data.SortedMap
import public Data.ByteVect
import public System.Posix.Errno.Type
import public IO.Async.Loop.Posix

Definitions

0 HTTPPull : Type -> Type -> Type
  HTTP pull stream type
  Represents an asynchronous stream from which HTTP data can be pulled
  @ o Output type
  @ r Result type

Visibility: public export
0 HTTPStream : Type -> Type
  HTTP byte stream type
  Represents an HTTP stream from which bytes can be pulled
  @ o Output type

Visibility: public export
0 QueryParams : Type
  HTTP Query parameter type
  Represented as a key-value map, both key and value are strings

Visibility: public export