blob: ffc2133e20d2d55a73883bdd52556cbf2ba274b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
[Char]
Char
Int
Word
Double
IO ()
(Char,Int,[Char])
TypeRep
Bool
Ordering
Int -> Int
Proxy Constraint (Eq Int)
Proxy Constraint (Int,Int)
Proxy Symbol "hello world"
Proxy Nat 1
Proxy [Nat] (': Nat 1 (': Nat 2 (': Nat 3 '[])))
Proxy Ordering 'EQ
Proxy (Levity -> Constraint) TYPE
Proxy Constraint Constraint
Proxy Constraint Constraint
Proxy Constraint Constraint
Proxy Levity 'Lifted
Proxy (Constraint -> Constraint -> Constraint) ~~
|
