- ( if null $ dParams d then
- (∅)
- else
- A.toAsciiBuilder "; " ⊕
- joinWith "; " (map printPair $ dParams d) ) )
- where
- printPair ∷ (CIAscii, Ascii) → AsciiBuilder
- printPair (name, value)
- = A.toAsciiBuilder (A.fromCIAscii name) ⊕
- A.toAsciiBuilder "=" ⊕
- ( if BS.any ((¬) ∘ isToken) $ A.toByteString value then
- quoteStr value
- else
- A.toAsciiBuilder value )