Clarify the difference between Traversable and Traversable1
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 2/5
- Tempo estimado
- 1-3 horas
- Facilidade para iniciantes
- 45/100
- Tipo de issue
- Documentação
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- documentation
Direção de pesquisa
Read the Traversable and Traversable1 definitions and their documentation in this repository, then compare the constraints described in the issue. Look for an example such as Const with a semigroup that is not a monoid or Map; done means the distinction and a convincing Apply-but-not-Applicative example are clearly documented.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
...which is that Traversable1 is a stronger requirement, since it only requires Apply constraints on the type variable f, as opposed to Applicative. I think we should also try to come up with a convincing example of this class. What interesting Apply instances are there which are not Applicative? https://blog.functorial.com/posts/2015-12-06-Counterexamples.html lists Const k where k is a semigroup but not a monoid, and also Map k.
- Linguagem predominante
- PureScript
- Estrelas
- 51
- Forks
- 57
- Merge médio
- 3d 14min
- PRs com merge (30d)
- 1
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Sem guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de purescript/purescript-foldable-traversable
-
type: breaking change
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 36/100
purescript/purescript-foldable-traversable#151 · 1 comentário · 3 reações ·
-
Add `count`Abertastatus: accepted type: enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
purescript/purescript-foldable-traversable#140 · 7 comentários ·
-
type: documentation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
purescript/purescript-foldable-traversable#139 · 1 comentário ·
-
`Data.Traversable` re-exports `sum` from `Data.Foldable` but not `product`Talvez já em andamento @triallax assumiu há 1959 dias. Abertatype: enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 25/100
purescript/purescript-foldable-traversable#137 · 5 comentários ·
-
foldrMAbertatype: enhancement
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
purescript/purescript-foldable-traversable#136 · 3 comentários ·
Todas as issues de purescript/purescript-foldable-traversable
Issues semelhantes
-
1.3 documentation
Dificuldade 1/5 1-3 horas Facilidade para iniciantes 78/100
-
documentation Needs Human Review
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
NQCD/NQCDynamics.jl#526 ·
-
bug
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 75/100
MetrolistGroup/Metrolist#4554 ·
Mantenedores costumam responder em até 1 dia
-
intake mcp-intake needs-human-review priority:high type:bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 66/100
Ikalus1988/MisakaNet#4903 · 2 comentários ·
Mantenedores costumam responder em até 1 dia
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 82/100
Mantenedores costumam responder em até 1 dia