A bidirectional correspondence between two types where values can
be represented in both ways, but doing a reverse transformation
only guarantees an equivalent output. There is an equivalence
relation a =~= b such that coapply(apply(x)) ~=~ x and
apply(coapply(y) =~= y.
This member is added by an implicit conversion from Homomorphism[A, B] to
any2stringadd[Homomorphism[A, B]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from Homomorphism[A, B] to
ArrowAssoc[Homomorphism[A, B]] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from Homomorphism[A, B] to
StringFormat[Homomorphism[A, B]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from Homomorphism[A, B] to
ArrowAssoc[Homomorphism[A, B]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringadd from
Homomorphism[A, B] to any2stringadd[Homomorphism[A, B]]
Inherited by implicit conversion StringFormat from
Homomorphism[A, B] to StringFormat[Homomorphism[A, B]]
Inherited by implicit conversion Ensuring from
Homomorphism[A, B] to Ensuring[Homomorphism[A, B]]
Inherited by implicit conversion ArrowAssoc from
Homomorphism[A, B] to ArrowAssoc[Homomorphism[A, B]]
A bidirectional correspondence between two types where values can be represented in both ways, but doing a reverse transformation only guarantees an equivalent output. There is an equivalence relation
a =~= b
such thatcoapply(apply(x)) ~=~ x
andapply(coapply(y) =~= y
.