`Data.Functor.void` needs a way to specify the type of discarded value
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 5/5
- Tempo estimado
- Mais de uma semana
- Facilidade para iniciantes
- 24/100
- Tipo de issue
- Funcionalidade
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- backend
Direção de pesquisa
The issue identifies Data.Functor.void and proposes a more flexible voidAt signature, but names no source file or test. Start by locating the void definition and its tests, then check how the proposed visible type application fits the project’s conventions. Done means the desired type can be specified and the behavior is covered by tests.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
I have following code snippet:
post :: forall m a. DecodeJson a => Monad m => String -> m a
deleteFoo = do
void $ post "http://localhost/delete"
type checker complains with:
No type class instance was found for
Data.Argonaut.Encode.Class.DecodeJson t3
Current version of void function cannot get type parameter:
deleteFoo = do
void @Unit $ post "http://localhost/delete"
An expression of polymorphic type
with the invisible type variable f:
forall f a. Functor f => f a -> f Unit
cannot be applied to:
Boolean
I suggest to rewrite void function to make it more flexible:
voidAt :: forall @a f . Functor f => f a -> f Unit
voidAt = void
- Linguagem predominante
- PureScript
- Estrelas
- 168
- Forks
- 90
- Merge médio
- 3d 1h
- 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-prelude
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 57/100
purescript/purescript-prelude#317 · 1 reação ·
-
Int bottom is not safeAberta
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 32/100
purescript/purescript-prelude#312 · 5 comentários ·
-
add liftCompare & friendsAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
purescript/purescript-prelude#310 · 5 comentários ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
purescript/purescript-prelude#307 · 1 comentário · 1 reação ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
purescript/purescript-prelude#305 · 5 comentários ·
Todas as issues de purescript/purescript-prelude
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFAbertabug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
Mantenedores costumam responder em até 1 dia
-
Mend: dependency security vulnerability
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 65/100
-
Mend: dependency security vulnerability
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
ManageIQ/manageiq-pods#1476 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
prime-radiant-inc/evener#6366 ·
Mantenedores costumam responder em até 1 dia