@@ -4,38 +4,38 @@ object Test {
4
4
5
5
def main (args : Array [String ]): Unit = {
6
6
7
- println(lift(new Show )(3 ))
8
- println(lift(new Eval )(3 ))
7
+ println(lift[[ X ] =>> String ] (new Show )(3 ))
8
+ println(lift[[ X ] =>> X ] (new Eval )(3 ))
9
9
println()
10
- println(lift(new Show )(if (true ) 3 else 4 ))
11
- println(lift(new Eval )(if (true ) 3 else 4 ))
10
+ println(lift[[ X ] =>> String ] (new Show )(if (true ) 3 else 4 ))
11
+ println(lift[[ X ] =>> X ] (new Eval )(if (true ) 3 else 4 ))
12
12
println()
13
- println(lift(new Show )(if (if (true ) true else false ) 3 else 4 ))
14
- println(lift(new Eval )(if (if (true ) true else false ) 3 else 4 ))
13
+ println(lift[[ X ] =>> String ] (new Show )(if (if (true ) true else false ) 3 else 4 ))
14
+ println(lift[[ X ] =>> X ] (new Eval )(if (if (true ) true else false ) 3 else 4 ))
15
15
println()
16
- println(lift(new Show )(if (3 <= 7 ) 3 else 4 ))
17
- println(lift(new Eval )(if (3 <= 7 ) 3 else 4 ))
16
+ println(lift[[ X ] =>> String ] (new Show )(if (3 <= 7 ) 3 else 4 ))
17
+ println(lift[[ X ] =>> X ] (new Eval )(if (3 <= 7 ) 3 else 4 ))
18
18
println()
19
- println(lift(new Show )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
20
- println(lift(new Eval )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
19
+ println(lift[[ X ] =>> String ] (new Show )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
20
+ println(lift[[ X ] =>> X ] (new Eval )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
21
21
println()
22
- println(lift(new Show )(((x : Int ) => x + x) (4 )))
23
- println(lift(new Eval )(((x : Int ) => x + x) (4 )))
22
+ println(lift[[ X ] =>> String ] (new Show )(((x : Int ) => x + x) (4 )))
23
+ println(lift[[ X ] =>> X ] (new Eval )(((x : Int ) => x + x) (4 )))
24
24
println()
25
- println(lift(new Show )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
26
- println(lift(new Eval )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
25
+ println(lift[[ X ] =>> String ] (new Show )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
26
+ println(lift[[ X ] =>> X ] (new Eval )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
27
27
println()
28
- println(lift(new Show )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
29
- println(lift(new Eval )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
28
+ println(lift[[ X ] =>> String ] (new Show )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
29
+ println(lift[[ X ] =>> X ] (new Eval )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
30
30
println()
31
- println(lift(new Show )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
32
- println(lift(new Eval )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
31
+ println(lift[[ X ] =>> String ] (new Show )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
32
+ println(lift[[ X ] =>> X ] (new Eval )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
33
33
println()
34
- println(lift(new Show )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
35
- println(lift(new Eval )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
34
+ println(lift[[ X ] =>> String ] (new Show )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
35
+ println(lift[[ X ] =>> X ] (new Eval )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
36
36
println()
37
- println(lift(new Show )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(25 )))
38
- println(lift(new Eval )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(5 )))
37
+ println(lift[[ X ] =>> String ] (new Show )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(25 )))
38
+ println(lift[[ X ] =>> X ] (new Eval )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(5 )))
39
39
}
40
40
41
41
}
0 commit comments