diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-29 19:45:15 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:33 +0100 |
| commit | e3b0be8daf6f9fc8adad3d858f80187d3de74876 (patch) | |
| tree | 0fb66ea752beb016056e55532241fa4a7e90b52d /haddock-api/src/Haddock/Interface/Specialize.hs | |
| parent | f0222eaf888dafb9fdb6dbbac0527fc28223588d (diff) | |
Add some documentation for instance head specializer.
Diffstat (limited to 'haddock-api/src/Haddock/Interface/Specialize.hs')
| -rw-r--r-- | haddock-api/src/Haddock/Interface/Specialize.hs | 2 |
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 { .. }, .. } = |