mapping over a field, changing its type?
Đang mở
- Ngôn ngữ chính
- Haskell
- Star
- 83
- Fork
- 16
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
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`?
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.