Safe Haskell | None |
---|---|
Language | Haskell2010 |
Representation used by the simplification engine. It contains aliasing information and a bit of caching for various information that is looked up frequently. The name is an old relic; feel free to suggest a better one.
Synopsis
- data Wise rep
- newtype VarWisdom = VarWisdom {}
- data ExpWisdom
- removeStmWisdom :: CanBeWise (Op rep) => Stm (Wise rep) -> Stm rep
- removeLambdaWisdom :: CanBeWise (Op rep) => Lambda (Wise rep) -> Lambda rep
- removeFunDefWisdom :: CanBeWise (Op rep) => FunDef (Wise rep) -> FunDef rep
- removeExpWisdom :: CanBeWise (Op rep) => Exp (Wise rep) -> Exp rep
- removePatWisdom :: Pat (VarWisdom, a) -> Pat a
- removeBodyWisdom :: CanBeWise (Op rep) => Body (Wise rep) -> Body rep
- removeScopeWisdom :: Scope (Wise rep) -> Scope rep
- addScopeWisdom :: Scope rep -> Scope (Wise rep)
- addWisdomToPat :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec rep) -> Exp (Wise rep) -> Pat (LetDec (Wise rep))
- mkWiseBody :: (ASTRep rep, CanBeWise (Op rep)) => BodyDec rep -> Stms (Wise rep) -> Result -> Body (Wise rep)
- mkWiseStm :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec rep) -> StmAux (ExpDec rep) -> Exp (Wise rep) -> Stm (Wise rep)
- mkWiseExpDec :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec (Wise rep)) -> ExpDec rep -> Exp (Wise rep) -> ExpDec (Wise rep)
- class (AliasedOp (OpWithWisdom op), IsOp (OpWithWisdom op)) => CanBeWise op where
- type OpWithWisdom op :: Type
- removeOpWisdom :: OpWithWisdom op -> op
- addOpWisdom :: op -> OpWithWisdom op
- type Informing rep = (ASTRep rep, CanBeWise (Op rep))
- informLambda :: Informing rep => Lambda rep -> Lambda (Wise rep)
- informFunDef :: Informing rep => FunDef rep -> FunDef (Wise rep)
- informStms :: Informing rep => Stms rep -> Stms (Wise rep)
- informBody :: Informing rep => Body rep -> Body (Wise rep)
Documentation
Representative phantom type for the simplifier representation.
Instances
The information associated with a let-bound variable.
Instances
Simplifier information about an expression.
Instances
Eq ExpWisdom Source # | |
Ord ExpWisdom Source # | |
Defined in Futhark.Optimise.Simplify.Rep | |
Show ExpWisdom Source # | |
FreeDec ExpWisdom Source # | |
Defined in Futhark.Optimise.Simplify.Rep | |
FreeIn ExpWisdom Source # | |
Substitute ExpWisdom Source # | |
Defined in Futhark.Optimise.Simplify.Rep | |
Rename ExpWisdom Source # | |
removeStmWisdom :: CanBeWise (Op rep) => Stm (Wise rep) -> Stm rep Source #
Remove simplifier information from statement.
removeLambdaWisdom :: CanBeWise (Op rep) => Lambda (Wise rep) -> Lambda rep Source #
Remove simplifier information from lambda.
removeFunDefWisdom :: CanBeWise (Op rep) => FunDef (Wise rep) -> FunDef rep Source #
Remove simplifier information from function.
removeExpWisdom :: CanBeWise (Op rep) => Exp (Wise rep) -> Exp rep Source #
Remove simplifier information from expression.
removeBodyWisdom :: CanBeWise (Op rep) => Body (Wise rep) -> Body rep Source #
Remove simplifier information from body.
removeScopeWisdom :: Scope (Wise rep) -> Scope rep Source #
Remove simplifier information from scope.
addScopeWisdom :: Scope rep -> Scope (Wise rep) Source #
Add simplifier information to scope. All the aliasing information will be vacuous, however.
addWisdomToPat :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec rep) -> Exp (Wise rep) -> Pat (LetDec (Wise rep)) Source #
Add simplifier information to pattern.
mkWiseBody :: (ASTRep rep, CanBeWise (Op rep)) => BodyDec rep -> Stms (Wise rep) -> Result -> Body (Wise rep) Source #
Produce a body with simplifier information.
mkWiseStm :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec rep) -> StmAux (ExpDec rep) -> Exp (Wise rep) -> Stm (Wise rep) Source #
Produce a statement with simplifier information.
mkWiseExpDec :: (ASTRep rep, CanBeWise (Op rep)) => Pat (LetDec (Wise rep)) -> ExpDec rep -> Exp (Wise rep) -> ExpDec (Wise rep) Source #
Produce simplifier information for an expression.
class (AliasedOp (OpWithWisdom op), IsOp (OpWithWisdom op)) => CanBeWise op where Source #
A type class for indicating that this operation can be lifted into the simplifier representation.
type OpWithWisdom op :: Type Source #
removeOpWisdom :: OpWithWisdom op -> op Source #
addOpWisdom :: op -> OpWithWisdom op Source #
Instances
Constructing representation
type Informing rep = (ASTRep rep, CanBeWise (Op rep)) Source #
Constraints that let us transform a representation into a Wise
representation.