Futhark.Optimise.InPlaceLowering.LowerIntoStm

Documentation

lowerUpdateGPU :: MonadFreshNames m => LowerUpdate GPU m

lowerUpdate :: (MonadFreshNames m, Buildable rep, LetDec rep ~ Type, AliasableRep rep) => LowerUpdate rep m

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

data DesiredUpdate dec

Constructors

DesiredUpdate

Fields

• updateName :: VName

  Name of result.

• updateType :: dec

  Type of result.

• updateCerts :: Certs
• 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