| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Representation.AST.Attributes.Aliases
Contents
Synopsis
- vnameAliases :: VName -> Names
- subExpAliases :: SubExp -> Names
- primOpAliases :: BasicOp lore -> [Names]
- expAliases :: Aliased lore => Exp lore -> [Names]
- patternAliases :: AliasesOf attr => PatternT attr -> [Names]
- class (Annotations lore, AliasedOp (Op lore), AliasesOf (LetAttr lore)) => Aliased lore where
- bodyAliases :: Body lore -> [Names]
- consumedInBody :: Body lore -> Names
- class AliasesOf a where
- consumedInStm :: Aliased lore => Stm lore -> Names
- consumedInExp :: Aliased lore => Exp lore -> Names
- consumedByLambda :: Aliased lore => Lambda lore -> Names
- class IsOp op => AliasedOp op where
- opAliases :: op -> [Names]
- consumedInOp :: op -> Names
- class AliasedOp (OpWithAliases op) => CanBeAliased op where
- type OpWithAliases op :: *
- removeOpAliases :: OpWithAliases op -> op
- addOpAliases :: op -> OpWithAliases op
Documentation
vnameAliases :: VName -> Names Source #
subExpAliases :: SubExp -> Names Source #
primOpAliases :: BasicOp lore -> [Names] Source #
class (Annotations lore, AliasedOp (Op lore), AliasesOf (LetAttr lore)) => Aliased lore where Source #
Instances
| (Attributes lore, CanBeAliased (Op lore)) => Aliased (Aliases lore) Source # | |
Defined in Futhark.Representation.Aliases | |
| (Attributes lore, CanBeWise (Op lore)) => Aliased (Wise lore) Source # | |
Defined in Futhark.Optimise.Simplify.Lore | |
class AliasesOf a where Source #
Something that contains alias information.
Consumption
Extensibility
class AliasedOp (OpWithAliases op) => CanBeAliased op where Source #
Associated Types
type OpWithAliases op :: * Source #
Methods
removeOpAliases :: OpWithAliases op -> op Source #
addOpAliases :: op -> OpWithAliases op Source #