Generalize `filterM` (etc.?) to `Applicative`
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Accessibilité débutants
- 42/100
- Type d'issue
- Fonctionnalité
- Clarté
- Plutôt claire
- Activité
- Calme
- Domaine
- backend
Piste de recherche
Start by reviewing the filterM implementation and the closed pull request #35, which also considered replicateM. Check whether the proposed generalization to Applicative fits the current library API, then identify any related changes from that pull request worth splitting out. Done means a focused change with tests showing filterM works with an Applicative that is not a Monad.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Today I noticed that PureScript filterM is constrained to Monad, whereas Haskell filterM is constrained to Applicative. After looking at the source code for each and asking on FP Slack, it seems there is no particular reason filterM cannot be more general in PS.
#35 was set to change this and some other things (e.g. replicateM). However, that PR was closed due to staleness. The author @DavidHarrison was going to split it up into individual PRs, but hasn't gotten around to it yet. It seems worthwhile to double-check that PR to see if there is anything else from it you may want to merge.
- Langage dominant
- PureScript
- Étoiles
- 61
- Forks
- 50
- Merge moyen
- 2 j 6 h
- PR mergées (30 j)
- 1
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Aucun guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de purescript/purescript-lists
-
ZipList is BindOuverte
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
purescript/purescript-lists#219 · 1 commentaire · 1 réaction ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 48/100
purescript/purescript-lists#218 ·
-
Data.List.NonEmpty.intersect and Data.List.NonEmpty.intersectBy throw when intersection emptyPeut-être pris @evaogbe l’a pris il y a 1066 jours. Ouvertegood first issue type: bug
Difficulté 4/5 3-5 jours Accessibilité débutants 1/100
purescript/purescript-lists#216 · 2 commentaires ·
-
type: enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100
purescript/purescript-lists#197 · 1 commentaire ·
-
type: enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 24/100
purescript/purescript-lists#194 · 5 commentaires ·
Toutes les issues de purescript/purescript-lists
Issues similaires
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFOuvertebug
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
Les mainteneurs répondent en général sous 1 jour
-
Mend: dependency security vulnerability
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
ManageIQ/manageiq-pods#1476 ·
Les mainteneurs répondent en général sous 1 jour
-
mcp: typed tool handlers lose wrapped JSON-RPC errorsPeut-être à nouveau libre Une pull request pour cette issue a été fermée sans être fusionnée. Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
modelcontextprotocol/go-sdk#1529 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 66/100
FinanceFlash/unvibecode#818 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100