T4175.stdout 2.6 KB
Newer Older
parcs's avatar
parcs committed
1
type family A a b :: * 	-- Defined at T4175.hs:7:1
2
3
4
type instance A (B a) b = () 	-- Defined at T4175.hs:10:1
type instance A (Maybe a) a = a 	-- Defined at T4175.hs:9:1
type instance A Int Int = () 	-- Defined at T4175.hs:8:1
5
6
type role B nominal
data family B a
parcs's avatar
parcs committed
7
8
  	-- Defined at T4175.hs:12:1
instance G B -- Defined at T4175.hs:34:10
9
10
data instance B () = MkB 	-- Defined at T4175.hs:13:15
type instance A (B a) b = () 	-- Defined at T4175.hs:10:1
11
12
class C a where
  type family D a b :: *
parcs's avatar
parcs committed
13
  	-- Defined at T4175.hs:16:5
14
15
type instance D () () = Bool 	-- Defined at T4175.hs:22:5
type instance D Int () = String 	-- Defined at T4175.hs:19:5
16
17
18
type family E a :: * where
    E () = Bool
    E Int = String
parcs's avatar
parcs committed
19
  	-- Defined at T4175.hs:24:1
20
data () = () 	-- Defined in ‘GHC.Tuple’
parcs's avatar
parcs committed
21
instance C () -- Defined at T4175.hs:21:10
22
23
24
25
26
27
instance Bounded () -- Defined in ‘GHC.Enum’
instance Enum () -- Defined in ‘GHC.Enum’
instance Eq () -- Defined in ‘GHC.Classes’
instance Ord () -- Defined in ‘GHC.Classes’
instance Read () -- Defined in ‘GHC.Read’
instance Show () -- Defined in ‘GHC.Show’
28
29
30
type instance D () () = Bool 	-- Defined at T4175.hs:22:5
type instance D Int () = String 	-- Defined at T4175.hs:19:5
data instance B () = MkB 	-- Defined at T4175.hs:13:15
31
32
33
34
35
36
37
data Maybe a = Nothing | Just a 	-- Defined in ‘Data.Maybe’
instance Eq a => Eq (Maybe a) -- Defined in ‘Data.Maybe’
instance Monad Maybe -- Defined in ‘Data.Maybe’
instance Functor Maybe -- Defined in ‘Data.Maybe’
instance Ord a => Ord (Maybe a) -- Defined in ‘Data.Maybe’
instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’
instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
38
instance Applicative Maybe -- Defined in ‘Data.Maybe’
39
40
instance Foldable Maybe -- Defined in ‘Data.Foldable’
instance Traversable Maybe -- Defined in ‘Data.Traversable’
41
type instance A (Maybe a) a = a 	-- Defined at T4175.hs:9:1
42
data Int = I# Int# 	-- Defined in ‘GHC.Types’
parcs's avatar
parcs committed
43
instance C Int -- Defined at T4175.hs:18:10
44
45
46
47
48
49
50
51
52
instance Bounded Int -- Defined in ‘GHC.Enum’
instance Enum Int -- Defined in ‘GHC.Enum’
instance Eq Int -- Defined in ‘GHC.Classes’
instance Integral Int -- Defined in ‘GHC.Real’
instance Num Int -- Defined in ‘GHC.Num’
instance Ord Int -- Defined in ‘GHC.Classes’
instance Read Int -- Defined in ‘GHC.Read’
instance Real Int -- Defined in ‘GHC.Real’
instance Show Int -- Defined in ‘GHC.Show’
53
54
type instance D Int () = String 	-- Defined at T4175.hs:19:5
type instance A Int Int = () 	-- Defined at T4175.hs:8:1
parcs's avatar
parcs committed
55
56
class Z a 	-- Defined at T4175.hs:28:1
instance F (Z a) -- Defined at T4175.hs:31:10