blob: 5d8536d3551f81b323f4c0a9eb28189385f06de4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
TYPE SIGNATURES
TYPE CONSTRUCTORS
T :: k -> *
data T (k::BOX) (a::k)
No C type associated
Roles: [nominal, representational]
RecFlag NonRecursive, Not promotable
=
FamilyInstance: none
COERCION AXIOMS
Dependent modules: []
Dependent packages: [array-0.5.0.0, base, containers-0.5.3.1,
deepseq-1.3.0.2, ghc-prim, integer-gmp, pretty-1.1.1.1,
template-haskell]
==================== Typechecker ====================
|
