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