blob: 524b4831efab49b7c92cf4bfeb9684f286180249 (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
TYPE CONSTRUCTORS
data type T{14} ::
forall {k1} {k2} {k3} (k4 :: k2) k5. forall k6 ->
k6
-> Proxy k4
-> (k3 -> *)
-> k3
-> forall (k7 :: k1). Proxy k7 -> forall (k8 :: k5). Proxy k8 -> *
roles nominal
nominal
nominal
nominal
nominal
nominal
phantom
phantom
representational
nominal
nominal
phantom
nominal
phantom
data type T2{14} ::
forall {k1} {k2} (k3 :: k2) k7. forall k4 ->
k4
-> Proxy k3
-> (k7 -> *)
-> k7
-> forall (k5 :: k1).
Proxy k5 -> forall k6 (k8 :: k6). Proxy k8 -> *
roles nominal
nominal
nominal
nominal
nominal
phantom
phantom
representational
nominal
nominal
phantom
nominal
nominal
phantom
DATA CONSTRUCTORS
MkT2 :: forall {k7} {k1} {k2 :: k1} {k3} {k4 :: k3} {k5} {k6 :: k5}
(f :: k7 -> *) (c :: k7) k8 (a :: k8) (b :: Proxy k2)
(d :: Proxy k4) (e :: Proxy k6).
f c -> T2 k8 a b f c d e
MkT :: forall {k1} {k2} {k3 :: k2} {k4} {k5 :: k4} {k6} {k7 :: k6}
(f :: k1 -> *) (c :: k1) k8 (a :: k8) (b :: Proxy k3)
(d :: Proxy k5) (e :: Proxy k7).
f c -> T k8 a b f c d e
Dependent modules: []
Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1,
integer-gmp-1.0.3.0]
|
