From a122079f1e16c8da8e207a30e37f88362286508f Mon Sep 17 00:00:00 2001
From: PHO <pho@cielonegro.org>
Date: Fri, 23 Dec 2011 12:07:10 +0900
Subject: [PATCH] Docs

Ditz-issue: e6ec5a54d14cad8f79c456e23e92770fbbd3577e
---
 Data/Eq/Indirect.hs                      | 17 ++++++++++++-----
 Network/HTTP/Lucu/StatusCode/Internal.hs |  5 +++--
 2 files changed, 15 insertions(+), 7 deletions(-)

diff --git a/Data/Eq/Indirect.hs b/Data/Eq/Indirect.hs
index a7aa8d1..3c93da2 100644
--- a/Data/Eq/Indirect.hs
+++ b/Data/Eq/Indirect.hs
@@ -3,7 +3,7 @@
   , TypeFamilies
   , UnicodeSyntax
   #-}
--- |FIXME: doc
+-- |Indirect equality comparison.
 module Data.Eq.Indirect
     ( Eq'(..)
     , (==:)
@@ -15,13 +15,20 @@ module Data.Eq.Indirect
     where
 import Prelude.Unicode
 
-infix 4 ==:{-, /=:, ≡:, ≢:, ≠:-}
+infix 4 ==:, /=:, ≡:, ≢:, ≠:
 
--- |FIXME: doc
+-- |Type class for indirectly equality-comparable types. That is, any
+-- @&#x3B1;@ of @'Eq'' &#x3B1;@ has a monomorphism to some
+-- equality-comparable type @&#x3B3;@ while @&#x3B1;@ itself isn't
+-- necessarily an instance of 'Eq'. This way we can generalise the
+-- '==' operator so that it can take two different types as long as
+-- they both have monomorphisms to the same 'Eq' type @&#x3B3;@.
+--
+-- Minimal complete definition: 'Unified' and 'unify'.
 class Eq (Unified α) ⇒ Eq' α where
-    -- |FIXME: doc
+    -- |The said equality-comparable type @&#x3B3;@.
     type Unified α
-    -- |FIXME: doc
+    -- |Monomorphism from @&#x3B1;@ to @&#x3B3;@.
     unify ∷ α → Unified α
 
 -- |FIXME: doc
diff --git a/Network/HTTP/Lucu/StatusCode/Internal.hs b/Network/HTTP/Lucu/StatusCode/Internal.hs
index ec06f3e..e8785c3 100644
--- a/Network/HTTP/Lucu/StatusCode/Internal.hs
+++ b/Network/HTTP/Lucu/StatusCode/Internal.hs
@@ -49,8 +49,9 @@ class (Eq sc, Show sc) ⇒ StatusCode sc where
     fromStatusCode ∷ sc → SomeStatusCode
     fromStatusCode = SomeStatusCode
 
--- |Equivalence of 'StatusCode's. Two 'StatusCode's @a@ and @b@ are
--- said to be equivalent iff @'numericCode' a '==' 'numericCode' b@.
+-- |Equivalence of 'StatusCode's. Two 'StatusCode's @&#x3B1;@ and
+-- @&#x3B2;@ are said to be equivalent iff @'numericCode' &#x3B1; '=='
+-- 'numericCode' &#x3B2;@.
 instance StatusCode sc ⇒ Eq' sc where
     type Unified sc = Int
     {-# INLINE CONLIKE unify #-}
-- 
2.40.0