Feldspar.Core.Constructs.Future

Documentation

data FUTURE a where

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