object
arrow
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
all[=>:[_, _]](implicit arg0: Arrow[=>:], A1: Equal[=>:[Int, Int]], A2: Gen[=>:[Int, Int]], A3: Equal[=>:[(Int, Int), (Int, Int)]], A4: Equal[=>:[(Int, Int), Int]], A5: Equal[=>:[((Int, Int), Int), (Int, (Int, Int))]]): Properties[ScalazLaw]
-
final
def
asInstanceOf[T0]: T0
-
def
association[=>:[_, _], A, B, C, D](implicit arg0: Arrow[=>:], f: Gen[=>:[A, B]], E: Equal[=>:[((A, C), D), (B, (C, D))]]): Property
-
def
clone(): AnyRef
-
def
composition[=>:[_, _], A, B, C](implicit arg0: Arrow[=>:], ab: Gen[(A) ⇒ B], bc: Gen[(B) ⇒ C], E: Equal[=>:[A, C]]): Property
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
exchange[=>:[_, _], A, B, C, D](implicit arg0: Arrow[=>:], f: Gen[=>:[A, B]], g: Gen[(C) ⇒ D], E: Equal[=>:[(A, C), (B, D)]]): Property
-
def
extension[=>:[_, _], A, B, C](implicit arg0: Arrow[=>:], ab: Gen[(A) ⇒ B], E: Equal[=>:[(A, C), (B, C)]]): Property
-
def
finalize(): Unit
-
def
functor[=>:[_, _], A, B, C, D](implicit arg0: Arrow[=>:], ab: Gen[=>:[A, B]], bc: Gen[=>:[B, C]], E: Equal[=>:[(A, D), (C, D)]]): Property
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
identity[=>:[_, _], A](implicit arg0: Arrow[=>:], E: Equal[=>:[A, A]]): Property
-
final
def
isInstanceOf[T0]: Boolean
-
def
laws[=>:[_, _]](implicit arg0: Arrow[=>:], A1: Equal[=>:[Int, Int]], A2: Gen[=>:[Int, Int]], A3: Equal[=>:[(Int, Int), (Int, Int)]], A4: Equal[=>:[(Int, Int), Int]], A5: Equal[=>:[((Int, Int), Int), (Int, (Int, Int))]]): Properties[ScalazLaw]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unit[=>:[_, _], A, B, C](implicit arg0: Arrow[=>:], f: Gen[=>:[A, B]], E: Equal[=>:[(A, C), B]]): Property
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
