diff options
Diffstat (limited to 'html-test/src/TypeFamilies.hs')
| -rw-r--r-- | html-test/src/TypeFamilies.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/html-test/src/TypeFamilies.hs b/html-test/src/TypeFamilies.hs index e7cc0458..5cd4480e 100644 --- a/html-test/src/TypeFamilies.hs +++ b/html-test/src/TypeFamilies.hs @@ -3,6 +3,8 @@ -- | Doc for: module TypeFamilies module TypeFamilies where +import qualified TypeFamilies2 as TF + -- | Doc for: data X data X = X -- ^ Doc for: X @@ -76,3 +78,9 @@ type instance XXX <> XX = 'X class (><) (a :: k) (b :: k) instance XX >< XXX + +-- | External instance + +type instance TF.Foo X = Y + +data instance TF.Bar Y |