| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Futhark.Internalise
Description
This module implements a transformation from source to core Futhark.
Synopsis
- internaliseProg :: MonadFreshNames m => Bool -> Imports -> m (Prog SOACS)
Documentation
internaliseProg :: MonadFreshNames m => Bool -> Imports -> m (Prog SOACS) Source #
Convert a program in source Futhark to a program in the Futhark core language.