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