idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.53k stars 380 forks source link

refactor(base): move implementation of `Data.Vect.nubBy` to global scope #3288

Closed troiganto closed 5 months ago

troiganto commented 6 months ago

Closes #3285

Description

This moves the local function nubBy' of Data.Vect.nubBy to the global scope as nubByImpl and marks it as public export. See the issue for a more detailed discussion.

Should this change go in the CHANGELOG?

[x] If this is a fix, user-facing change, a compiler change, or a new paper implementation, I have updated CHANGELOG_NEXT.md (and potentially also CONTRIBUTORS.md).