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

Mariari/list additions and refactorings #146

Draft
wants to merge 14 commits into
base: main
Choose a base branch
from

Conversation

mariari
Copy link
Member

@mariari mariari commented Nov 8, 2024

Integration branch of all the list refactorings along with many new additional refactors. Currently WIP. Will unamrk as draft when ready

lukaszcz and others added 9 commits November 6, 2024 18:23
The naming on this is probably bad, I'd assume `head` would return
Maybe, and you'd have a headDefault or something for a default head
Partial trait relied upon

import Stdlib.Data.String.Base open;

which indirectly relies upon list, we loosen the restriction to just
rely on the String type itself.

This lets us move some functions around to the base module
@mariari
Copy link
Member Author

mariari commented Nov 8, 2024

This topic should have a lot of good functions to crib from, I think fori needs to be cleaned up a bit.

@mariari mariari force-pushed the mariari/list-additions-and-refactorings branch from 79f5c75 to 51d4d32 Compare November 9, 2024 12:14
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

Successfully merging this pull request may close these issues.

2 participants