Feldspar.Core.Frontend.Array

Documentation

parallel :: Type a => Data Length -> (Data Index -> Data a) -> Data [a]

sequential :: (Type a, Syntax s) => Data Length -> s -> (Data Index -> s -> (Data a, s)) -> Data [a]

append :: Type a => Data [a] -> Data [a] -> Data [a]

getLength :: Type a => Data [a] -> Data Length

setLength :: Type a => Data Length -> Data [a] -> Data [a]

Change the length of the vector to the supplied value. If the supplied length is greater than the old length, the new elements will have undefined value.

getIx :: Type a => Data [a] -> Data Index -> Data a

setIx :: Type a => Data [a] -> Data Index -> Data a -> Data [a]

(|>) :: (Sized a, CollMap a a) => Patch (CollSize a) (CollSize a) -> Patch (Elem a) (Elem a) -> Patch a a

Array patch