Futhark.Transform.Substitute

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

Documentation

type Substitutions = Map VName VName

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

class Substitute a where

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

Methods

substituteNames :: Map VName VName -> a -> a

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

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Bool -> Bool

Substitute ()

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> () -> ()

Substitute VName

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> VName -> VName

Substitute Names

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Names -> Names

Substitute SubExp

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> SubExp -> SubExp

Substitute Certificates

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Certificates -> Certificates

Substitute Ident

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Ident -> Ident

Substitute Rank

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Rank -> Rank

Substitute UsageTable

Defined in Futhark.Analysis.UsageTable

Methods

substituteNames :: Map VName VName -> UsageTable -> UsageTable

Substitute ScalExp

Defined in Futhark.Analysis.ScalExp

Methods

substituteNames :: Map VName VName -> ScalExp -> ScalExp

Substitute KnownBound

Defined in Futhark.Representation.AST.Attributes.Ranges

Methods

substituteNames :: Map VName VName -> KnownBound -> KnownBound

Substitute Names'

Defined in Futhark.Representation.Aliases

Methods

substituteNames :: Map VName VName -> Names' -> Names'

Substitute ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

substituteNames :: Map VName VName -> ExpWisdom -> ExpWisdom

Substitute VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

substituteNames :: Map VName VName -> VarWisdom -> VarWisdom

Substitute CombineSpace

Defined in Futhark.Representation.Kernels.KernelExp

Methods

substituteNames :: Map VName VName -> CombineSpace -> CombineSpace

Substitute SplitOrdering

Defined in Futhark.Representation.Kernels.KernelExp

Methods

substituteNames :: Map VName VName -> SplitOrdering -> SplitOrdering

Substitute KernelResult

Defined in Futhark.Representation.Kernels.Kernel

Methods

substituteNames :: Map VName VName -> KernelResult -> KernelResult

Substitute SpaceStructure

Defined in Futhark.Representation.Kernels.Kernel

Methods

substituteNames :: Map VName VName -> SpaceStructure -> SpaceStructure

Substitute KernelSpace

Defined in Futhark.Representation.Kernels.Kernel

Methods

substituteNames :: Map VName VName -> KernelSpace -> KernelSpace

Substitute MemReturn

Defined in Futhark.Representation.ExplicitMemory

Methods

substituteNames :: Map VName VName -> MemReturn -> MemReturn

Substitute MemBind

Defined in Futhark.Representation.ExplicitMemory

Methods

substituteNames :: Map VName VName -> MemBind -> MemBind

Substitute Input

Defined in Futhark.Analysis.HORepresentation.SOAC

Methods

substituteNames :: Map VName VName -> Input -> Input

Substitute ArrayTransforms

Defined in Futhark.Analysis.HORepresentation.SOAC

Methods

substituteNames :: Map VName VName -> ArrayTransforms -> ArrayTransforms

Substitute ArrayTransform

Defined in Futhark.Analysis.HORepresentation.SOAC

Methods

substituteNames :: Map VName VName -> ArrayTransform -> ArrayTransform

Substitute a => Substitute [a]

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> [a] -> [a]

Substitute a => Substitute (Maybe a)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Maybe a -> Maybe a

Substitute attr => Substitute (PatElemT attr)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PatElemT attr -> PatElemT attr

Substitute d => Substitute (DimIndex d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> DimIndex d -> DimIndex d

Substitute attr => Substitute (ParamT attr)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> ParamT attr -> ParamT attr

Substitute d => Substitute (Ext d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Ext d -> Ext d

Substitute d => Substitute (ShapeBase d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> ShapeBase d -> ShapeBase d

Substitutable lore => Substitute (Lambda lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Lambda lore -> Lambda lore

Substitutable lore => Substitute (Exp lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Exp lore -> Exp lore

Substitute d => Substitute (DimChange d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> DimChange d -> DimChange d

Substitutable lore => Substitute (Body lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Body lore -> Body lore

Substitute (Stm lore) => Substitute (Stms lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Stms lore -> Stms lore

Substitutable lore => Substitute (Stm lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Stm lore -> Stm lore

Substitute attr => Substitute (StmAux attr)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> StmAux attr -> StmAux attr

Substitute attr => Substitute (PatternT attr)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PatternT attr -> PatternT attr

Substitutable lore => Substitute (NameInfo lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> NameInfo lore -> NameInfo lore

Substitute v => Substitute (PrimExp v)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PrimExp v -> PrimExp v

Substitute num => Substitute (IxFun num)

Defined in Futhark.Representation.ExplicitMemory.IndexFunction

Methods

substituteNames :: Map VName VName -> IxFun num -> IxFun num

Attributes lore => Substitute (SOAC lore)

Defined in Futhark.Representation.SOACS.SOAC

Methods

substituteNames :: Map VName VName -> SOAC lore -> SOAC lore

Attributes lore => Substitute (GroupStreamLambda lore)

Defined in Futhark.Representation.Kernels.KernelExp

Methods

substituteNames :: Map VName VName -> GroupStreamLambda lore -> GroupStreamLambda lore

Attributes lore => Substitute (KernelExp lore)

Defined in Futhark.Representation.Kernels.KernelExp

Methods

substituteNames :: Map VName VName -> KernelExp lore -> KernelExp lore

Attributes lore => Substitute (KernelBody lore)

Defined in Futhark.Representation.Kernels.Kernel

Methods

substituteNames :: Map VName VName -> KernelBody lore -> KernelBody lore

Attributes lore => Substitute (Kernel lore)

Defined in Futhark.Representation.Kernels.Kernel

Methods

substituteNames :: Map VName VName -> Kernel lore -> Kernel lore

Substitute inner => Substitute (MemOp inner)

Defined in Futhark.Representation.ExplicitMemory

Methods

substituteNames :: Map VName VName -> MemOp inner -> MemOp inner

(Substitute a, Substitute b) => Substitute (a, b)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> (a, b) -> (a, b)

Substitute shape => Substitute (TypeBase shape u)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> TypeBase shape u -> TypeBase shape u

Substitute inner => Substitute (HostOp lore inner)

Defined in Futhark.Representation.Kernels.Kernel

Methods

substituteNames :: Map VName VName -> HostOp lore inner -> HostOp lore inner

(Substitute a, Substitute b, Substitute c) => Substitute (a, b, c)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> (a, b, c) -> (a, b, c)

(Substitute d, Substitute ret) => Substitute (MemInfo d u ret)

Defined in Futhark.Representation.ExplicitMemory

Methods

substituteNames :: Map VName VName -> MemInfo d u ret -> MemInfo d u ret

(Substitute a, Substitute b, Substitute c, Substitute d) => Substitute (a, b, c, d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> (a, b, c, d) -> (a, b, c, d)

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))

Lores in which all annotations support name substitution.