Safe Haskell | None |
---|
Generic array class. This is used as a compatability layer during testing and debugging.
- class Array a e where
- fromList :: Array a e => [e] -> a e
- toList :: Array a e => a e -> [e]
- toVectors1 :: Array a e => a e -> Vector e
- toVectors2 :: (Array a1 (a2 e), Array a2 e) => a1 (a2 e) -> Vector (Vector e)
- toVectors3 :: (Array a1 (a2 (a3 e)), Array a2 (a3 e), Array a3 e) => a1 (a2 (a3 e)) -> Vector (Vector (Vector e))
- fromVectors1 :: Array a e => Vector e -> a e
- fromVectors2 :: (Array a1 (a2 e), Array a2 e) => Vector (Vector e) -> a1 (a2 e)
- fromVectors3 :: (Array a1 (a2 (a3 e)), Array a2 (a3 e), Array a3 e) => Vector (Vector (Vector e)) -> a1 (a2 (a3 e))
Documentation
Check whether an array has a valid internal representation.
Yield an array with just a single element.
append :: a e -> a e -> a eSource
Append two arrays.
Yield the length of an array.
index :: a e -> Int -> eSource
Retrieve the element at the given index.
toVector :: a e -> Vector eSource
Convert an array to a vector.
fromVector :: Vector e -> a eSource
Convert a vector to an array.
toVectors1 :: Array a e => a e -> Vector eSource
Convert the outer level of an array to vectors.
toVectors2 :: (Array a1 (a2 e), Array a2 e) => a1 (a2 e) -> Vector (Vector e)Source
Convert the outer two levels of an array to vectors.
toVectors3 :: (Array a1 (a2 (a3 e)), Array a2 (a3 e), Array a3 e) => a1 (a2 (a3 e)) -> Vector (Vector (Vector e))Source
Convert the outer three levels of an array to vectors.
fromVectors1 :: Array a e => Vector e -> a eSource
Convert some vectors to an array.