Jikka.Core.Language.RewriteRules

Documentation

data RewriteRule m

Instances

Monad m => Semigroup (RewriteRule m)

Defined in Jikka.Core.Language.RewriteRules

Methods

(<>) :: RewriteRule m -> RewriteRule m -> RewriteRule m

sconcat :: NonEmpty (RewriteRule m) -> RewriteRule m

stimes :: Integral b => b -> RewriteRule m -> RewriteRule m

Monad m => Monoid (RewriteRule m)

Defined in Jikka.Core.Language.RewriteRules

Methods

mempty :: RewriteRule m

mappend :: RewriteRule m -> RewriteRule m -> RewriteRule m

mconcat :: [RewriteRule m] -> RewriteRule m

data RewriteEnvironment

Constructors

RewriteEnvironment

Fields

• typeEnv :: [(VarName, Type)]
• assertedHints :: [(VarName, AssertedHint)]

Instances

Eq RewriteEnvironment

Defined in Jikka.Core.Language.RewriteRules

Methods

(==) :: RewriteEnvironment -> RewriteEnvironment -> Bool

(/=) :: RewriteEnvironment -> RewriteEnvironment -> Bool

Ord RewriteEnvironment

Defined in Jikka.Core.Language.RewriteRules

Methods

compare :: RewriteEnvironment -> RewriteEnvironment -> Ordering

(<) :: RewriteEnvironment -> RewriteEnvironment -> Bool

(<=) :: RewriteEnvironment -> RewriteEnvironment -> Bool

(>) :: RewriteEnvironment -> RewriteEnvironment -> Bool

(>=) :: RewriteEnvironment -> RewriteEnvironment -> Bool

max :: RewriteEnvironment -> RewriteEnvironment -> RewriteEnvironment

min :: RewriteEnvironment -> RewriteEnvironment -> RewriteEnvironment

Show RewriteEnvironment

Defined in Jikka.Core.Language.RewriteRules

Methods

showsPrec :: Int -> RewriteEnvironment -> ShowS

show :: RewriteEnvironment -> String

showList :: [RewriteEnvironment] -> ShowS

Construct Rules

makeRewriteRule :: Monad m => String -> (RewriteEnvironment -> Expr -> m (Maybe Expr)) -> RewriteRule m

pureRewriteRule :: Monad m => String -> (RewriteEnvironment -> Expr -> Maybe Expr) -> RewriteRule m

simpleRewriteRule :: Monad m => String -> (Expr -> Maybe Expr) -> RewriteRule m

traceRewriteRule :: Monad m => RewriteRule m -> RewriteRule m

traceRewriteRule prints logs when the RewriteRule works.

Apply Rules

emptyRewriteEnvironment :: RewriteEnvironment

makeRewriteEnvironmentFromTypeEnv :: [(VarName, Type)] -> RewriteEnvironment

applyRewriteRule :: MonadError Error m => RewriteRule m -> RewriteEnvironment -> Expr -> m (Maybe Expr)

applyRewriteRule applies a given rule to a given expr. This rewrites on all sub-exprs of the given expr, and repeats to rewrite while it is possible.

• This function is idempotent.
• This function doesn't terminate when a given rewrite rule doesn't terminate.

applyRewriteRuleToplevelExpr :: MonadError Error m => RewriteRule m -> RewriteEnvironment -> ToplevelExpr -> StateT Integer m (Maybe ToplevelExpr)

applyRewriteRuleProgram :: MonadError Error m => RewriteRule m -> Program -> m (Maybe Program)

applyRewriteRuleProgram' :: MonadError Error m => RewriteRule m -> Program -> m Program