t

# Laws 

#### trait Laws[F[_]] extends MonadEval.Laws[F] with Type[F]

Laws for Suspendable.

Source
Suspendable.scala
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Laws
2. Type
3. Laws
4. Type
5. Laws
6. Type
7. Laws
8. Type
9. Laws
10. Type
11. AnyRef
12. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Abstract Value Members

1. implicit abstract def applicative: Applicative[F]
Definition Classes
Type
2. implicit abstract def functor: Functor[F]
Definition Classes
Type
Definition Classes
Type
Definition Classes
Type
5. implicit abstract def suspendable: Suspendable[F]
Definition Classes
Type

### 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. def applicativeComposition[A, B, C](fa: F[A], fab: F[(A) ⇒ B], fbc: F[(B) ⇒ C]): IsEquiv[F[C]]
Definition Classes
Laws
5. def applicativeHomomorphism[A, B](a: A, f: (A) ⇒ B): IsEquiv[F[B]]
Definition Classes
Laws
6. def applicativeIdentity[A](fa: F[A]): IsEquiv[F[A]]
Definition Classes
Laws
7. def applicativeInterchange[A, B](a: A, ff: F[(A) ⇒ B]): IsEquiv[F[B]]
Definition Classes
Laws
8. def applicativeMap[A, B](fa: F[A], f: (A) ⇒ B): IsEquiv[F[B]]
Definition Classes
Laws
9. def applyComposition[A, B, C](fa: F[A], fab: F[(A) ⇒ B], fbc: F[(B) ⇒ C]): IsEquiv[F[C]]
Definition Classes
Laws
10. final def asInstanceOf[T0]: T0
Definition Classes
Any
11. def clone()
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
12. def covariantComposition[A, B, C](fa: F[A], f: (A) ⇒ B, g: (B) ⇒ C): IsEquiv[F[C]]
Definition Classes
Laws
13. def covariantIdentity[A](fa: F[A]): IsEquiv[F[A]]
Definition Classes
Laws
14. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
15. def equals(arg0: Any)
Definition Classes
AnyRef → Any
16. def evalDelaysEffects[A](seed: A, effect: (A) ⇒ A): IsEquiv[F[A]]
17. def evalEquivalenceWithPure[A](a: A): IsEquiv[F[A]]
Definition Classes
Laws
18. def evalEquivalenceWithRaiseError[A](ex: Throwable)(implicit M: MonadError[F, Throwable]): IsEquiv[F[A]]
Definition Classes
Laws
19. def evalEquivalenceWithSuspend[A](fa: F[A]): IsEquiv[F[A]]
20. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
21. def flatMapAssociativity[A, B, C](fa: F[A], f: (A) ⇒ F[B], g: (B) ⇒ F[C]): IsEquiv[F[C]]
Definition Classes
Laws
22. def flatMapConsistentApply[A, B](fa: F[A], fab: F[(A) ⇒ B]): IsEquiv[F[B]]
Definition Classes
Laws
23. def flatMapConsistentMap2[A, B, C](fa: F[A], fb: F[B], f: (A, B) ⇒ C): IsEquiv[F[C]]
Definition Classes
Laws
24. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
25. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
26. final def isInstanceOf[T0]
Definition Classes
Any
27. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
28. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
29. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
30. def suspendDelaysEffects[A](seed: A, effect: (A) ⇒ A): IsEquiv[F[A]]
31. def suspendEquivalenceWithEval[A](a: A): IsEquiv[F[A]]
32. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
33. def toString(): String
Definition Classes
AnyRef → Any
34. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
35. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
36. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@native() @throws( ... )