Safe Haskell	None
Language	Haskell2010

Feldspar.Core.Constructs.Future

Documentation

data FUTURE a where Source

Constructors

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

Instances

EvalBind FUTURE
Semantic FUTURE
Eval FUTURE
Render FUTURE
StringTree FUTURE
Equality 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