futhark-0.20.2: An optimising compiler for a functional, array-oriented language.
Safe HaskellTrustworthy
LanguageHaskell2010

Futhark.Transform.Rename

Description

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

Synopsis

Renaming programs

renameProg :: (Renameable rep, MonadFreshNames m) => Prog rep -> m (Prog rep) Source #

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 rep, MonadFreshNames m) => Exp rep -> m (Exp rep) Source #

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 rep, MonadFreshNames m) => Stm rep -> m (Stm rep) Source #

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 rep, MonadFreshNames m) => Body rep -> m (Body rep) Source #

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 rep, MonadFreshNames m) => Lambda rep -> m (Lambda rep) Source #

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.

renamePat :: (Rename dec, MonadFreshNames m) => PatT dec -> m (PatT dec) Source #

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

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

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

Renaming annotations

data RenameM a Source #

The monad in which renaming is performed.

Instances

Instances details
Monad RenameM Source # 
Instance details

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 Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

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

Applicative RenameM Source # 
Instance details

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 Source # 
Instance details

Defined in Futhark.Transform.Rename

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

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 rep => Stms rep -> (Stms rep -> RenameM a) -> RenameM a Source #

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

class Rename a where Source #

Members of class Rename can be uniquely renamed.

Methods

rename :: a -> RenameM a Source #

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

Instances

Instances details
Rename Bool Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename () Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: () -> RenameM () Source #

Rename PrimType Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename VName Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename SubExp Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename Certs Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename Ident Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename Rank Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename ExtSize Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename SubExpRes Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename Attrs Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename Names Source # 
Instance details

Defined in Futhark.Transform.Rename

Rename AliasDec Source # 
Instance details

Defined in Futhark.IR.Aliases

Rename ExpWisdom Source # 
Instance details

Defined in Futhark.Optimise.Simplify.Rep

Rename VarWisdom Source # 
Instance details

Defined in Futhark.Optimise.Simplify.Rep

Rename MemReturn Source # 
Instance details

Defined in Futhark.IR.Mem

Rename MemBind Source # 
Instance details

Defined in Futhark.IR.Mem

Rename KernelResult Source # 
Instance details

Defined in Futhark.IR.SegOp

Rename SplitOrdering Source # 
Instance details

Defined in Futhark.IR.SegOp

Rename SizeOp Source # 
Instance details

Defined in Futhark.IR.GPU.Op

Rename SegLevel Source # 
Instance details

Defined in Futhark.IR.GPU.Op

Rename a => Rename [a] Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename a => Rename (Maybe a) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename dec => Rename (PatElemT dec) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename d => Rename (DimIndex d) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename dec => Rename (Param dec) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename d => Rename (ShapeBase d) Source # 
Instance details

Defined in Futhark.Transform.Rename

Renameable rep => Rename (FunDef rep) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: FunDef rep -> RenameM (FunDef rep) Source #

Renameable rep => Rename (Lambda rep) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: Lambda rep -> RenameM (Lambda rep) Source #

Renameable rep => Rename (Exp rep) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: Exp rep -> RenameM (Exp rep) Source #

Renameable rep => Rename (Body rep) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: Body rep -> RenameM (Body rep) Source #

Renameable rep => Rename (Stm rep) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: Stm rep -> RenameM (Stm rep) Source #

Rename dec => Rename (StmAux dec) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename dec => Rename (PatT dec) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

rename :: PatT dec -> RenameM (PatT dec) Source #

Substitute num => Rename (IxFun num) Source # 
Instance details

Defined in Futhark.IR.Mem.IxFun

Methods

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

Substitute num => Rename (LMAD num) Source # 
Instance details

Defined in Futhark.IR.Mem.IxFun

Methods

rename :: LMAD num -> RenameM (LMAD num) Source #

ASTRep rep => Rename (SOAC rep) Source # 
Instance details

Defined in Futhark.IR.SOACS.SOAC

Methods

rename :: SOAC rep -> RenameM (SOAC rep) Source #

Rename inner => Rename (MemOp inner) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

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

ASTRep rep => Rename (KernelBody rep) Source # 
Instance details

Defined in Futhark.IR.SegOp

Methods

rename :: KernelBody rep -> RenameM (KernelBody rep) Source #

(Rename a, Rename b) => Rename (a, b) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

Rename shape => Rename (TypeBase shape u) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

(ASTRep rep, ASTConstraints lvl) => Rename (SegOp lvl rep) Source # 
Instance details

Defined in Futhark.IR.SegOp

Methods

rename :: SegOp lvl rep -> RenameM (SegOp lvl rep) Source #

(ASTRep rep, Rename op) => Rename (MCOp rep op) Source # 
Instance details

Defined in Futhark.IR.MC.Op

Methods

rename :: MCOp rep op -> RenameM (MCOp rep op) Source #

(ASTRep rep, Rename op) => Rename (HostOp rep op) Source # 
Instance details

Defined in Futhark.IR.GPU.Op

Methods

rename :: HostOp rep op -> RenameM (HostOp rep op) Source #

(Rename a, Rename b, Rename c) => Rename (a, b, c) Source # 
Instance details

Defined in Futhark.Transform.Rename

Methods

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

(Substitute d, Substitute ret) => Rename (MemInfo d u ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

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

type Renameable rep = (Rename (LetDec rep), Rename (ExpDec rep), Rename (BodyDec rep), Rename (FParamInfo rep), Rename (LParamInfo rep), Rename (RetType rep), Rename (BranchType rep), Rename (Op rep)) Source #

Representations in which all decorations are renameable.