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