Feldspar.Core.Frontend.Future

Documentation

newtype Future a

Constructors

Future

Fields

unFuture :: Data (FVal (Internal a))

Instances

Syntax a => Syntactic (Future a)

(Syntactic (Future a), ~ (* -> *) (Domain (Future a)) FeldDomainAll, Type (Internal (Future a)), Syntax a) => Syntax (Future a)

later :: (Syntax a, Syntax b) => (a -> b) -> Future a -> Future b

pval :: (Syntax a, Syntax b) => (a -> b) -> a -> b

future :: Syntax a => a -> Future a

await :: Syntax a => Future a -> a