boxed construction
[]
[4]
[7,7,7]
[8,8,8,8,8,8,8,8,8,8,8]
[0,1,2,3,4,5,6,7,8,9]
[0,1,2,3,4,5,6,7,8,9,10]
3
boxed generation
[0,1,4,9,16]
[1,2,5,10,17]
[0,2,6,12,20]
boxed instances
[1,2,3]
True
True
6
[1,2,3]
Just [2,3,4]
boxed lazy elements
7
3
[7]
11
[]
(3,7,7,9)
boxed loop laziness
11
22
33
44
Just 0
(False,True,True)
boxed slicing
[1,2,3]
[0,1,2]
[]
[2,3,4]
[]
[0,1,3,4]
([0,1,2,3,4],[0,1,2,3,4],[0,1,2,3,4])
([0,1,2,3,4],[0,1,2,3,4],[])
unboxed basic
[]
[4]
[7,7,7]
[0,1,2,3,4]
[1.5,2.5]
(5,0,1)
(2,3,-1,-1)
(1,1)
[0,1,2,3,4]
[((1,1.5),10),((2,2.5),20)]
(1000,0,999)
unboxed shape laziness
(2,0)
("concat numeric shape",3,0)
("concat bit shape",2,0)
1
(1,1)
1
0
2
1
("concat pair shape",2)
unboxed slices and pairs
[0,1,2,3,4,5,6,7]
[2,3,4,5]
[3,4]
[3,4]
([],[0,1,2,3,4,5,6,7])
([0,1,2,3,4,5,6,7],[])
(2,[(1,1.5),(2,2.5)])
(2,[1,2],2,[1.5,2.5])
[((1,1.5),10),((2,2.5),20)]
unboxed concat
("int",[1,2,3,4])
("double",[0.5,1.5,3.5])
("empty",0,[])
("pair",[((1,1.5),10),((2,2.5),20)])
("bit",(130,64),[1,1,0,1,0,0],0)
