Idris2Doc
: HTTP.API.Client.Header
Index
Default
Alternative
Black & White
HTTP.API.Client.Header
(
source
)
Definitions
headerTypes
: (
hs
:
List
HeaderPart
)
->
TList
(
HeaderTypes
hs
)
Totality
:
total
Visibility
:
export