Futhark.Optimise.InPlaceLowering.LowerIntoStm

Documentation

lowerUpdateKernels :: MonadFreshNames m => LowerUpdate Kernels m

lowerUpdate :: (MonadFreshNames m, Bindable lore, LetDec lore ~ Type, CanBeAliased (Op lore)) => LowerUpdate lore m

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

data DesiredUpdate dec

Constructors

DesiredUpdate

Fields

• updateName :: VName

  Name of result.

• updateType :: dec

  Type of result.

• updateCertificates :: Certificates
• updateSource :: VName
• updateIndices :: Slice SubExp
• updateValue :: VName

Instances

Functor DesiredUpdate

Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm

Methods

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

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

Show dec => Show (DesiredUpdate dec)

Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm

Methods

showsPrec :: Int -> DesiredUpdate dec -> ShowS

show :: DesiredUpdate dec -> String

showList :: [DesiredUpdate dec] -> ShowS