blob: 87bd47b552850ffb36f569b2c7e55aefb79e7b7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
-- test Lifting instances
{-# LANGUAGE TemplateHaskell #-}
module TH_Lift where
import Language.Haskell.TH.Syntax
import Data.Ratio
import Data.Word
import Data.Int
import Numeric.Natural
import Data.List.NonEmpty
a :: Integer
a = $( (\x -> [| x |]) (5 :: Integer) )
b :: Int
b = $( (\x -> [| x |]) (5 :: Int) )
b1 :: Int8
b1 = $( (\x -> [| x |]) (5 :: Int8) )
b2 :: Int16
b2 = $( (\x -> [| x |]) (5 :: Int16) )
b3 :: Int32
b3 = $( (\x -> [| x |]) (5 :: Int32) )
b4 :: Int64
b4 = $( (\x -> [| x |]) (5 :: Int64) )
c :: Word
c = $( (\x -> [| x |]) (5 :: Word) )
d :: Word8
d = $( (\x -> [| x |]) (5 :: Word8) )
e :: Word16
e = $( (\x -> [| x |]) (5 :: Word16) )
f :: Word32
f = $( (\x -> [| x |]) (5 :: Word32) )
g :: Word64
g = $( (\x -> [| x |]) (5 :: Word64) )
g1 :: Natural
g1 = $( (\x -> [| x |]) (5 :: Natural) )
h :: Rational
h = $( (\x -> [| x |]) (5 % 3 :: Rational) )
h1 :: Float
h1 = $( (\x -> [| x |]) (pi :: Float) )
h2 :: Double
h2 = $( (\x -> [| x |]) (pi :: Double) )
i :: Char
i = $( (\x -> [| x |]) 'x' )
j :: Bool
j = $( (\x -> [| x |]) True )
k :: Maybe Char
k = $( (\x -> [| x |]) (Just 'x') )
l :: Either Char Bool
l = $( (\x -> [| x |]) (Right False :: Either Char Bool) )
m :: [Char]
m = $( (\x -> [| x |]) "hi!")
n :: ()
n = $( (\x -> [| x |]) () )
o :: (Bool, Char, Int)
o = $( (\x -> [| x |]) (True, 'x', 4 :: Int) )
p :: NonEmpty Char
p = $( (\x -> [| x |]) ('a' :| "bcde") )
|
