Safe Haskell	None
Language	Haskell2010

Distribution.Solver.Modular.Message

Synopsis

data Message
- = Enter
- | Leave
- | TryP QPN POption
- | TryF QFN Bool
- | TryS QSN Bool
- | Next (Goal QPN)
- | Skip (Set Conflict)
- | Success
- | Failure ConflictSet FailReason
summarizeMessages :: Progress Message a b -> Progress SummarizedMessage a b
renderSummarizedMessage :: SummarizedMessage -> String

Documentation

data Message Source #

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

summarizeMessages :: 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.

renderSummarizedMessage :: SummarizedMessage -> String Source #