futhark-0.20.0: An optimising compiler for a functional, array-oriented language.
Safe HaskellTrustworthy
LanguageHaskell2010

Futhark.Internalise.Defunctorise

Description

Partially evaluate all modules away from a source Futhark program. This is implemented as a source-to-source transformation.

Synopsis

Documentation

transformProg :: MonadFreshNames m => Imports -> m [Dec] Source #

Perform defunctorisation.