-
Notifications
You must be signed in to change notification settings - Fork 52
Add ifolded and imapped (closes #147)
#147
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
Conversation
|
This PR failure is nothing to do with you, but would you mind updating the package set ref from |
|
Thanks. Noticed my layout, with respect to line breaks, didn't exactly follow that of the existing file too, so fixed that as well. |
ifolded and imapped (closes #ifolded and imapped (closes #147)
|
@garyb Seems to still be dying on some CI build item unrelated to this pull request Any ideas? It built fine on my machine using |
|
Hmm, yeah this is a I think changing the CI line: to just: should get it through. |
…et it building
|
Sorry, looks like you changed the wrong line there. It's not the I'd edit this myself to make the fix rather than subjecting you to the busywork, but I don't think I can because it's coming from your |
…et it building
|
Sorry about that. Hopefully I got it right this time. 🤞 |
|
That did the trick, thanks! |
Description of the change
This adds the
ifoldedandimappedfunctions to provide anIndexedFoldand anIndexedSetterfor all instances ofFoldableWithIndexandFunctorWithIndexasitraversedprovides anIndexedTraversalfor all instances ofTraversableWithIndexChecklist: