Skip to content

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