Represents an unexpected failure during communication with the prover.
Represents an unexpected failure during communication with the prover.
It is recommended that this case is not used for routine error conditions.
For the precise error semantics, see
System#invoke
.
An observer waiting for more intermediate data (step
) or
a final result (done
).
An observer waiting for more intermediate data (step
) or
a final result (done
).
When receiving a final result, the returned new observer should be
either Success
or Failure
. This is not enforced, but not
doing so will most likely result in hanging
operations.
Represents a final result from the prover, be it successful or failed.
Represents a final result from the prover, be it successful or failed.
It is recommended that this case is not used for unexpected failures.
For the precise error semantics, see
System#invoke
.
Combinator for producing an observer which ignores intermediate data.
Cases of observers and combinators.