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

Add additional reified list utilities #97

Merged
merged 30 commits into from
Oct 13, 2024
Merged

Conversation

poteat
Copy link
Owner

@poteat poteat commented Oct 13, 2024

  • Reify String.ToList to a value-level function.
  • Add List.FindIndex to find the index of a value in a list that satisfies a predicate.
  • Add List.IndexOf to find the index of a value in a list.
  • Add List.StartsWith to check if a list starts with a sequence of values.
  • Add List.EndsWith to check if a list ends with a sequence of values.
  • Add List.IndexOfSequence to find the index of a sequence of values in a list.
  • Fix runtime list search utilities to search via deep equality.
  • Add List.Replace to replace all instances of a value in a list with another value.
  • Add List.Remove to remove all instances of a value from a list.
  • Add List.ReplaceSequence to replace all instances of a sequence of values in a list with another sequence.
  • Add List.RemoveSequence to remove all instances of a sequence of values from a list.
  • Fix NaturalNumber.decrement to return zero when decrementing zero during runtime.
  • Add Combinator.Fix to find a fixed point of a higher-order type.
  • Reify List.MinBy to a value-level function.
  • Add List.MaxIndexBy to find the index of the maximum element in a list according to a scoring function.
  • Add List.MinIndexBy to find the index of the minimum element in a list according to a scoring function.
  • Add List.RemoveIndex to remove an element at a specified index from a list.
  • Reify List.Reduce to a value-level function.

@poteat poteat merged commit c0a1e64 into main Oct 13, 2024
1 check passed
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.

1 participant