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

Safe Haskell | None

Feldspar.Core.Constructs.Array

# Documentation

data Array a where

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

Instances

EvalBind Array |
Semantic Array |
Eval Array |
Render Array |
ToTree Array |
Equality Array |
Sharable Array |
AlphaEq dom dom dom env => AlphaEq Array Array dom env |
SizeProp (:|| Array Type) |
(:<: (:|| Array Type) dom, :<: (:|| NUM Type) dom, :<: (:|| ORD Type) dom, :<: (:|| Variable Type) dom, :<: (CLambda Type) dom, OptimizeSuper dom) => Optimize (:|| Array Type) dom |