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 PrimType

Defined in Futhark.Transform.Substitute

Methods

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

Substitute VName

Defined in Futhark.Transform.Substitute

Methods

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

Substitute SubExp

Defined in Futhark.Transform.Substitute

Methods

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

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

Defined in Futhark.IR.Aliases

Methods

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

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 MemReturn

Defined in Futhark.IR.Mem

Methods

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

Substitute MemBind

Defined in Futhark.IR.Mem

Methods

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

Substitute KernelResult

Defined in Futhark.IR.SegOp

Methods

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

Substitute SplitOrdering

Defined in Futhark.IR.SegOp

Methods

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

Substitute SizeOp

Defined in Futhark.IR.GPU.Op

Methods

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

Substitute SegLevel

Defined in Futhark.IR.GPU.Op

Methods

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

Substitute Input

Defined in Futhark.Analysis.HORep.SOAC

Methods

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

Substitute ArrayTransforms

Defined in Futhark.Analysis.HORep.SOAC

Methods

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

Substitute ArrayTransform

Defined in Futhark.Analysis.HORep.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 dec => Substitute (PatElemT dec)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PatElemT dec -> PatElemT dec

Substitute d => Substitute (FlatSlice d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (FlatDimIndex d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (Slice d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (DimIndex d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute dec => Substitute (Param dec)

Defined in Futhark.Transform.Substitute

Methods

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

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 rep => Substitute (Lambda rep)

Defined in Futhark.Transform.Substitute

Methods

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

Substitutable rep => Substitute (Exp rep)

Defined in Futhark.Transform.Substitute

Methods

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

Substitute d => Substitute (DimChange d)

Defined in Futhark.Transform.Substitute

Methods

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

Substitutable rep => Substitute (Body rep)

Defined in Futhark.Transform.Substitute

Methods

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

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

Defined in Futhark.Transform.Substitute

Methods

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

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 dec => Substitute (PatT dec)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> PatT dec -> PatT dec

Substitutable rep => Substitute (NameInfo rep)

Defined in Futhark.Transform.Substitute

Methods

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

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

ASTRep rep => Substitute (SOAC rep)

Defined in Futhark.IR.SOACS.SOAC

Methods

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

Substitute inner => Substitute (MemOp inner)

Defined in Futhark.IR.Mem

Methods

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

ASTRep rep => Substitute (KernelBody rep)

Defined in Futhark.IR.SegOp

Methods

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

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

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

Defined in Futhark.IR.SegOp

Methods

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

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

Defined in Futhark.IR.MC.Op

Methods

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

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

Defined in Futhark.IR.GPU.Op

Methods

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

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

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