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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Frontend.Save

Description

Tracing execution of Feldspar expressions

Synopsis

Documentation

save :: Syntax a => a -> a Source

An identity function that guarantees that the result will be computed as a sub-result of the whole program. This is useful to prevent certain optimizations.

Exception: Currently constant folding does not respect save.

force :: Syntax a => a -> a Source

Equivalent to save. When applied to a lazy data structure, force (and save) has the effect of forcing evaluation of the whole structure.