Modulecabal-install-solver-3.12.1.0Haskell2010

Distribution.Solver.Modular.Message

1 type
1 value

Packagecabal-install-solver-3.12.1.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceMessage.hs

datadata Message

Constructors

Enter
increase indentation level
Leave
decrease indentation level
TryP QPN POption
TryF QFN Bool
TryS QSN Bool
Next (Goal QPN)
Skip (Set Conflict)
Success
Failure ConflictSet FailReason

valueshowMessages :: Progress Message a b -> Progress String a b

Transforms the structured message type to actual messages (strings).

The log contains level numbers, which are useful for any trace that involves backtracking, because only the level numbers will allow to keep track of backjumps.