blob: 96d5603bbf5e4d1d74911289355991c46f3d4007 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
TYPE SIGNATURES
TYPE CONSTRUCTORS
type role T1 nominal
data T1 a = K1 a
Promotable
data T2 a = K2 a
Promotable
type role T3 phantom
data T3 (a :: k) = K3
type role T4 nominal nominal
data T4 (a :: * -> *) b = K4 (a b)
data T5 a = K5 a
Promotable
type role T6 phantom
data T6 (a :: k) = K6
type role T7 phantom representational
data T7 (a :: k) b = K7 b
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
==================== Typechecker ====================
|
