Source
Prelude
- take 3 (map (^ 2) [0, 1, 2, 3, 4])
- if 3 <= 0 then [] else
case map (^ 2) [0, 1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1) ys
- if False then [] else
case map (^ 2) [0, 1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1) ys
- case map (^ 2) [0, 1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1) ys
- case map (^ 2) (0 : [1, 2, 3, 4]) of
[] -> []
y : ys -> y : take (3 - 1) ys
- case (^ 2) 0 : map (^ 2) [1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1) ys
- case (^ 2) 0 : map (^ 2) [1, 2, 3, 4] of
y : ys -> y : take (3 - 1) ys
- (^ 2) 0 : take (3 - 1) (map (^ 2) [1, 2, 3, 4])
- 0 ^ 2 : take (3 - 1) (map (^ 2) [1, 2, 3, 4])
- 0 ^ 2 :
if 3 - 1 <= 0 then [] else
case map (^ 2) [1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 :
if 2 <= 0 then [] else
case map (^ 2) [1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 :
if False then [] else
case map (^ 2) [1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 :
case map (^ 2) [1, 2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 :
case map (^ 2) (1 : [2, 3, 4]) of
[] -> []
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 :
case (^ 2) 1 : map (^ 2) [2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 :
case (^ 2) 1 : map (^ 2) [2, 3, 4] of
y : ys -> y : take (3 - 1 - 1) ys
- 0 ^ 2 : (^ 2) 1 : take (3 - 1 - 1) (map (^ 2) [2, 3, 4])
- 0 ^ 2 : 1 ^ 2 : take (3 - 1 - 1) (map (^ 2) [2, 3, 4])
- 0 ^ 2 :
1 ^ 2 :
if 3 - 1 - 1 <= 0 then [] else
case map (^ 2) [2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
if 2 - 1 <= 0 then [] else
case map (^ 2) [2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
if 1 <= 0 then [] else
case map (^ 2) [2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
if False then [] else
case map (^ 2) [2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
case map (^ 2) [2, 3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
case map (^ 2) (2 : [3, 4]) of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
case (^ 2) 2 : map (^ 2) [3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
case (^ 2) 2 : map (^ 2) [3, 4] of
y : ys -> y : take (3 - 1 - 1 - 1) ys
- 0 ^ 2 : 1 ^ 2 : (^ 2) 2 : take (3 - 1 - 1 - 1) (map (^ 2) [3, 4])
- 0 ^ 2 : 1 ^ 2 : 2 ^ 2 : take (3 - 1 - 1 - 1) (map (^ 2) [3, 4])
- 0 ^ 2 :
1 ^ 2 :
2 ^ 2 :
if 3 - 1 - 1 - 1 <= 0 then [] else
case map (^ 2) [3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
2 ^ 2 :
if 2 - 1 - 1 <= 0 then [] else
case map (^ 2) [3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
2 ^ 2 :
if 1 - 1 <= 0 then [] else
case map (^ 2) [3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
2 ^ 2 :
if 0 <= 0 then [] else
case map (^ 2) [3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1 - 1) ys
- 0 ^ 2 :
1 ^ 2 :
2 ^ 2 :
if True then [] else
case map (^ 2) [3, 4] of
[] -> []
y : ys -> y : take (3 - 1 - 1 - 1 - 1) ys
- 0 ^ 2 : 1 ^ 2 : 2 ^ 2 : []