Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Non-empty containers #78

Open
purefunctor opened this issue Jul 12, 2023 · 1 comment
Open

Non-empty containers #78

purefunctor opened this issue Jul 12, 2023 · 1 comment

Comments

@purefunctor
Copy link

This is an awesome library for porting over functional-oriented algorithms 馃槃

I think non-empty containers would be a good addition, as they allow certain algorithms to encode invariants at the type level that are currently runtime panics.
@orium
Copy link
Owner

orium commented Jul 12, 2023

I agree. I might get down to it soon.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@orium @purefunctor