feldspar-language-0.7: A functional embedded language for DSP and parallelism

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Constructs.Array

Documentation

data Array a where Source

Constructors

Parallel :: Type a => Array (Length :-> ((Index -> a) :-> Full [a])) 
Sequential :: (Type a, Type st) => Array (Length :-> (st :-> ((Index -> st -> (a, st)) :-> Full [a]))) 
Append :: Type a => Array ([a] :-> ([a] :-> Full [a])) 
GetIx :: Type a => Array ([a] :-> (Index :-> Full a)) 
SetIx :: Type a => Array ([a] :-> (Index :-> (a :-> Full [a]))) 
GetLength :: Type a => Array ([a] :-> Full Length) 
SetLength :: Type a => Array (Length :-> ([a] :-> Full [a]))