blob: 8d712576d857724f5aa645db67a16a6f888602ae (
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.4.0,
deepseq-1.3.0.2, ghc-prim, integer-gmp, pretty-1.1.1.1,
template-haskell]
==================== Typechecker ====================
|