Safe Haskell | None |
---|
- data TransformResult r = TransformResult {
- result :: r
- resultProgress :: Bool
- resultAgain :: Bool
- resultInfo :: TransformInfo
- data TransformInfo = forall i . (Typeable i, Pretty i) => TransformInfo i
- data NoInformation
- resultDone :: String -> r -> TransformResult r
Documentation
data TransformResult r Source
Package up the result of applying a single transform.
TransformResult | |
|
data TransformInfo Source
Existential package for a typeable thing,
used in TransformResult
.
forall i . (Typeable i, Pretty i) => TransformInfo i |
data NoInformation Source
Place-holder type to use when there is no real TransformResult
.
resultDone :: String -> r -> TransformResult rSource
Create a default result with no transform again.
We'll say we made progress, but set resultAgain
to False
so to stop any simplifier fixpoints.