t

# ChoiceTests

### Companion object ChoiceTests

#### traitChoiceTests[F[_, _]] extends ProfunctorTests[F]

Source
ChoiceTests.scala
Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. ChoiceTests
2. ProfunctorTests
3. Laws
4. AnyRef
5. Any
1. Hide All
2. Show All
Visibility
1. Public
2. Protected

### Type Members

1. class DefaultRuleSet extends RuleSet with HasOneParent
Definition Classes
Laws
2. trait HasOneParent extends AnyRef
Definition Classes
Laws
3. trait RuleSet extends AnyRef
Definition Classes
Laws
4. class SimpleRuleSet extends DefaultRuleSet
Definition Classes
Laws

### Abstract Value Members

1. abstract def laws: ChoiceLaws[F]
Definition Classes
ChoiceTests → ProfunctorTests

### Concrete Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##: Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
4. final def asInstanceOf[T0]: T0
Definition Classes
Any
5. def choice[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]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenD: Cogen[D], CogenE: Cogen[E], EqFAB: Eq[F[A, B]], EqFAD: Eq[F[A, D]], EqFAG: Eq[F[A, G]], EqFEitherABC: Eq[F[A, Either[B, C]]], EqFEitherACB: Eq[F[A, Either[C, B]]], LEqFEitherABC: Eq[F[Either[C, A], Either[C, B]]], REqFEitherABC: Eq[F[Either[A, C], Either[B, C]]], EitherAssociationACB: Eq[F[Either[Either[A, C], B], Either[Either[B, C], B]]], EitherAssociationBCA: Eq[F[Either[B, Either[C, A]], Either[B, Either[C, B]]]])
6. def clone()
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
7. def emptyRuleSet
Definition Classes
Laws
8. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
9. def equals(arg0: AnyRef)
Definition Classes
AnyRef → Any
10. def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable])
11. final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native()
12. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
13. final def isInstanceOf[T0]
Definition Classes
Any
14. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
15. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
16. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
17. 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]], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], CogenD: Cogen[D], CogenE: Cogen[E], EqFAB: Eq[F[A, B]], EqFAD: Eq[F[A, D]], EqFAG: Eq[F[A, G]])
Definition Classes
ProfunctorTests
18. final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
19. def toString()
Definition Classes
AnyRef → Any
20. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
21. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
22. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()