| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.InPlaceLowering.LowerIntoStm
Documentation
lowerUpdateKernels :: MonadFreshNames m => LowerUpdate Kernels m Source #
lowerUpdate :: (MonadFreshNames m, Bindable lore, LetDec lore ~ Type, CanBeAliased (Op lore)) => LowerUpdate lore m Source #
type LowerUpdate lore m = Scope (Aliases lore) -> Stm (Aliases lore) -> [DesiredUpdate (LetDec (Aliases lore))] -> Maybe (m [Stm (Aliases lore)]) Source #
data DesiredUpdate dec Source #
Constructors
| DesiredUpdate | |
Fields
| |
Instances
| Functor DesiredUpdate Source # | |
Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm Methods fmap :: (a -> b) -> DesiredUpdate a -> DesiredUpdate b # (<$) :: a -> DesiredUpdate b -> DesiredUpdate a # | |
| Show dec => Show (DesiredUpdate dec) Source # | |
Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm Methods showsPrec :: Int -> DesiredUpdate dec -> ShowS # show :: DesiredUpdate dec -> String # showList :: [DesiredUpdate dec] -> ShowS # | |