implicit final
class
IsEqArrow[A] extends AnyVal
Instance Constructors
-
new
IsEqArrow(lhs: A)
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
<->(rhs: A): IsEquiv[A]
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
val
lhs: A
-
def
toString(): String
Syntax for expressing equivalence in laws.