| 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 :: Type
- 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
| (Aliased lore, CanBeRanged (Op lore), AliasedOp (OpWithRanges (Op lore))) => Aliased (Ranges lore) Source # | |
Defined in Futhark.Representation.Ranges | |
| (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.
Instances
| AliasesOf Names Source # | |
| AliasesOf attr => AliasesOf (PatElemT attr) Source # | |
| AliasesOf attr => AliasesOf ([Range], attr) Source # | |
| AliasesOf attr => AliasesOf (Range, attr) Source # | |
| AliasesOf (VarAliases, attr) Source # | |
Defined in Futhark.Representation.Aliases Methods aliasesOf :: (VarAliases, attr) -> Names Source # | |
| AliasesOf (VarWisdom, attr) Source # | |
Consumption
Extensibility
class IsOp op => AliasedOp op where Source #
Instances
| AliasedOp () Source # | |
| AliasedOp SizeOp Source # | |
| (Attributes lore, Aliased lore) => AliasedOp (SOAC lore) Source # | |
| (Attributes lore, Aliased lore) => AliasedOp (SegOp lore) Source # | |
| AliasedOp inner => AliasedOp (MemOp inner) Source # | |
| (Aliased lore, AliasedOp op, Attributes lore) => AliasedOp (HostOp lore op) Source # | |
class AliasedOp (OpWithAliases op) => CanBeAliased op where Source #
Associated Types
type OpWithAliases op :: Type Source #
Methods
removeOpAliases :: OpWithAliases op -> op Source #
addOpAliases :: op -> OpWithAliases op Source #