blob: 891a792300897ea211083afeca8b12a5802a41fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
TYPE SIGNATURES
TYPE CONSTRUCTORS
type role T representational
data T (a :: k)
COERCION AXIOMS
Dependent modules: []
Dependent packages: [ghc-boot-0.0.0.0, pretty-<VERSION>,
deepseq-<VERSION>, array-<VERSION>, base-<VERSION>, ghc-prim-<VERSION>,
integer-<IMPL>-<VERSION>, template-haskell-<VERSION>]
==================== Typechecker ====================
|
