(take 7 [x, (x+1) ..]) = [250,251,252,253,254,255]
(take 7 ([(1::Word8) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Word8) .. 1])) = [1]
- (take 7 ([(1::Word8) .. 0])) = [1,0]
- (take 7 ([(5::Word8) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Word8) .. 0])) = []
+ (take 7 ([(5::Word8) .. 0])) = []
(take 7 ([(maxBound-(5::Word8)) .. maxBound])) = [250,251,252,253,254,255]
- (take 7 ([(minBound+(5::Word8)) .. minBound])) = [5,4,3,2,1,0]
+ (take 7 ([(minBound+(5::Word8)) .. minBound])) = []
(take 7 [(5::Word8),4..1]) = [5,4,3,2,1]
(take 7 [(5::Word8),3..1]) = [5,3,1]
(take 7 [(5::Word8),3..2]) = [5,3]
(take 7 [x, (x+1) ..]) = [65530,65531,65532,65533,65534,65535]
(take 7 ([(1::Word16) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Word16) .. 1])) = [1]
- (take 7 ([(1::Word16) .. 0])) = [1,0]
- (take 7 ([(5::Word16) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Word16) .. 0])) = []
+ (take 7 ([(5::Word16) .. 0])) = []
(take 7 ([(maxBound-(5::Word16)) .. maxBound])) = [65530,65531,65532,65533,65534,65535]
- (take 7 ([(minBound+(5::Word16)) .. minBound])) = [5,4,3,2,1,0]
+ (take 7 ([(minBound+(5::Word16)) .. minBound])) = []
(take 7 [(5::Word16),4..1]) = [5,4,3,2,1]
(take 7 [(5::Word16),3..1]) = [5,3,1]
(take 7 [(5::Word16),3..2]) = [5,3]
(take 7 [x, (x+1) ..]) = [4294967290,4294967291,4294967292,4294967293,4294967294,4294967295]
(take 7 ([(1::Word32) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Word32) .. 1])) = [1]
- (take 7 ([(1::Word32) .. 0])) = [1,0]
- (take 7 ([(5::Word32) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Word32) .. 0])) = []
+ (take 7 ([(5::Word32) .. 0])) = []
(take 7 ([(maxBound-(5::Word32)) .. maxBound])) = [4294967290,4294967291,4294967292,4294967293,4294967294,4294967295]
- (take 7 ([(minBound+(5::Word32)) .. minBound])) = [5,4,3,2,1,0]
+ (take 7 ([(minBound+(5::Word32)) .. minBound])) = []
(take 7 [(5::Word32),4..1]) = [5,4,3,2,1]
(take 7 [(5::Word32),3..1]) = [5,3,1]
(take 7 [(5::Word32),3..2]) = [5,3]
(take 7 [x, (x+1) ..]) = [18446744073709551610,18446744073709551611,18446744073709551612,18446744073709551613,18446744073709551614,18446744073709551615]
(take 7 ([(1::Word64) .. 5])) = [1,2,3,4,5]
(take 4 ([(1::Word64) .. 1])) = [1]
- (take 7 ([(1::Word64) .. 0])) = [1,0]
- (take 7 ([(5::Word64) .. 0])) = [5,4,3,2,1,0]
+ (take 7 ([(1::Word64) .. 0])) = []
+ (take 7 ([(5::Word64) .. 0])) = []
(take 7 ([(maxBound-(5::Word64)) .. maxBound])) = [18446744073709551610,18446744073709551611,18446744073709551612,18446744073709551613,18446744073709551614,18446744073709551615]
- (take 7 ([(minBound+(5::Word64)) .. minBound])) = [5,4,3,2,1,0]
+ (take 7 ([(minBound+(5::Word64)) .. minBound])) = []
(take 7 [(5::Word64),4..1]) = [5,4,3,2,1]
(take 7 [(5::Word64),3..1]) = [5,3,1]
(take 7 [(5::Word64),3..2]) = [5,3]