Safe Haskell	None
Language	Haskell2010

Futhark.Transform.Substitute

Description

This module contains facilities for replacing variable names in syntactic constructs.

Synopsis

type Substitutions = Map VName VName
class Substitute a where
- substituteNames :: Map VName VName -> a -> a
type Substitutable lore = (Annotations lore, Substitute (ExpAttr lore), Substitute (BodyAttr lore), Substitute (LetAttr lore), Substitute (FParamAttr lore), Substitute (LParamAttr lore), Substitute (RetType lore), Substitute (BranchType lore), Substitute (Op lore))

Documentation

type Substitutions = Map VName VName Source #

The substitutions to be made are given by a mapping from names to names.

class Substitute a where Source #

A type that is an instance of this class supports substitution of any names contained within.

Methods

substituteNames :: Map VName VName -> a -> a Source #

substituteNames m e replaces the variable names in e with new names, based on the mapping in m. It is assumed that all names in e are unique, i.e. there is no shadowing.

Instances

Substitute Bool Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Bool -> Bool Source #
Substitute () Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> () -> () Source #
Substitute VName Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> VName -> VName Source #
Substitute Names Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Names -> Names Source #
Substitute SubExp Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> SubExp -> SubExp Source #
Substitute Certificates Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Certificates -> Certificates Source #
Substitute Ident Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Ident -> Ident Source #
Substitute Rank Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Rank -> Rank Source #
Substitute UsageTable Source #
Instance details Defined in Futhark.Analysis.UsageTable Methods substituteNames :: Map VName VName -> UsageTable -> UsageTable Source #
Substitute ScalExp Source #
Instance details Defined in Futhark.Analysis.ScalExp Methods substituteNames :: Map VName VName -> ScalExp -> ScalExp Source #
Substitute KnownBound Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Ranges Methods substituteNames :: Map VName VName -> KnownBound -> KnownBound Source #
Substitute Names' Source #
Instance details Defined in Futhark.Representation.Aliases Methods substituteNames :: Map VName VName -> Names' -> Names' Source #
Substitute ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods substituteNames :: Map VName VName -> ExpWisdom -> ExpWisdom Source #
Substitute VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods substituteNames :: Map VName VName -> VarWisdom -> VarWisdom Source #
Substitute CombineSpace Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods substituteNames :: Map VName VName -> CombineSpace -> CombineSpace Source #
Substitute SplitOrdering Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods substituteNames :: Map VName VName -> SplitOrdering -> SplitOrdering Source #
Substitute WhichThreads Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods substituteNames :: Map VName VName -> WhichThreads -> WhichThreads Source #
Substitute KernelResult Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods substituteNames :: Map VName VName -> KernelResult -> KernelResult Source #
Substitute SpaceStructure Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods substituteNames :: Map VName VName -> SpaceStructure -> SpaceStructure Source #
Substitute KernelSpace Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods substituteNames :: Map VName VName -> KernelSpace -> KernelSpace Source #
Substitute MemReturn Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods substituteNames :: Map VName VName -> MemReturn -> MemReturn Source #
Substitute MemBind Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods substituteNames :: Map VName VName -> MemBind -> MemBind Source #
Substitute Input Source #
Instance details Defined in Futhark.Analysis.HORepresentation.SOAC Methods substituteNames :: Map VName VName -> Input -> Input Source #
Substitute ArrayTransforms Source #
Instance details Defined in Futhark.Analysis.HORepresentation.SOAC Methods substituteNames :: Map VName VName -> ArrayTransforms -> ArrayTransforms Source #
Substitute ArrayTransform Source #
Instance details Defined in Futhark.Analysis.HORepresentation.SOAC Methods substituteNames :: Map VName VName -> ArrayTransform -> ArrayTransform Source #
Substitute a => Substitute [a] Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> [a] -> [a] Source #
Substitute a => Substitute (Maybe a) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Maybe a -> Maybe a Source #
Substitute attr => Substitute (PatElemT attr) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> PatElemT attr -> PatElemT attr Source #
Substitute d => Substitute (DimIndex d) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> DimIndex d -> DimIndex d Source #
Substitute attr => Substitute (ParamT attr) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> ParamT attr -> ParamT attr Source #
Substitute d => Substitute (Ext d) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Ext d -> Ext d Source #
Substitute d => Substitute (ShapeBase d) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> ShapeBase d -> ShapeBase d Source #
Substitutable lore => Substitute (Lambda lore) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Lambda lore -> Lambda lore Source #
Substitutable lore => Substitute (Exp lore) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Exp lore -> Exp lore Source #
Substitute d => Substitute (DimChange d) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> DimChange d -> DimChange d Source #
Substitutable lore => Substitute (Body lore) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Body lore -> Body lore Source #
Substitute (Stm lore) => Substitute (Stms lore) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Stms lore -> Stms lore Source #
Substitutable lore => Substitute (Stm lore) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Stm lore -> Stm lore Source #
Substitute attr => Substitute (StmAux attr) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> StmAux attr -> StmAux attr Source #
Substitute attr => Substitute (PatternT attr) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> PatternT attr -> PatternT attr Source #
Substitutable lore => Substitute (NameInfo lore) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> NameInfo lore -> NameInfo lore Source #
Substitute v => Substitute (PrimExp v) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> PrimExp v -> PrimExp v Source #
Substitute num => Substitute (IxFun num) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory.Lmad Methods substituteNames :: Map VName VName -> IxFun num -> IxFun num Source #
Substitute num => Substitute (IxFun num) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory.IndexFunction Methods substituteNames :: Map VName VName -> IxFun num -> IxFun num Source #
Attributes lore => Substitute (SOAC lore) Source #
Instance details Defined in Futhark.Representation.SOACS.SOAC Methods substituteNames :: Map VName VName -> SOAC lore -> SOAC lore Source #
Attributes lore => Substitute (GroupStreamLambda lore) Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods substituteNames :: Map VName VName -> GroupStreamLambda lore -> GroupStreamLambda lore Source #
Attributes lore => Substitute (KernelExp lore) Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods substituteNames :: Map VName VName -> KernelExp lore -> KernelExp lore Source #
Attributes lore => Substitute (KernelBody lore) Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods substituteNames :: Map VName VName -> KernelBody lore -> KernelBody lore Source #
Attributes lore => Substitute (Kernel lore) Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods substituteNames :: Map VName VName -> Kernel lore -> Kernel lore Source #
Substitute inner => Substitute (MemOp inner) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods substituteNames :: Map VName VName -> MemOp inner -> MemOp inner Source #
(Substitute a, Substitute b) => Substitute (a, b) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> (a, b) -> (a, b) Source #
Substitute shape => Substitute (TypeBase shape u) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> TypeBase shape u -> TypeBase shape u Source #
(Substitute a, Substitute b, Substitute c) => Substitute (a, b, c) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> (a, b, c) -> (a, b, c) Source #
(Substitute d, Substitute ret) => Substitute (MemInfo d u ret) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods substituteNames :: Map VName VName -> MemInfo d u ret -> MemInfo d u ret Source #
(Substitute a, Substitute b, Substitute c, Substitute d) => Substitute (a, b, c, d) Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> (a, b, c, d) -> (a, b, c, d) Source #

type Substitutable lore = (Annotations lore, Substitute (ExpAttr lore), Substitute (BodyAttr lore), Substitute (LetAttr lore), Substitute (FParamAttr lore), Substitute (LParamAttr lore), Substitute (RetType lore), Substitute (BranchType lore), Substitute (Op lore)) Source #

Lores in which all annotations support name substitution.