This repository has been archived by the owner on Sep 10, 2022. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
componentFromStream can potentially throw EmptyError: no elements in …
…sequence (#309) * Add note about stream closing in `componentFromStream()` * Update note about stream closing in `componentFromStream()` * Add proof for `EmptyError` in `componentFromStream` * Remove note in favour of PR description.
- Loading branch information