$ A.toAsciiBuilder "Inappropriate status code for a response: "
⊕ printStatusCode resStatus
- when ( resStatus ≡ MethodNotAllowed ∧
- hasHeader "Allow" res )
+ when ( toStatusCode resStatus ≡ Just MethodNotAllowed ∧
+ hasHeader "Allow" res )
$ abort'
$ A.toAsciiBuilder "The status was "
⊕ printStatusCode resStatus
⊕ A.toAsciiBuilder " but no \"Allow\" header."
- when ( resStatus ≢ NotModified ∧
+ when ( toStatusCode resStatus ≢ Just NotModified ∧
isRedirection resStatus ∧
hasHeader "Location" res )
$ abort'