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