Closed lemastero closed 5 years ago
In Strong Profunctor laws there are references to first and second from Arrow:
first
second
lmap fst ≡ rmap fst . first' lmap (first f) . second' ≡ rmap (first f) . second'
but they should link to Strong first' and second'
first'
second'
lmap fst ≡ rmap fst . first' lmap (first' f) . second' ≡ rmap (first' f) . second'
In Strong Profunctor laws there are references to
first
andsecond
from Arrow:but they should link to Strong
first'
andsecond'