aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock
diff options
context:
space:
mode:
authorƁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>2015-07-29 19:45:15 +0200
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2015-08-21 18:22:33 +0100
commite3b0be8daf6f9fc8adad3d858f80187d3de74876 (patch)
tree0fb66ea752beb016056e55532241fa4a7e90b52d /haddock-api/src/Haddock
parentf0222eaf888dafb9fdb6dbbac0527fc28223588d (diff)
Add some documentation for instance head specializer.
Diffstat (limited to 'haddock-api/src/Haddock')
-rw-r--r--haddock-api/src/Haddock/Interface/Specialize.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/haddock-api/src/Haddock/Interface/Specialize.hs b/haddock-api/src/Haddock/Interface/Specialize.hs
index df7f63bc..59985de6 100644
--- a/haddock-api/src/Haddock/Interface/Specialize.hs
+++ b/haddock-api/src/Haddock/Interface/Specialize.hs
@@ -88,6 +88,8 @@ specializeSig bndrs typs (TypeSig lnames (L loc typ) prn) =
specializeSig _ _ sig = sig
+-- | Make all details of instance head (signatures, associated types)
+-- specialized to that particular instance type.
specializeInstHead :: (Eq name, Typeable name, DataId name, SetName name)
=> InstHead name -> InstHead name
specializeInstHead ihd@InstHead { ihdInstType = clsi@ClassInst { .. }, .. } =