Safe Haskell | None |
---|---|
Language | Haskell2010 |
Defines types and kinds for working with type and value level HTTP verbs.
Functions and types for working with HeaderName
Sing
s
parseVerb :: ByteString -> Maybe Verb Source
Attempt to parse a string-like representation of a Verb
.
The Verb
type/kind
A data type representing HTTP verbs. Much more importantly, with
DataKinds
enabled this becomes a kind describing types, one for each
such verb.
Use Verb
at both the kind and type levels---it works equally well at
both unlike, e.g., HeaderName
. Use methods of SingKind
to convert
between Verb
values and Verb
Sing
s
Note: TRACE is intentionally omitted because (a) it's very low value and (b) it opens a potential security hole via Cross-Site-Tracing.
data family Sing a
The singleton kind-indexed data family.