Core language array operations
Documentation
arrayLen :: Type a => Data Length -> [a] -> Data [a]Source
Constructs an array of the given length and initialization.
Array update
class RandomAccess a whereSource
Type a => RandomAccess (Data [a]) | |
Syntactic a => RandomAccess (Vector a) | |
Syntactic a => RandomAccess (Stream a) |