mapping over a field, changing its type?

オープン

#34 2022年7月8日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

説明

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`?

このリポジトリのコントリビューションガイドは索引されていません

この issue はまだ評価されていません。