Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
getRewrite :: AbstractOC oc Expr IO -> RewriteArgs -> oc -> SubExpr -> AutoRewrite -> MaybeT IO (Expr, oc) Source #
ordConstraints :: (Handle, Handle) -> AbstractOC (ConstraintsADT Op) Expr IO Source #
convert :: Expr -> RuntimeTerm Source #
passesTerminationCheck :: AbstractOC oc a IO -> RewriteArgs -> oc -> IO Bool Source #
data RewriteArgs Source #
RWArgs | |
|
data TermOrigin Source #
Instances
Eq TermOrigin Source # | |
Defined in Language.Fixpoint.Solver.Rewrite (==) :: TermOrigin -> TermOrigin -> Bool # (/=) :: TermOrigin -> TermOrigin -> Bool # | |
Show TermOrigin Source # | |
Defined in Language.Fixpoint.Solver.Rewrite showsPrec :: Int -> TermOrigin -> ShowS # show :: TermOrigin -> String # showList :: [TermOrigin] -> ShowS # | |
PPrint TermOrigin Source # | |
Defined in Language.Fixpoint.Solver.Rewrite pprintTidy :: Tidy -> TermOrigin -> Doc Source # pprintPrec :: Int -> Tidy -> TermOrigin -> Doc Source # |