Futhark.Transform.Rename

This module provides facilities for transforming Futhark programs such that names are unique, via the renameProg function.

Renaming programs

renameProg :: (Renameable lore, MonadFreshNames m) => Prog lore -> m (Prog lore)

Rename variables such that each is unique. The semantics of the program are unaffected, under the assumption that the program was correct to begin with. In particular, the renaming may make an invalid program valid.

Renaming parts of a program.

renameExp :: (Renameable lore, MonadFreshNames m) => Exp lore -> m (Exp lore)

Rename bound variables such that each is unique. The semantics of the expression is unaffected, under the assumption that the expression was correct to begin with. Any free variables are left untouched.

renameStm :: (Renameable lore, MonadFreshNames m) => Stm lore -> m (Stm lore)

Rename bound variables such that each is unique. The semantics of the binding is unaffected, under the assumption that the binding was correct to begin with. Any free variables are left untouched, as are the names in the pattern of the binding.

renameBody :: (Renameable lore, MonadFreshNames m) => Body lore -> m (Body lore)

Rename bound variables such that each is unique. The semantics of the body is unaffected, under the assumption that the body was correct to begin with. Any free variables are left untouched.

renameLambda :: (Renameable lore, MonadFreshNames m) => Lambda lore -> m (Lambda lore)

Rename bound variables such that each is unique. The semantics of the lambda is unaffected, under the assumption that the body was correct to begin with. Any free variables are left untouched. Note in particular that the parameters of the lambda are renamed.

renamePattern :: (Rename dec, MonadFreshNames m) => PatternT dec -> m (PatternT dec)

Produce an equivalent pattern but with each pattern element given a new name.

renameSomething :: (Rename a, MonadFreshNames m) => a -> m a

Rename the bound variables in something (does not affect free variables).

Renaming annotations

data RenameM a

The monad in which renaming is performed.

Instances

Monad RenameM

Defined in Futhark.Transform.Rename

Methods

(>>=) :: RenameM a -> (a -> RenameM b) -> RenameM b

(>>) :: RenameM a -> RenameM b -> RenameM b

return :: a -> RenameM a

Functor RenameM

Defined in Futhark.Transform.Rename

Methods

fmap :: (a -> b) -> RenameM a -> RenameM b

(<$) :: a -> RenameM b -> RenameM a

Applicative RenameM

Defined in Futhark.Transform.Rename

Methods

pure :: a -> RenameM a

(<*>) :: RenameM (a -> b) -> RenameM a -> RenameM b

liftA2 :: (a -> b -> c) -> RenameM a -> RenameM b -> RenameM c

(*>) :: RenameM a -> RenameM b -> RenameM b

(<*) :: RenameM a -> RenameM b -> RenameM a

MonadFreshNames RenameM

Defined in Futhark.Transform.Rename

Methods

getNameSource :: RenameM VNameSource

putNameSource :: VNameSource -> RenameM ()

substituteRename :: Substitute a => a -> RenameM a

Perform a renaming using the Substitute instance. This only works if the argument does not itself perform any name binding, but it can save on boilerplate for simple types.

renamingStms :: Renameable lore => Stms lore -> (Stms lore -> RenameM a) -> RenameM a

Rename some statements, then execute an action with the name substitutions induced by the statements active.

class Rename a where

Members of class Rename can be uniquely renamed.

Methods

rename :: a -> RenameM a

Rename the given value such that it does not contain shadowing, and has incorporated any substitutions present in the RenameM environment.

Instances

Rename Bool

Defined in Futhark.Transform.Rename

Methods

rename :: Bool -> RenameM Bool

Rename ()

Defined in Futhark.Transform.Rename

Methods

rename :: () -> RenameM ()

Rename VName

Defined in Futhark.Transform.Rename

Methods

rename :: VName -> RenameM VName

Rename SubExp

Defined in Futhark.Transform.Rename

Methods

rename :: SubExp -> RenameM SubExp

Rename Certificates

Defined in Futhark.Transform.Rename

Methods

rename :: Certificates -> RenameM Certificates

Rename Ident

Defined in Futhark.Transform.Rename

Methods

rename :: Ident -> RenameM Ident

Rename Rank

Defined in Futhark.Transform.Rename

Methods

rename :: Rank -> RenameM Rank

Rename ExtSize

Defined in Futhark.Transform.Rename

Methods

rename :: ExtSize -> RenameM ExtSize

Rename Attrs

Defined in Futhark.Transform.Rename

Methods

rename :: Attrs -> RenameM Attrs

Rename Names

Defined in Futhark.Transform.Rename

Methods

rename :: Names -> RenameM Names

Rename AliasDec

Defined in Futhark.IR.Aliases

Methods

rename :: AliasDec -> RenameM AliasDec

Rename ExpWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

rename :: ExpWisdom -> RenameM ExpWisdom

Rename VarWisdom

Defined in Futhark.Optimise.Simplify.Lore

Methods

rename :: VarWisdom -> RenameM VarWisdom

Rename MemReturn

Defined in Futhark.IR.Mem

Methods

rename :: MemReturn -> RenameM MemReturn

Rename MemBind

Defined in Futhark.IR.Mem

Methods

rename :: MemBind -> RenameM MemBind

Rename KernelResult

Defined in Futhark.IR.SegOp

Methods

rename :: KernelResult -> RenameM KernelResult

Rename SplitOrdering

Defined in Futhark.IR.SegOp

Methods

rename :: SplitOrdering -> RenameM SplitOrdering

Rename SizeOp

Defined in Futhark.IR.Kernels.Kernel

Methods

rename :: SizeOp -> RenameM SizeOp

Rename SegLevel

Defined in Futhark.IR.Kernels.Kernel

Methods

rename :: SegLevel -> RenameM SegLevel

Rename a => Rename [a]

Defined in Futhark.Transform.Rename

Methods

rename :: [a] -> RenameM [a]

Rename a => Rename (Maybe a)

Defined in Futhark.Transform.Rename

Methods

rename :: Maybe a -> RenameM (Maybe a)

Rename dec => Rename (PatElemT dec)

Defined in Futhark.Transform.Rename

Methods

rename :: PatElemT dec -> RenameM (PatElemT dec)

Rename d => Rename (DimIndex d)

Defined in Futhark.Transform.Rename

Methods

rename :: DimIndex d -> RenameM (DimIndex d)

Rename dec => Rename (Param dec)

Defined in Futhark.Transform.Rename

Methods

rename :: Param dec -> RenameM (Param dec)

Rename d => Rename (ShapeBase d)

Defined in Futhark.Transform.Rename

Methods

rename :: ShapeBase d -> RenameM (ShapeBase d)

Renameable lore => Rename (FunDef lore)

Defined in Futhark.Transform.Rename

Methods

rename :: FunDef lore -> RenameM (FunDef lore)

Renameable lore => Rename (Lambda lore)

Defined in Futhark.Transform.Rename

Methods

rename :: Lambda lore -> RenameM (Lambda lore)

Renameable lore => Rename (Exp lore)

Defined in Futhark.Transform.Rename

Methods

rename :: Exp lore -> RenameM (Exp lore)

Renameable lore => Rename (Body lore)

Defined in Futhark.Transform.Rename

Methods

rename :: Body lore -> RenameM (Body lore)

Renameable lore => Rename (Stm lore)

Defined in Futhark.Transform.Rename

Methods

rename :: Stm lore -> RenameM (Stm lore)

Rename dec => Rename (StmAux dec)

Defined in Futhark.Transform.Rename

Methods

rename :: StmAux dec -> RenameM (StmAux dec)

Rename dec => Rename (PatternT dec)

Defined in Futhark.Transform.Rename

Methods

rename :: PatternT dec -> RenameM (PatternT dec)

Substitute num => Rename (IxFun num)

Defined in Futhark.IR.Mem.IxFun

Methods

rename :: IxFun num -> RenameM (IxFun num)

ASTLore lore => Rename (SOAC lore)

Defined in Futhark.IR.SOACS.SOAC

Methods

rename :: SOAC lore -> RenameM (SOAC lore)

Rename inner => Rename (MemOp inner)

Defined in Futhark.IR.Mem

Methods

rename :: MemOp inner -> RenameM (MemOp inner)

ASTLore lore => Rename (KernelBody lore)

Defined in Futhark.IR.SegOp

Methods

rename :: KernelBody lore -> RenameM (KernelBody lore)

(Rename a, Rename b) => Rename (a, b)

Defined in Futhark.Transform.Rename

Methods

rename :: (a, b) -> RenameM (a, b)

Rename shape => Rename (TypeBase shape u)

Defined in Futhark.Transform.Rename

Methods

rename :: TypeBase shape u -> RenameM (TypeBase shape u)

(ASTLore lore, ASTConstraints lvl) => Rename (SegOp lvl lore)

Defined in Futhark.IR.SegOp

Methods

rename :: SegOp lvl lore -> RenameM (SegOp lvl lore)

(ASTLore lore, Rename op) => Rename (MCOp lore op)

Defined in Futhark.IR.MC.Op

Methods

rename :: MCOp lore op -> RenameM (MCOp lore op)

(ASTLore lore, Rename op) => Rename (HostOp lore op)

Defined in Futhark.IR.Kernels.Kernel

Methods

rename :: HostOp lore op -> RenameM (HostOp lore op)

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

Defined in Futhark.Transform.Rename

Methods

rename :: (a, b, c) -> RenameM (a, b, c)

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

Defined in Futhark.IR.Mem

Methods

rename :: MemInfo d u ret -> RenameM (MemInfo d u ret)

type Renameable lore = (Rename (LetDec lore), Rename (ExpDec lore), Rename (BodyDec lore), Rename (FParamInfo lore), Rename (LParamInfo lore), Rename (RetType lore), Rename (BranchType lore), Rename (Op lore))

Lores in which all annotations are renameable.