Returns true
if x
and y
are equivalent, false
otherwise.
Returns true
if x
and y
are equivalent, false
otherwise.
Returns false
if x
and y
are equivalent, true
otherwise.
Returns false
if x
and y
are equivalent, true
otherwise.
Defines an order on B
by mapping B
to A
using f
and using A
s
order to order B
.
This is similar to Semigroup#pow
, except that a pow 0
is defined to be
the multiplicative identity.
This is similar to Semigroup#pow
, except that a pow 0
is defined to be
the multiplicative identity.
Defines an ordering on A
where all arrows switch direction.
Defines an ordering on A
where all arrows switch direction.