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