Safe Haskell	Safe
Language	Haskell98

DDC.Core.Simplifier.Result

Synopsis

Documentation

Package up the result of applying a single transform.

Constructors

Fields

result :: r
Transform result proper (eg the new module)
resultProgress :: Bool
Whether this transform made any progess.
If False then the result program must be the same as the input program, and a simplifer fixpoint won't apply this transform again to the result program.
resultAgain :: Bool
Whether it might help to run the same transform again.
If False then a simplifier fixpoint won't apply this transform again to the result program.
resultInfo :: TransformInfo
Transform specific log. This might contain a count of what rules fired, or information about what parts of the program couldn't be processed.

Instances

Pretty (TransformResult r) Source #
Associated Types data PrettyMode (TransformResult r) :: * # Methods pprDefaultMode :: PrettyMode (TransformResult r) # ppr :: TransformResult r -> Doc # pprPrec :: Int -> TransformResult r -> Doc # pprModePrec :: PrettyMode (TransformResult r) -> Int -> TransformResult r -> Doc #

Existential package for a typeable thing, used in TransformResult.

Constructors

Place-holder type to use when there is no real TransformResult.

Instances

Pretty NoInformation Source #
Associated Types data PrettyMode NoInformation :: * # Methods pprDefaultMode :: PrettyMode NoInformation # ppr :: NoInformation -> Doc # pprPrec :: Int -> NoInformation -> Doc # pprModePrec :: PrettyMode NoInformation -> Int -> NoInformation -> Doc #

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.