Safe Haskell | Safe-Infered |
---|
Index types.
Index types
An index of dimension zero
Eq Z | |
Ord Z | |
Show Z | |
Shape Z | |
Slice Z | |
(Fillable r2 e, Elt e) => FillRange D r2 DIM2 e | Compute a range of elements in a rank-2 array. |
(Fillable r2 e, Elt e) => FillRange C r2 DIM2 e | Compute a range of elements in a rank-2 array. |
(Fillable r2 e, Elt e) => Fill C r2 DIM2 e | Compute all elements in an rank-2 array. |
Our index type, used for both shapes and indices.
!tail :. !head |
(Fillable r2 e, Elt e) => FillRange D r2 DIM2 e | Compute a range of elements in a rank-2 array. |
(Fillable r2 e, Elt e) => FillRange C r2 DIM2 e | Compute a range of elements in a rank-2 array. |
(Fillable r2 e, Elt e) => Fill C r2 DIM2 e | Compute all elements in an rank-2 array. |
(Eq tail, Eq head) => Eq (:. tail head) | |
(Ord tail, Ord head) => Ord (:. tail head) | |
(Show tail, Show head) => Show (:. tail head) | |
Shape sh => Shape (:. sh Int) | |
Slice sl => Slice (:. sl All) | |
Slice sl => Slice (:. sl Int) |