Modulecabal-install-solver-3.18.1.0Haskell2010

Distribution.Solver.Modular.Message

Synopsis

data Message
value summarizeMessages
value renderSummarizedMessage

Packagecabal-install-solver-3.18.1.0
Exports3
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

valuesummarizeMessages :: Progress Message a b -> Progress SummarizedMessage a b

Source#

Transforms the structured message type to actual messages (SummarizedMessage s).

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.

valuerenderSummarizedMessage :: SummarizedMessage -> String