| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Internalise.Exps
Description
Conversion of a monomorphic, first-order, defunctorised source program to a core Futhark program.
Synopsis
- transformProg :: MonadFreshNames m => Bool -> [ValBind] -> m (Prog SOACS)
Documentation
transformProg :: MonadFreshNames m => Bool -> [ValBind] -> m (Prog SOACS) Source #
Convert a program in source Futhark to a program in the Futhark core language.