Distribution.Solver.Modular.RetryLog

Progress as a difference list that allows efficient appends at failures.

O(1). Convert a RetryLog to a Progress.

O(N). Convert a Progress to a RetryLog.

O(1). Apply a function to the failure value in a log.

O(1). If the first log leads to failure, continue with the second.

O(1). Create a log with one message before a failure.

O(1). Create a log with one message before a success.

O(1). Prepend a message to a log.

O(1). Prepend the given message and Enter to the log, and insert Leave before the failure if the log fails.