Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.CPL.Vars

Contents

Program Variables
Checks
Renaming

Synopsis

type VarSet = Set Ident
class HasFreeVars t where
- freeVarsList :: t -> [Ident]
freeVars :: HasFreeVars t => t -> VarSet
outVars :: Stmt ext -> VarSet
allNamesP :: HasFreeVars ext => Program ext -> VarSet
checkVarsUnique :: HasFreeVars ext => Program ext -> Bool
class RenameVars p where
- renameVars :: Ident -> p -> p
- renameVars' :: p -> p
addOnePrefix :: Ident -> Ident -> Ident

Program Variables

type VarSet = Set Ident #

class HasFreeVars t where #

Any language termexpr... that has a (possibly empty) set of free variables.

Minimal complete definition

Nothing

Methods

freeVarsList :: t -> [Ident] #

default freeVarsList :: (Generic t, GHasFreeVars (Rep t)) => t -> [Ident] #

Instances

Instances details

HasFreeVars Void #
Instance details Defined in Traq.CPL.Vars Methods freeVarsList :: Void -> [Ident] #
HasFreeVars ext => HasFreeVars (AnnFailProb ext) #
Instance details Defined in Traq.Analysis.Annotate.Prelude Methods freeVarsList :: AnnFailProb ext -> [Ident] #
HasFreeVars (BasicExpr size) #
Instance details Defined in Traq.CPL.Vars Methods freeVarsList :: BasicExpr size -> [Ident] #
HasFreeVars (DistrExpr size) #
Instance details Defined in Traq.CPL.Vars Methods freeVarsList :: DistrExpr size -> [Ident] #
HasFreeVars ext => HasFreeVars (Expr ext) #	The set of free (unbound) variables in an expression
Instance details Defined in Traq.CPL.Vars Methods freeVarsList :: Expr ext -> [Ident] #
HasFreeVars ext => HasFreeVars (Stmt ext) #	The set of free (unbound) variables
Instance details Defined in Traq.CPL.Vars Methods freeVarsList :: Stmt ext -> [Ident] #
HasFreeVars (Primitive prim) #
Instance details Defined in Traq.Primitives.Class Methods freeVarsList :: Primitive prim -> [Ident] #
HasFreeVars (Core size prec) #
Instance details Defined in Traq.CPL.Vars Methods freeVarsList :: Core size prec -> [Ident] #

freeVars :: HasFreeVars t => t -> VarSet #

outVars :: Stmt ext -> VarSet #

The set of generated output variables

allNamesP :: HasFreeVars ext => Program ext -> VarSet #

Get all the variables of a program

Checks

checkVarsUnique :: HasFreeVars ext => Program ext -> Bool #

Check if a program has unique variable names

Renaming

class RenameVars p where #

Make all variable names in the program unique

Minimal complete definition

renameVars

Methods

renameVars :: Ident -> p -> p #

renameVars' :: p -> p #

Instances

Instances details

RenameVars PartialFun #
Instance details Defined in Traq.Primitives.Class.Prelude Methods renameVars :: Ident -> PartialFun -> PartialFun # renameVars' :: PartialFun -> PartialFun #
RenameVars (BasicExpr size) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> BasicExpr size -> BasicExpr size # renameVars' :: BasicExpr size -> BasicExpr size #
RenameVars ext => RenameVars (Expr ext) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> Expr ext -> Expr ext # renameVars' :: Expr ext -> Expr ext #
RenameVars ext => RenameVars (FunBody ext) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> FunBody ext -> FunBody ext # renameVars' :: FunBody ext -> FunBody ext #
RenameVars ext => RenameVars (FunDef ext) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> FunDef ext -> FunDef ext # renameVars' :: FunDef ext -> FunDef ext #
RenameVars ext => RenameVars (NamedFunDef ext) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> NamedFunDef ext -> NamedFunDef ext # renameVars' :: NamedFunDef ext -> NamedFunDef ext #
RenameVars ext => RenameVars (Program ext) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> Program ext -> Program ext # renameVars' :: Program ext -> Program ext #
RenameVars ext => RenameVars (Stmt ext) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> Stmt ext -> Stmt ext # renameVars' :: Stmt ext -> Stmt ext #
RenameVars (Primitive p) #
Instance details Defined in Traq.Primitives.Class Methods renameVars :: Ident -> Primitive p -> Primitive p # renameVars' :: Primitive p -> Primitive p #
RenameVars (Core size prec) #
Instance details Defined in Traq.CPL.Vars Methods renameVars :: Ident -> Core size prec -> Core size prec # renameVars' :: Core size prec -> Core size prec #

addOnePrefix :: Ident -> Ident -> Ident #