Idris2Doc : HTTP.Header.Types

HTTP.Header.Types

(source)

Definitions

dataParameter : Type
Totality: total
Visibility: public export
Constructors:
P : String->String->Parameter
Q : Double->Parameter

Hints:
EqParameter
ShowParameter
0Parameters : Type
Totality: total
Visibility: public export
parameter : String->Parameters->MaybeString
Totality: total
Visibility: export
weight : Parameters->Double
Totality: total
Visibility: export
dataMediaDesc : Type
Totality: total
Visibility: public export
Constructors:
MDAny : MediaDesc
MDStar : String->MediaDesc
MD : String->String->MediaDesc

Hints:
EqMediaDesc
ShowMediaDesc
recordMediaRange : Type
Totality: total
Visibility: public export
Constructor: 
MR : MediaDesc->Parameters->MediaRange

Projections:
.params : MediaRange->Parameters
.type : MediaRange->MediaDesc

Hints:
EqMediaRange
ShowMediaRange
.type : MediaRange->MediaDesc
Totality: total
Visibility: public export
type : MediaRange->MediaDesc
Totality: total
Visibility: public export
.params : MediaRange->Parameters
Totality: total
Visibility: public export
params : MediaRange->Parameters
Totality: total
Visibility: public export
recordMediaType : Type
Totality: total
Visibility: public export
Constructor: 
MT : String->String->MediaType

Projections:
.subtype : MediaType->String
.type : MediaType->String

Hints:
EqMediaType
ShowMediaType
.type : MediaType->String
Totality: total
Visibility: public export
type : MediaType->String
Totality: total
Visibility: public export
.subtype : MediaType->String
Totality: total
Visibility: public export
subtype : MediaType->String
Totality: total
Visibility: public export
encodeMediaType : MediaType->ByteString
Totality: total
Visibility: export
recordContentType : Type
Totality: total
Visibility: public export
Constructor: 
CT : MediaType->Parameters->ContentType

Projections:
.params : ContentType->Parameters
.type : ContentType->MediaType

Hints:
EqContentType
ShowContentType
.type : ContentType->MediaType
Totality: total
Visibility: public export
type : ContentType->MediaType
Totality: total
Visibility: public export
.params : ContentType->Parameters
Totality: total
Visibility: public export
params : ContentType->Parameters
Totality: total
Visibility: public export
accepts : MediaDesc->MediaType->Bool
Totality: total
Visibility: export
0MediaRanges : Type
Totality: total
Visibility: public export
recordContentDisp : Type
Totality: total
Visibility: public export
Constructor: 
CD : String->Parameters->ContentDisp

Projections:
.disp : ContentDisp->String
.params : ContentDisp->Parameters

Hints:
EqContentDisp
ShowContentDisp
.disp : ContentDisp->String
Totality: total
Visibility: public export
disp : ContentDisp->String
Totality: total
Visibility: public export
.params : ContentDisp->Parameters
Totality: total
Visibility: public export
params : ContentDisp->Parameters
Totality: total
Visibility: public export
0HeaderMap : Type
Totality: total
Visibility: public export