Proposal: Add monadic instances
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Activo
- Área
- backend
Línea de trabajo
Read the existing NonEmpty type and its current typeclass instances to assess the proposed Apply, Applicative, Bind, and Monad support. The issue also asks how to test typeclass laws, including whether to use purescript-quickcheck-laws; completion would require a maintainer decision on the approach and tests for the resulting instances.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Motivation
The current NonEmpty type does not provide Apply, Applicative, Bind, or Monad instances. However, a monadic interface appears feasible under suitable constraints on the underlying type constructor f.
Haskell's NonEmpty provides a useful precedent for monadic composition. In PureScript, the implementation would need to account for the underlying f structure and preserve the expected ordering and behavior of the resulting values.
Questions
- Would the maintainers be open to adding these instances?
- What is the preferred approach for testing typeclass laws? Is it recommended to use
purescript-quickcheck-lawsin the repository's existing test suite, or is there another best practice for this?
- Lenguaje dominante
- PureScript
- Estrellas
- 17
- Forks
- 25
- Merge medio
- 3 d 10 min
- PR fusionados (30 d)
- 1
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Sin 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 purescript/purescript-nonempty
-
Dificultad 3/5 1-2 días Aptitud para principiantes 20/100
purescript/purescript-nonempty#53 · 2 comentarios ·
Todos los issues de purescript/purescript-nonempty
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
remove the use of `forget`Abiertogood first issue help wanted
Dificultad 2/5 1-3 horas Aptitud para principiantes 80/100
Los mantenedores suelen responder en 1 día
-
bug good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
milind-soni/OpenMausBot#5829 ·
Los mantenedores suelen responder en 1 día