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