mapping over a field, changing its type?

Aperta

#34 aperta il 8/7/2022 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Descrizione

Is there a specific implementation reason why this function is not possible:

```
modify :: forall l v v2 lts rts. (Has lts l v, ???) => FldProxy l -> (v -> v2) -> Rec lts -> Rec rts
```

Is it impossible to have a constraint that relates `lts` to `rts`?

Nessuna guida per i contributori indicizzata per questo repository

Questa issue non è ancora stata valutata.