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.

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

Already on GitHub? Sign in to your account

[micro-dash] Feature request: partition() #25

Closed
jritzi opened this issue Jan 28, 2021 · 2 comments
Closed

[micro-dash] Feature request: partition() #25

jritzi opened this issue Jan 28, 2021 · 2 comments

Comments

@jritzi
Copy link

jritzi commented Jan 28, 2021

It would be useful to have the partition function in micro-dash.

@ersimont
Copy link
Member

Would this still be useful? (I often find functions like this one seem like they would be useful while brainstorming solutions to a problem, but in the end the best solution didn't need them anyway.)

@jritzi
Copy link
Author

jritzi commented Jul 13, 2021

I've only run into the need for it once, and it can always be worked around by doing things in a more verbose way, but it did seem like the nicest way to accomplish that one use case.

ersimont added a commit that referenced this issue Jul 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants