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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Frontend.Future

Documentation

newtype Future a Source

Constructors

Future 

Fields

unFuture :: Data (FVal (Internal a))
 

Instances

Syntax a => Syntactic (Future a) 
type Internal (Future a) = FVal (Internal a) 
type Domain (Future a) = FeldDomain 

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

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

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

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