Document derived law: lmap pre . rmap post ≡ rmap post . lmap pre
Open
- Dominant language
- Haskell
- Stars
- 72
- Forks
- 44
- PR merge metrics
- No merged PRs in 30d
Description
It is worth noting in the documentation of the commtative Profunctor property: `lmap pre . rmap post` ≡ `rmap post . lmap pre`. Could the Identity and Composition laws be named explicitly as well.
```haskell
lmap pre . rmap post
= dimap pre id . dimap id post
= dimap (id . pre) (id . post)
= dimap pre post
= dimap (pre . id) (post . id)
= dimap id post . dimap pre id
= rmap post . lmap pre
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.