IsomorphismArrow
trait IsomorphismArrow[F[_, _], G[_, _]] extends Arrow[F] with IsomorphismSplit[F, G] with IsomorphismStrong[F, G] with IsomorphismCategory[F, G]
trait Arrow[F]
trait ArrowParent[F]
trait Category[F]
trait Strong[F]
trait Profunctor[F]
trait Split[F]
trait Compose[F]
class Object
trait Matchable
class Any
Type members
Value members
Inherited methods
Run fab
and fac
on the same A
. Sometimes &&&
.
Run fab
and fac
on the same A
. Sometimes &&&
.
- Inherited from
- Arrow
The endomorphism monoid, where zero
=id
and
append
=compose
.
The endomorphism monoid, where zero
=id
and
append
=compose
.
- Inherited from
- Category
The endomorphism semigroup, where append
=compose
.
The endomorphism semigroup, where append
=compose
.
- Inherited from
- Compose