futhark-0.12.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.InPlaceLowering.LowerIntoStm

Documentation

type LowerUpdate lore m = Scope (Aliases lore) -> Stm (Aliases lore) -> [DesiredUpdate (LetAttr (Aliases lore))] -> Maybe (m [Stm (Aliases lore)]) Source #

data DesiredUpdate attr Source #

Constructors

DesiredUpdate 
Instances
Functor DesiredUpdate Source # 
Instance details

Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm

Methods

fmap :: (a -> b) -> DesiredUpdate a -> DesiredUpdate b #

(<$) :: a -> DesiredUpdate b -> DesiredUpdate a #

Show attr => Show (DesiredUpdate attr) Source # 
Instance details

Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm

Methods

showsPrec :: Int -> DesiredUpdate attr -> ShowS #

show :: DesiredUpdate attr -> String #

showList :: [DesiredUpdate attr] -> ShowS #