Feldspar.Core.Frontend.Array

Synopsis

• 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]
• 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

Documentation