Peregrine.Http.Headers

newtype Headers

Constructors

• Headers (Map HeaderName HeaderValue)

Instances

• Newtype Headers _
• Show Headers
• Eq Headers
• Semigroup Headers

empty :: Headers

singleton :: HeaderName -> HeaderValue -> Headers

insert :: HeaderName -> HeaderValue -> Headers -> Headers

lookup :: HeaderName -> Headers -> Maybe HeaderValue

type HeaderValue = String

newtype HeaderName

Constructors

• HeaderName CaseInsensitiveNonEmptyString

Instances

• Newtype HeaderName _
• Eq HeaderName
• Ord HeaderName
• Show HeaderName

class MakeHeaderName :: Symbol -> Constraintclass MakeHeaderName (s :: Symbol)  where

A helper class for defining header names at compile time.

contentType :: HeaderName
contentType = staticHeaderName (Proxy :: Proxy "Content-Type")

Members

• staticHeaderName :: forall proxy. proxy s -> HeaderName

Instances

• (Fail (Text "Header name must be a non-empty string.")) => MakeHeaderName ""
• (IsSymbol s) => MakeHeaderName s