Idris2Doc : Node.HTTP2.Headers

Node.HTTP2.Headers

(source)

Definitions

data Headers : Type
Totality: total
Visibility: export
empty : HasIO io => io Headers
Visibility: export
singleton : String -> String -> Headers
Visibility: export
.setHeader : HasIO io => Headers -> String -> String -> io Headers
Visibility: export
.getHeader : Headers -> String -> Maybe String
Visibility: export
.asList : Headers -> List (String, String)