MonadLaws

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def associative[M[_], T, U, V](eq: (M[V], M[V]) ⇒ Boolean)(implicit monad: Monad[M], arb: Arbitrary[M[T]], fn1: Arbitrary[(T) ⇒ M[U]], fn2: Arbitrary[(U) ⇒ M[V]]): Prop

   

6. def associativeEquiv[M[_], T, U, V](implicit monad: Monad[M], arb: Arbitrary[M[T]], fn1: Arbitrary[(T) ⇒ M[U]], fn2: Arbitrary[(U) ⇒ M[V]], equiv: Equiv[M[V]]): Prop

   

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def defaultEq[T]: (T, T) ⇒ Boolean

   

9. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12. implicit def fnArb[M[_], T, U](implicit map: Arbitrary[Map[T, M[U]]], arbu: Arbitrary[M[U]]): Arbitrary[(T) ⇒ M[U]]

    

13. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

14. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

15. implicit def identityA[T](implicit arbl: Arbitrary[T]): Arbitrary[Identity[T]]

    

16. implicit def indexedSeqA[T](implicit arbl: Arbitrary[List[T]]): Arbitrary[IndexedSeq[T]]

    

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. def leftIdentity[M[_], T, U](eq: (M[U], M[U]) ⇒ Boolean = defaultEq[M[U]])(implicit monad: Monad[M], arb: Arbitrary[T], arbfn: Arbitrary[(T) ⇒ M[U]]): Prop

    

19. def leftIdentityEquiv[M[_], T, U](implicit monad: Monad[M], arb: Arbitrary[T], arbfn: Arbitrary[(T) ⇒ M[U]], equiv: Equiv[M[U]]): Prop

    

20. def monadLaws[M[_], T, U, R](eq: (M[R], M[R]) ⇒ Boolean = defaultEq[M[R]])(implicit monad: Monad[M], arb: Arbitrary[M[T]], fn1: Arbitrary[(T) ⇒ M[U]], arbr: Arbitrary[M[R]], fn2: Arbitrary[(U) ⇒ M[R]], arbu: Arbitrary[U]): Prop

    

21. def monadLawsEquiv[M[_], T, U, R](implicit monad: Monad[M], arb: Arbitrary[M[T]], equivT: Equiv[M[T]], equivU: Equiv[M[U]], equivR: Equiv[M[R]], fn1: Arbitrary[(T) ⇒ M[U]], arbr: Arbitrary[M[R]], fn2: Arbitrary[(U) ⇒ M[R]], arbu: Arbitrary[U]): Prop

    

22. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

23. final def notify(): Unit

    

    Definition Classes

    AnyRef

24. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

25. def rightIdentity[M[_], T](eq: (M[T], M[T]) ⇒ Boolean = defaultEq[M[T]])(implicit monad: Monad[M], arb: Arbitrary[M[T]]): Prop

    

26. def rightIdentityEquiv[M[_], T](implicit monad: Monad[M], arb: Arbitrary[M[T]], equiv: Equiv[M[T]]): Prop

    

27. implicit def seqA[T](implicit arbl: Arbitrary[List[T]]): Arbitrary[Seq[T]]

    

28. implicit def someA[T](implicit arbl: Arbitrary[T]): Arbitrary[Some[T]]

    

29. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

30. def toString(): String

    

    Definition Classes

    AnyRef → Any

31. implicit def vectorA[T](implicit arbl: Arbitrary[List[T]]): Arbitrary[Vector[T]]

    

32. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )