|
c2b4683a1a
|
GridView: add range() function
add GridWindowIterator from RangeInclusive
|
2021-01-18 22:05:57 +01:00 |
|
|
4fceafcac4
|
index/sequence: get() always return Option
|
2021-01-16 20:19:52 +01:00 |
|
|
0a1b4c2c23
|
fix warnings
|
2021-01-16 16:09:16 +01:00 |
|
|
6fe50416b5
|
index view: replace range() with area()
|
2021-01-16 13:57:53 +01:00 |
|
|
9c21ddbda1
|
separate modules for index, sequence & singleton
|
2021-01-12 23:09:46 +01:00 |
|
|
c574bf6ad2
|
move GridView & GridOffset into separate grid module
|
2021-01-12 22:40:15 +01:00 |
|