hoogle-test/ref/Bug806/test.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

@package test
@version 0.0.0

module Bug806

-- | <a>F1</a> docs
type family F1 a b :: * -> *

-- | <a>F2</a> docs
type family F2 a b :: * -> *

-- | <a>D</a> docs
data family D a :: * -> *
v :: Int

-- | <a>C</a> docs
class C a where {
    
    -- | <a>AT</a> docs
    type family AT a;
    type AT a = Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy)))))))));
}