Causes this handler to finalize and produce a result.
Causes this handler to finalize and produce a result.
This method should not be called if isFinished is already true.
The final output of this parser
Causes this handler to process an error.
Causes this handler to process an error.
This method should not be called if isFinished == true
an error to be processed
An option containing the final output if
this handler became finished as a result
of processing the error, or None if
the handler is ready for more input.
Causes this handler to process an input element.
Causes this handler to process an input element.
This method should not be called if isFinished == true
an element to be processed
An option containing the final output if
this handler became finished as a result
of processing the input, or None if
the handler is ready for more input.
Tells if this handler is finished.
Tells if this handler is finished.
If a handler is finished, its handleX methods
should no longer be called. Doing so after the
handler finishes will cause undefined behavior.
Typically a handler should be discarded once it
is finished.
whether this handler is finished
The base processing unit for dealing with streams of data.
A handler accepts inputs of type
In, eventually yielding a value of typeOut. If thehandleInputorhandleErrormethods for a handler ever return aSome, it implies that the handler has reached a result, and should no longer be called. Similarly, if theisFinishedmethod returnstrue, thehandleXmethods should no longer be called.Handlers are mutable by nature. Handler instances should not be shared across threads. Several traits in this library act as "blueprints" which create handler instances. These blueprint classes are immutable, and may be safely shared across threads.
The input type
The output type