A type class representing the ability to convert a type to and from an XML representation.
Error case of XMLResult as an exception.
A managed set of known implementations of
Environment
.
An iteratee-like structure consuming
XML trees and eventually producing an
output of type T
, or an error.
Description of an atomic interaction with the prover.
Result from the prover.
A running instance of a prover.
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.
Combinators for codecs.
Cases of observers and combinators.
Combinators for creating operations and basic operations.
Functions to build and create systems.