Safe Haskell | Safe |
---|---|
Language | Haskell98 |
DDC.Core.Simplifier.Result
- data TransformResult r = TransformResult {
- result :: r
- resultProgress :: Bool
- resultAgain :: Bool
- resultInfo :: TransformInfo
- data TransformInfo = (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.
Constructors
TransformResult | |
Fields
|
Instances
Pretty (TransformResult r) Source # | |
data TransformInfo Source #
Existential package for a typeable thing,
used in TransformResult
.
Constructors
(Typeable i, Pretty i) => TransformInfo i |
resultDone :: String -> r -> TransformResult r Source #
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.