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

Safe HaskellNone

Feldspar.Core.Constructs.Future

Documentation

data FUTURE a whereSource

Constructors

MkFuture :: Type a => FUTURE (a :-> Full (FVal a)) 
Await :: Type a => FUTURE (FVal a :-> Full a) 

Instances

Semantic FUTURE 
StringTree FUTURE 
Render FUTURE 
Eval FUTURE 
Equality FUTURE 
EvalBind FUTURE 
Monotonic FUTURE 
Sharable FUTURE 
AlphaEq dom dom dom env => AlphaEq FUTURE FUTURE dom env 
SizeProp (:|| FUTURE Type) 
(:<: (:|| FUTURE Type) dom, OptimizeSuper dom) => Optimize (:|| FUTURE Type) dom