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 more constructors for NonEmptyList #24

Merged
merged 7 commits into from
Jun 21, 2021

Conversation

runeflobakk
Copy link
Member

@runeflobakk runeflobakk commented Jun 12, 2021

More complete set of constructors from both lists and arrays. The constructors are named consistently whether they copy the element references of the source or not.

Interestingly, japicmp reports adding new static methods to an interface as a binary incompatible change, but I suspect this is a false positive, since it's identified as METHOD_NEW_DEFAULT, and a static methods is not the same as a default method. I have asked about this here: siom79/japicmp#289

@runeflobakk runeflobakk marked this pull request as draft June 12, 2021 21:20
@runeflobakk runeflobakk force-pushed the nonemptylist-more-constructors branch from 41a413e to 2f83d48 Compare June 18, 2021 15:28
More complete set of constructor variants from both lists and arrays,
and being consistent with copying or not.
@runeflobakk runeflobakk force-pushed the nonemptylist-more-constructors branch from 2f83d48 to 52e306d Compare June 18, 2021 15:31
@runeflobakk runeflobakk requested a review from simenstoa June 18, 2021 15:42
@runeflobakk runeflobakk marked this pull request as ready for review June 18, 2021 15:44
runeflobakk and others added 2 commits June 19, 2021 00:04
Co-authored-by: Even Holthe <[email protected]>
Documentation for the "unsafe" constructors for NonEmptyList were
incorrectly stating the list/array may be empty, but it is more correct
to say that they are assumed to be non-empty, and an exception is thrown
in the case of it being empty.
@runeflobakk runeflobakk removed the request for review from simenstoa June 18, 2021 22:16
@runeflobakk runeflobakk merged commit e157064 into main Jun 21, 2021
@runeflobakk runeflobakk deleted the nonemptylist-more-constructors branch June 21, 2021 09:21
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