blob: 6f160f544cc01faddb62981e33c2ce05176a68b6 (
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 (RuntimeRep -> Constraint) TYPE
Proxy Constraint Constraint
Proxy Constraint Constraint
Proxy Constraint Constraint
Proxy RuntimeRep 'PtrRepLifted
Proxy (Constraint -> Constraint -> Constraint) ~~
|
