Patch API differences

Bewertung

Rechercherichtung

Beschreibung

See https://github.com/purescript/purescript-lists/issues/183#issuecomment-825460643 for a proposed API

---

It looks like there are a few missing functions and instances across the different list modules in this library. To tackle this more systematically, I found the contents of each of the cells of a 4-way Venn diagram created by comparing the following modules:

• Basic (List)
• Lazy[List]
• NonEmpty[List]
• LazyNonEmpty[List]

I've only looked over the instances so far. These appear to be the gaps:

• Lazy missing from LazyNonEmptyList
• Eq1, Ord1 missing from NonEmptyList, LazyNonEmptyList
• Foldable1, Traversable1 missing from LazyNonEmptyList

Here are some notes on the remaining differences, which appear to be fine:

• Missing from *NonEmptyList

  Monoid - Needs empty
  Plus - Needs empty
  Alternative - Needs Plus
  MonadZero - Needs Alternative
  MonadPlus - Needs MonadZero
  Unfoldable - Only if you can produce an empty container
  

• Comonad is only in *NonEmptyList, since you can't extract something from an empty list.
• Only non-basic lists need the Newtype convenience wrapper.

I still need to look through the functions. Feel free to help me flag or dismiss any of those differences.

---

Here's a brief explanation of how to read an entry in the listing of cells. For example in this entry:

-----
LazyNonEmpty NonEmpty
-----
Comonad

It means that Comonad appears only in LazyNonEmpty and NonEmpty, but not in any other modules. More specifically, Comonad is the output of:

intersections [LazyNonEmpty, NonEmpty] `difference` unions [Basic, NonEmpty]

This diagram might help with visualizing the "cells":

Here's the full listing (empty cells omitted).

Instances:

-----
Lazy LazyNonEmpty Basic NonEmpty
-----
Alt
Applicative
Apply
Bind
Eq
Extend
Foldable
FoldableWithIndex
Functor
FunctorWithIndex
Monad
Ord
Semigroup
Show
Traversable
TraversableWithIndex
Unfoldable1

-----
Lazy LazyNonEmpty NonEmpty
-----
Newtype

-----
LazyNonEmpty NonEmpty
-----
Comonad

-----
NonEmpty
-----
Foldable1
Traversable1

-----
Lazy Basic
-----
Alternative
Eq1
MonadPlus
MonadZero
Monoid
Ord1
Plus
Unfoldable

-----
Lazy
-----
Lazy

Functions:

-----
Lazy LazyNonEmpty Basic NonEmpty
-----
concatMap
fromFoldable
head
init
last
length
singleton
tail
toUnfoldable
uncons

-----
Lazy Basic NonEmpty
-----
(!!), index
catMaybes
concat
drop
dropWhile
elemIndex
elemLastIndex
filter
filterM
findIndex
findLastIndex
foldM
group
groupBy
insertAt
intersect
intersectBy
mapMaybe
modifyAt
nub
nubBy
partition
reverse
snoc
span
take
takeWhile
union
unionBy
unzip
updateAt
zip
zipWith
zipWithA

-----
Basic NonEmpty
-----
group'
mapWithIndex
sort
sortBy
unsnoc

-----
LazyNonEmpty NonEmpty
-----
appendFoldable
fromList
toList

-----
NonEmpty
-----
cons
cons'
snoc'

-----
Lazy Basic
-----
(..), range
(\\), difference
Pattern(..)
alterAt
delete
deleteAt
deleteBy
insert
insertBy
many
null
slice
some
stripPrefix
transpose

-----
Basic
-----
dropEnd
manyRec
someRec
takeEnd

-----
Lazy LazyNonEmpty
-----
iterate
repeat

-----
Lazy
-----
cycle
foldrLazy
replicate
replicateM
scanrLazy

Entwicklungsumgebung

Erste Schritte

1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
3. Forken Sie das Repository und arbeiten Sie in einem Branch.
4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus purescript/purescript-lists

• ZipList is Bind

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen

  Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

  purescript/purescript-lists#219 · 1 Kommentar · 1 Reaktion · Erstellt am 02.8.2024

• Lazy List's mapWithIndex is not lazy

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen

  Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 48/100

  purescript/purescript-lists#218 · Erstellt am 02.8.2024

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

  Evtl. vergeben @evaogbe hat das vor 1066 Tagen übernommen. Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen
  good first issue type: bug

  Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 1/100

  purescript/purescript-lists#216 · 2 Kommentare · Erstellt am 11.12.2023

• Why does lazy list foldr reverse into a temporary lazy list?

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen
  type: enhancement

  Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

  purescript/purescript-lists#197 · 1 Kommentar · Erstellt am 09.3.2021

• Document (or fix) stack safety issues

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen
  type: enhancement

  Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 24/100

  purescript/purescript-lists#194 · 5 Kommentare · Erstellt am 14.1.2021

Alle Issues in purescript/purescript-lists

Ähnliche Issues

• ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOF

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen
  bug

  Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

  migadu/sora#779 · Erstellt am 14.11.2026

  Maintainer antworten meist innerhalb von 1 Tag

• CVE-2026-128085 (Medium) detected in go.opentelemetry.io/otel/sdk-v1.43.0, go.opentelemetry.io/otel/trace-v1.43.0

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen
  Mend: dependency security vulnerability

  Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100

  ManageIQ/manageiq-pods#1476 · Erstellt am 14.11.2026

  Maintainer antworten meist innerhalb von 1 Tag

• mcp: typed tool handlers lose wrapped JSON-RPC errors

  Evtl. wieder frei Ein Pull Request dazu wurde ohne Merge geschlossen. Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen

  Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 85/100

  modelcontextprotocol/go-sdk#1529 · 1 Kommentar · Erstellt am 14.11.2026

  Maintainer antworten meist innerhalb von 1 Tag

• [Bug] CLI — Missing job_id in successful JSON response causes uncaught KeyError

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen

  Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 66/100

  FinanceFlash/unvibecode#818 · Erstellt am 14.11.2026

  Maintainer antworten meist innerhalb von 1 Tag

• [BUG] Cannot open a WireGuard node for editing

  Offen

  ⋯Ein Problem mit diesem Issue melden

  • Stimmt etwas nicht?

  • Bereits vergeben
  • Nicht einsteigerfreundlich
  • Veraltet oder ungültig
  • Etwas anderes …
  • Senden Abbrechen

  Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100

  KaringX/karing#2101 · Erstellt am 14.11.2026

Weitere Issues zu Backend & API Design