Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fixpoint.Solver.Rewrite
Documentation
getRewrite :: RewriteArgs -> [(Expr, TermOrigin)] -> SubExpr -> AutoRewrite -> MaybeT IO (Expr, TermOrigin) Source #
data RewriteArgs Source #
Constructors
RWArgs | |
Fields
|
data RWTerminationOpts Source #
Constructors
RWTerminationCheckEnabled (Maybe Int) | |
RWTerminationCheckDisabled |
data TermOrigin Source #
Instances
Eq TermOrigin Source # | |
Defined in Language.Fixpoint.Solver.Rewrite | |
Show TermOrigin Source # | |
Defined in Language.Fixpoint.Solver.Rewrite Methods showsPrec :: Int -> TermOrigin -> ShowS # show :: TermOrigin -> String # showList :: [TermOrigin] -> ShowS # |