Getting rid of `Data.Monoid.DecidablyEmpty`
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Start by reading Data.Monoid.DecidablyEmpty and comparing its API with Data.Monoid.Null from monoid-subclasses. Check the dependent-map instance and then follow the listed migration steps: update the alias and deprecations, remove the old module, and release the affected packages.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
There's a comment at the top of Data.Monoid.DecidablyEmpty which reads: -- TODO upstream somwhere else?
That "somewhere else" already exists: Data.Monoid.Null from monoid-subclasses.
I had a look at the instances it provides, and it is missing the following ones:
instance MonoidNull a => MonoidNull (Identity a)
instance MonoidNull a => MonoidNull (WrappedMonoid a)
instance (Ord a, Bounded a) => MonoidNull (Max a)
instance (Ord a, Bounded a) => MonoidNull (Min a)
instance MonoidNull (Proxy a)
instance MonoidNull a => MonoidNull (Const a b)
instance MonoidNull a => MonoidNull (Down a)
instance MonoidNull p => MonoidNull (Par 1 p)
instance MonoidNull (U1 p)
instance MonoidNull (f p) => MonoidNull (Rec1 f p)
instance MonoidNull (f p) => MonoidNull (M1 i c f p)
instance MonoidNull c => MonoidNull (K1 i c p)
instance (MonoidNull (f p), MonoidNull (g p)) => MonoidNull ((f :*: g) p)
instance (MonoidNull (f p), MonoidNull (g p)) => MonoidNull ((f :.: g) p)
instance (...) => MonoidNull (a, b, c, d, e)
-- Should go to dependent-map
instance GCompare k => MonoidNull (DMap k v)
This would solve #42 but is too much work to hold up GHC 9.2 support. Tasks, as I see them:
- Add the missing instances to
monoid-subclassesand release - Add the missing instance to
dependent-mapand release - Replace
Data.Monoid.DecidablyEmpty.DecidablyEmptywith type alias, setisEmpty = Data.Monoid.Null.null, deprecate both, and release - Remove deprecated
Data.Monoid.DecidablyEmpty.
None of this seems particularly controversial. We might want monoid-subclasses anyway because of #37. It's quite a light package, so depending on it from dependent-map shouldn't be a problem either.
- Lenguaje dominante
- Haskell
- Estrellas
- 17
- Forks
- 17
- Merge medio
- 9 h 32 min
- PR fusionados (30 d)
- 1
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de reflex-frp/patch
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
reflex-frp/patch#52 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100
reflex-frp/patch#37 · 9 comentarios ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
reflex-frp/patch#11 · 1 reacción ·
-
Use Group from elsewhereAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100
reflex-frp/patch#4 · 15 comentarios ·
Todos los issues de reflex-frp/patch
Issues similares
-
Build error?Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
lolepezy/rpki-prover#367 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
compiler-explorer/compiler-explorer#9308 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
simplex-chat/simplex-chat#7755 ·
Los mantenedores suelen responder en 1 día
-
bug core-libs
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
content good first issue
Dificultad 2/5 Menos de una hora Aptitud para principiantes 88/100
StudentSuite/awesome-skills-plugins-for-students#312 ·
Los mantenedores suelen responder en 1 día