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 Adj

Defined in Futhark.AD.Rev.Monad

Methods

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

Substitute ArrayTransform

Defined in Futhark.Analysis.HORep.SOAC

Methods

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

Substitute ArrayTransforms

Defined in Futhark.Analysis.HORep.SOAC

Methods

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

Substitute Input

Defined in Futhark.Analysis.HORep.SOAC

Methods

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

Substitute AliasDec

Defined in Futhark.IR.Aliases

Methods

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

Substitute KernelGrid

Defined in Futhark.IR.GPU.Op

Methods

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

Substitute SegLevel

Defined in Futhark.IR.GPU.Op

Methods

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

Substitute SizeOp

Defined in Futhark.IR.GPU.Op

Methods

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

Substitute MemBind

Defined in Futhark.IR.Mem

Methods

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

Substitute MemReturn

Defined in Futhark.IR.Mem

Methods

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

Substitute FV

Defined in Futhark.Transform.Substitute

Methods

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

Substitute Names

Defined in Futhark.Transform.Substitute

Methods

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

Substitute KernelResult

Defined in Futhark.IR.SegOp

Methods

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

Substitute SubExpRes

Defined in Futhark.Transform.Substitute

Methods

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

Substitute Attrs

Defined in Futhark.Transform.Substitute

Methods

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

Substitute Certs

Defined in Futhark.Transform.Substitute

Methods

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

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 SubExp

Defined in Futhark.Transform.Substitute

Methods

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

Substitute ExpWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Substitute VarWisdom

Defined in Futhark.Optimise.Simplify.Rep

Methods

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

Substitute VName

Defined in Futhark.Transform.Substitute

Methods

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

Substitute PrimType

Defined in Futhark.Transform.Substitute

Methods

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

Substitute ()

Defined in Futhark.Transform.Substitute

Methods

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

Substitute Bool

Defined in Futhark.Transform.Substitute

Methods

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

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.IR.Mem.IxFun

Methods

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

Substitute num => Substitute (LMAD num)

Defined in Futhark.IR.Mem.IxFun

Methods

substituteNames :: Map VName VName -> LMAD num -> LMAD num

Substitutable rep => Substitute (NameInfo rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> NameInfo rep -> NameInfo rep

ASTRep rep => Substitute (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

substituteNames :: Map VName VName -> SOAC rep -> SOAC rep

ASTRep rep => Substitute (KernelBody rep)

Defined in Futhark.IR.SegOp

Methods

substituteNames :: Map VName VName -> KernelBody rep -> KernelBody rep

Substitutable rep => Substitute (Body rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Body rep -> Body rep

Substitutable rep => Substitute (Exp rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Exp rep -> Exp rep

Substitutable rep => Substitute (Lambda rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Lambda rep -> Lambda rep

Substitute dec => Substitute (Pat dec)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Pat dec -> Pat dec

Substitutable rep => Substitute (Stm rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Stm rep -> Stm rep

Substitute dec => Substitute (StmAux dec)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> StmAux dec -> StmAux dec

Substitute (Stm rep) => Substitute (Stms rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Stms rep -> Stms rep

Substitute d => Substitute (DimIndex d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (Ext d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (FlatDimIndex d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> FlatDimIndex d -> FlatDimIndex d

Substitute d => Substitute (FlatSlice d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> FlatSlice d -> FlatSlice d

Substitute dec => Substitute (Param dec)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Param dec -> Param dec

Substitute dec => Substitute (PatElem dec)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PatElem dec -> PatElem dec

Substitute d => Substitute (ShapeBase d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (Slice d)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> Slice d -> Slice d

Substitute a => Substitute (Maybe a)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute a => Substitute [a]

Defined in Futhark.Transform.Substitute

Methods

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

(ASTRep rep, Substitute (op rep)) => Substitute (HostOp op rep)

Defined in Futhark.IR.GPU.Op

Methods

substituteNames :: Map VName VName -> HostOp op rep -> HostOp op rep

(ASTRep rep, Substitute (op rep)) => Substitute (MCOp op rep)

Defined in Futhark.IR.MC.Op

Methods

substituteNames :: Map VName VName -> MCOp op rep -> MCOp op rep

Substitute (inner rep) => Substitute (MemOp inner rep)

Defined in Futhark.IR.Mem

Methods

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

Substitute (NoOp rep)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> NoOp rep -> NoOp rep

(ASTRep rep, Substitute lvl) => Substitute (SegOp lvl rep)

Defined in Futhark.IR.SegOp

Methods

substituteNames :: Map VName VName -> SegOp lvl rep -> SegOp lvl rep

Substitute shape => Substitute (TypeBase shape u)

Defined in Futhark.Transform.Substitute

Methods

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

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

Defined in Futhark.Transform.Substitute

Methods

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

Substitute v => Substitute (TPrimExp t v)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> TPrimExp t v -> TPrimExp t v

Substitute e => Substitute (Count u e)

Defined in Futhark.IR.GPU.Sizes

Methods

substituteNames :: Map VName VName -> Count u e -> Count u e

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

Defined in Futhark.IR.Mem

Methods

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

(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 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 rep = (RepTypes rep, Substitute (ExpDec rep), Substitute (BodyDec rep), Substitute (LetDec rep), Substitute (FParamInfo rep), Substitute (LParamInfo rep), Substitute (RetType rep), Substitute (BranchType rep), Substitute (Op rep))

Representations in which all annotations support name substitution.