An iteratee-like structure consuming
XML trees and eventually producing an
output of type T, or an error.
On a high level, this can be imagined like a function taking a list of
trees as an argument. In most cases, user code does not care about the
intermediate results. For that, combinators exist in the
companion object and
Operation.
An iteratee-like structure consuming XML trees and eventually producing an output of type
T
, or an error.On a high level, this can be imagined like a function taking a list of trees as an argument. In most cases, user code does not care about the intermediate results. For that, combinators exist in the companion object and
Operation
.info.hupel.isabelle.Operation
info.hupel.isabelle.System#invoke