Idris2Doc : Node.HTTP.Headers

Node.HTTP.Headers

(source)

Definitions

dataHeaders : Type
Totality: total
Visibility: export
empty : HasIOio=>ioHeaders
Visibility: export
singleton : String->String->Headers
Visibility: export
.setHeader : HasIOio=>Headers->String->String->ioHeaders
Visibility: export
.getHeader : Headers->String->MaybeString
Visibility: export
.asList : Headers->List (String, String)