Futhark.Optimise.InPlaceLowering.LowerIntoStm

Documentation

lowerUpdateInKernel :: MonadFreshNames m => LowerUpdate InKernel m

lowerUpdateKernels :: MonadFreshNames m => LowerUpdate Kernels m

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

data DesiredUpdate attr

Constructors

DesiredUpdate

Fields

• updateName :: VName

  Name of result.

• updateType :: attr

  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 attr => Show (DesiredUpdate attr)

Defined in Futhark.Optimise.InPlaceLowering.LowerIntoStm

Methods

showsPrec :: Int -> DesiredUpdate attr -> ShowS

show :: DesiredUpdate attr -> String

showList :: [DesiredUpdate attr] -> ShowS