TryReporter

trait TryReporter extends Reporter

A TryReporter cannot be simply thrown away

Either abort should be called or the errors be reported.

If errors are ignored and abort is not called, the monotonicity of the computation function is not guaranteed, thus termination of fixed-point computation becomes a problem.

trait Reporter
class Object
trait Matchable
class Any

Value members

Abstract methods

def abort()(using Cache): Unit

Revert the cache to previous state.

Revert the cache to previous state.

Inherited methods

def report(err: Error): Unit
Inherited from:
Reporter
def reportAll(errs: Seq[Error]): Unit
Inherited from:
Reporter