Index types.
Index types
Our index type, used for both shapes and indices.
tail :. head |
(Eq tail, Eq head) => Eq (:. tail head) | |
(Ord tail, Ord head) => Ord (:. tail head) | |
(Show tail, Show head) => Show (:. tail head) | |
(Shape sh, Arbitrary sh) => Arbitrary (:. sh Int) | Generate an arbitrary index, which may have 0's for some components. |
Shape sh => Shape (:. sh Int) | |
Slice sl => Slice (:. sl All) | |
Slice sl => Slice (:. sl Int) |