Data.List.NonEmpty.intersect and Data.List.NonEmpty.intersectBy throw when intersection empty

Aperta
#216 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

@evaogbe ci sta già lavorando.

Dal 14/12/2023.

  • #217 di @evaogbe — aperta

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
1/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Ambito
backend

Direzione di ricerca

Start by comparing Data.List.NonEmpty.intersect and intersectBy with the corresponding NonEmptyArray functions, as the issue suggests. Review the discussion in #184 and the linked pull request #217 before deciding what outcome is intended. Done means the intersection functions handle empty results consistently with the chosen API direction.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

good first issue type: bug

I think they should be changed to match the implementation of the corresponding functions in NonEmptyArray, i.e. return a List instead of a NonEmptyList.

Alternatively, I saw the discussion in #184 about potentially removing the set functions from Array, List, NonEmptyList, NonEmptyArray, etc. and replacing them with an ordered set type. This might be more evidence supporting those who want to remove them.

Lingua principale
PureScript
Stelle
61
Fork
50
Merge medio
2g 6h
PR unite (30g)
1

Preparare l'ambiente

  • Nessun Dockerfile né file Docker Compose
  • Ha un modello di pull request
  • Nessuna guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di purescript/purescript-lists

Tutte le issue di purescript/purescript-lists

Issue simili

Altre issue su Backend & API Design

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.