Each instances of StatusCode should not be an instance of Eq.

[Lucu.git] / Network / HTTP / Lucu / DefaultPage.hs

diff --git a/Network/HTTP/Lucu/DefaultPage.hs b/Network/HTTP/Lucu/DefaultPage.hs
index 8fcc37d74800cfd1a75eeeddc056d73576ab666d..1ae5abd9589bd2f697f849b5f1189ecc6e0c3bcf 100644 (file)
--- a/Network/HTTP/Lucu/DefaultPage.hs
+++ b/Network/HTTP/Lucu/DefaultPage.hs
@@ -79,7 +79,7 @@ getMsg req res@(Response {..})
     -- 1xx responses don't have a body.
     -- 2xx responses don't need a body to be completed.
     -- 3xx:
     -- 1xx responses don't have a body.
     -- 2xx responses don't need a body to be completed.
     -- 3xx:

-    | toStatusCode resStatus ≡ Just MovedPermanently
+    | resStatus ≈ MovedPermanently

         = txt ("The resource at " ⧺ path ⧺ " has been moved to ")
           <+>
           eelem "a" += sattr "href" loc
         = txt ("The resource at " ⧺ path ⧺ " has been moved to ")
           <+>
           eelem "a" += sattr "href" loc


@@ -87,7 +87,7 @@ getMsg req res@(Response {..})
           <+>
           txt " permanently."
 
           <+>
           txt " permanently."
 

-    | toStatusCode resStatus ≡ Just Found
+    | resStatus ≈ Found

         = txt ("The resource at " ⧺ path ⧺ " is currently located at ")
           <+>
           eelem "a" += sattr "href" loc
         = txt ("The resource at " ⧺ path ⧺ " is currently located at ")
           <+>
           eelem "a" += sattr "href" loc


@@ -95,7 +95,7 @@ getMsg req res@(Response {..})
           <+>
           txt ". This is not a permanent relocation."
 
           <+>
           txt ". This is not a permanent relocation."
 

-    | toStatusCode resStatus ≡ Just SeeOther
+    | resStatus ≈ SeeOther

         = txt ("The resource at " ⧺ path ⧺ " can be found at ")
           <+>
           eelem "a" += sattr "href" loc
         = txt ("The resource at " ⧺ path ⧺ " can be found at ")
           <+>
           eelem "a" += sattr "href" loc


@@ -103,7 +103,7 @@ getMsg req res@(Response {..})
           <+>
           txt "."
 
           <+>
           txt "."
 

-    | toStatusCode resStatus ≡ Just TemporaryRedirect
+    | resStatus ≈ TemporaryRedirect

         = txt ("The resource at " ⧺ path ⧺ " is temporarily located at ")
           <+>
           eelem "a" += sattr "href" loc
         = txt ("The resource at " ⧺ path ⧺ " is temporarily located at ")
           <+>
           eelem "a" += sattr "href" loc


@@ -112,25 +112,25 @@ getMsg req res@(Response {..})
           txt "."
 
       -- 4xx:
           txt "."
 
       -- 4xx:

-    | toStatusCode resStatus ≡ Just BadRequest
+    | resStatus ≈ BadRequest

         = txt "The server could not understand the request you sent."
         = txt "The server could not understand the request you sent."

-    | toStatusCode resStatus ≡ Just Unauthorized
+    | resStatus ≈ Unauthorized

         = txt ("You need a valid authentication to access " ⧺ path)
         = txt ("You need a valid authentication to access " ⧺ path)

-    | toStatusCode resStatus ≡ Just Forbidden
+    | resStatus ≈ Forbidden

         = txt ("You don't have permission to access " ⧺ path)
         = txt ("You don't have permission to access " ⧺ path)

-    | toStatusCode resStatus ≡ Just NotFound
+    | resStatus ≈ NotFound

         = txt ("The requested URL " ⧺ path ⧺ " was not found on this server.")
         = txt ("The requested URL " ⧺ path ⧺ " was not found on this server.")

-    | toStatusCode resStatus ≡ Just Gone
+    | resStatus ≈ Gone

         = txt ("The resource at " ⧺ path ⧺ " was here in past times, but has gone permanently.")
         = txt ("The resource at " ⧺ path ⧺ " was here in past times, but has gone permanently.")

-    | toStatusCode resStatus ≡ Just RequestEntityTooLarge
+    | resStatus ≈ RequestEntityTooLarge

         = txt ("The request entity you sent for " ⧺ path ⧺ " was too large to accept.")
         = txt ("The request entity you sent for " ⧺ path ⧺ " was too large to accept.")

-    | toStatusCode resStatus ≡ Just RequestURITooLarge
+    | resStatus ≈ RequestURITooLarge

         = txt "The request URI you sent was too large to accept."
 
       -- 5xx:
         = txt "The request URI you sent was too large to accept."
 
       -- 5xx:

-    | toStatusCode resStatus ≡ Just InternalServerError
+    | resStatus ≈ InternalServerError

         = txt ("An internal server error has occured during the process of your request to " ⧺ path)
         = txt ("An internal server error has occured during the process of your request to " ⧺ path)

-    | toStatusCode resStatus ≡ Just ServiceUnavailable
+    | resStatus ≈ ServiceUnavailable

         = txt "The service is temporarily unavailable. Try later."
 
     | otherwise
         = txt "The service is temporarily unavailable. Try later."
 
     | otherwise