Idris2Doc : Node.HTTP2.Headers

Node.HTTP2.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)