| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Array
Documentation
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 | |
| StringTree Array | |
| Equality Array | |
| Monotonic Array | |
| Sharable Array | |
| AlphaEq dom dom dom env => AlphaEq Array Array dom env | |
| SizeProp ((:||) Array Type) | |
| ((:<:) ((:||) Array Type) dom, (:<:) ((:||) NUM Type) dom, (:<:) Let dom, (:<:) ((:||) ORD Type) dom, (:<:) ((:||) INTEGRAL Type) dom, (:<:) ((:||) COMPLEX Type) dom, (:<:) ((:||) Variable Type) dom, (:<:) (CLambda Type) dom, OptimizeSuper dom) => Optimize ((:||) Array Type) dom |