`Data.Functor.void` needs a way to specify the type of discarded value
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 24/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- backend
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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
- Lingua principale
- PureScript
- Stelle
- 168
- Fork
- 90
- Merge medio
- 3g 1h
- PR unite (30g)
- 1
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Nessuna guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di purescript/purescript-prelude
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 57/100
purescript/purescript-prelude#317 · 1 reazione ·
-
Int bottom is not safeAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 32/100
purescript/purescript-prelude#312 · 5 commenti ·
-
add liftCompare & friendsAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
purescript/purescript-prelude#310 · 5 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
purescript/purescript-prelude#307 · 1 commento · 1 reazione ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
purescript/purescript-prelude#305 · 5 commenti ·
Tutte le issue di purescript/purescript-prelude
Issue simili
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFApertabug
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
Mend: dependency security vulnerability
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
ManageIQ/manageiq-pods#1476 ·
I maintainer di solito rispondono entro 1 giorno
-
mcp: typed tool handlers lose wrapped JSON-RPC errorsForse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
modelcontextprotocol/go-sdk#1529 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
FinanceFlash/unvibecode#818 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100