Type Members
-
class
DefaultRuleSet extends RuleSet with HasOneParent
-
trait
HasOneParent extends AnyRef
-
trait
RuleSet extends AnyRef
-
class
SimpleRuleSet extends DefaultRuleSet
Abstract Value Members
-
abstract
def
laws: ArrowLaws[F]
Concrete Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
def
arrow[A, B, C, D, E, G](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], arg3: Arbitrary[D], arg4: Arbitrary[E], arg5: Arbitrary[G], ArbFAB: Arbitrary[F[A, B]], ArbFBC: Arbitrary[F[B, C]], ArbFCD: Arbitrary[F[C, D]], ArbFDE: Arbitrary[F[D, E]], ArbFEG: Arbitrary[F[E, G]], EqFAA: Eq[F[A, A]], EqFAB: Eq[F[A, B]], EqFAC: Eq[F[A, C]], EqFAD: Eq[F[A, D]], EqFAG: Eq[F[A, G]], EqFACB: Eq[F[(A, C), B]], EqFACBC: Eq[F[(A, C), (B, C)]], EqFACBD: Eq[F[(A, C), (B, D)]], EqFADCD: Eq[F[(A, D), (C, D)]], EqFADCG: Eq[F[(A, D), (C, G)]], EqFAEDE: Eq[F[(A, E), (D, E)]], EqFEAED: Eq[F[(E, A), (E, D)]], EqFACDBCD: Eq[F[((A, C), D), (B, (C, D))]]): RuleSet
-
final
def
asInstanceOf[T0]: T0
-
def
category[A, B, C, D](implicit ArbFAB: Arbitrary[F[A, B]], ArbFBC: Arbitrary[F[B, C]], ArbFCD: Arbitrary[F[C, D]], EqFAB: Eq[F[A, B]], EqFAD: Eq[F[A, D]]): RuleSet
-
def
clone(): AnyRef
-
def
compose[A, B, C, D](implicit ArbFAB: Arbitrary[F[A, B]], ArbFBC: Arbitrary[F[B, C]], ArbFCD: Arbitrary[F[C, D]], EqFAD: Eq[F[A, D]]): RuleSet
-
def
emptyRuleSet: RuleSet
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
profunctor[A, B, C, D, E, G](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], arg3: Arbitrary[D], arg4: Arbitrary[E], arg5: Arbitrary[G], ArbFAB: Arbitrary[F[A, B]], ArbFCD: Arbitrary[F[C, D]], EqFAB: Eq[F[A, B]], EqFAD: Eq[F[A, D]], EqFAG: Eq[F[A, G]]): RuleSet
-
def
split[A, B, C, D, E, G](implicit ArbFAB: Arbitrary[F[A, B]], ArbFBC: Arbitrary[F[B, C]], ArbFCD: Arbitrary[F[C, D]], ArbFDE: Arbitrary[F[D, E]], ArbFEG: Arbitrary[F[E, G]], EqFAD: Eq[F[A, D]], EqFADCG: Eq[F[(A, D), (C, G)]]): RuleSet
-
def
strong[A, B, C, D, E, G](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], arg3: Arbitrary[D], arg4: Arbitrary[E], arg5: Arbitrary[G], ArbFAB: Arbitrary[F[A, B]], ArbFBC: Arbitrary[F[B, C]], ArbFCD: Arbitrary[F[C, D]], EqFAB: Eq[F[A, B]], EqFAD: Eq[F[A, D]], EqFAG: Eq[F[A, G]], EqFAEDE: Eq[F[(A, E), (D, E)]], EqFEAED: Eq[F[(E, A), (E, D)]]): RuleSet
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit