isabelle

Type Members

1. class CancellableFuture[T] extends AnyRef

2. trait Codec[T] extends AnyRef

   A type class representing the ability to convert a type to and from an XML representation.

3. final case class DecodingException(msg: String, body: Body) extends RuntimeException with Product with Serializable

   Error case of XMLResult as an exception.

4. implicit final class FutureOps[T] extends AnyVal

5. sealed abstract class Observer[+T] extends AnyRef

   An iteratee-like structure consuming XML trees and eventually producing an output of type T, or an error.

6. abstract class Operation[-I, +O] extends AnyRef

   Description of an atomic interaction with the prover.

7. trait ProverResult[+T] extends AnyRef

   Result from the prover.

8. final class System extends AnyRef

   A running instance of a prover.

9. type XMLResult[+A] = Either[(String, Body), A]

   The result type for decoding values from XML trees.

   The result type for decoding values from XML trees. Failure values should contain an error message and a list of erroneous trees.