+ = case resStatus res of
+ -- 1xx は body を持たない
+ -- 2xx の body は補完しない
+
+ -- 3xx
+ MovedPermanently
+ -> txt (printf "The resource at %s has been moved to " path)
+ <+>
+ eelem "a" += sattr "href" loc
+ += txt loc
+ <+>
+ txt " permanently."
+
+ Found
+ -> txt (printf "The resource at %s is currently located at " path)
+ <+>
+ eelem "a" += sattr "href" loc
+ += txt loc
+ <+>
+ txt ". This is not a permanent relocation."
+
+ SeeOther
+ -> txt (printf "The resource at %s can be found at " path)
+ <+>
+ eelem "a" += sattr "href" loc
+ += txt loc
+ <+>
+ txt "."
+
+ TemporaryRedirect
+ -> txt (printf "The resource at %s is temporarily located at " path)
+ <+>
+ eelem "a" += sattr "href" loc
+ += txt loc
+ <+>
+ txt "."
+
+ -- 4xx
+ BadRequest
+ -> txt "The server could not understand the request you sent."
+
+ Unauthorized
+ -> txt (printf "You need a valid authentication to access %s" path)
+
+ Forbidden
+ -> txt (printf "You don't have permission to access %s" path)
+
+ NotFound
+ -> txt (printf "The requested URL %s was not found on this server." path)
+
+ Gone
+ -> txt (printf "The resource at %s was here in past times, but has gone permanently." path)
+
+ RequestEntityTooLarge
+ -> txt (printf "The request entity you sent for %s was too big to accept." path)
+
+ RequestURITooLarge
+ -> txt "The request URI you sent was too big to accept."
+
+ -- 5xx
+ InternalServerError
+ -> txt (printf "An internal server error has occured during the process of your request to %s" path)
+
+ ServiceUnavailable
+ -> txt "The service is temporarily unavailable. Try later."
+
+ _ -> none
+
+
+ where
+ path :: String
+ path = let uri = reqURI $ fromJust req
+ in
+ uriPath uri
+
+ loc :: String
+ loc = fromJust $ getHeader "Location" res