blob: 0d9e4d363ce3f580ab3e92b5f75a1f285e85d213 (
plain)
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
26
27
28
29
30
31
32
33
|
type Foo :: forall {k}. k -> Constraint
class Foo a where
type Bar :: forall {k}. k -> * -> *
type family Bar a b
-- Defined at T7939.hs:7:4
Bar :: k -> * -> *
type F :: * -> *
type family F a
-- Defined at T7939.hs:9:1
type instance F Int = Bool -- Defined at T7939.hs:10:15
F :: * -> *
type G :: * -> *
type family G a where
G Int = Bool
-- Defined at T7939.hs:12:1
G :: * -> *
type H :: Bool -> Bool
type family H a where
H 'False = 'True
-- Defined at T7939.hs:15:1
H :: Bool -> Bool
type J :: forall {k}. [k] -> Bool
type family J a where
J '[] = 'False
forall k (h :: k) (t :: [k]). J (h : t) = 'True
-- Defined at T7939.hs:18:1
J :: [k] -> Bool
type K :: forall {a}. [a] -> Maybe a
type family K a1 where
K '[] = 'Nothing
forall a (h :: a) (t :: [a]). K (h : t) = 'Just h
-- Defined at T7939.hs:22:1
K :: [a] -> Maybe a
|
