blob: 13231931e3b30fdaa838cb5f70ca1527d199dd89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
TYPE SIGNATURES
TYPE CONSTRUCTORS
C2 :: * -> Constraint
class C2 a
Roles: [representational]
RecFlag NonRecursive
meth2 :: a -> a
COERCION AXIOMS
axiom Roles12.NTCo:C2 :: C2 a = a -> a
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
==================== Typechecker ====================
|
