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

Safe HaskellNone

Feldspar.Core.Frontend.Save

Description

Tracing execution of Feldspar expressions

Synopsis

Documentation

save :: Syntax a => a -> aSource

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 -> aSource

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