trait AlignTests[F[_]] extends Laws
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: AlignLaws[F]
Concrete Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def align[A, B, C, D](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], arg3: Arbitrary[D], ArbFA: Arbitrary[F[A]], ArbFB: Arbitrary[F[B]], ArbFC: Arbitrary[F[C]], ArbFAtoB: Arbitrary[(A) => C], ArbFBtoC: Arbitrary[(B) => D], ArbIorABtoC: Arbitrary[(Ior[A, B]) => C], CogenA: Cogen[A], CogenB: Cogen[B], CogenC: Cogen[C], EqFA: Eq[F[A]], EqFB: Eq[F[B]], EqFC: Eq[F[C]], EqFIorAA: Eq[F[Ior[A, A]]], EqFIorAB: Eq[F[Ior[A, B]]], EqFIorCD: Eq[F[Ior[C, D]]], EqFAssoc: Eq[F[Ior[Ior[A, B], C]]]): RuleSet
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- def emptyRuleSet: RuleSet
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def finalize(): Unit
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- 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