mapping over a field, changing its type?
Ouverte
- Langage dominant
- Haskell
- Étoiles
- 83
- Forks
- 16
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
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`?
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.