Explicitly represent end-of-stream in the error channel.
Explicitly represent end-of-stream in the error channel.
This will catch an EOFException
failure from the effect and translate it to a failure of None
. Other
exception types are wrapped in Some
.