Packages

package laws

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Package Members

  1. package discipline
  2. package util

Type Members

  1. trait AsyncLaws[F[_]] extends SyncLaws[F]
  2. trait BracketLaws[F[_], E] extends MonadErrorLaws[F, E]
  3. trait ConcurrentEffectLaws[F[_]] extends ConcurrentLaws[F] with EffectLaws[F]
  4. trait ConcurrentLaws[F[_]] extends AsyncLaws[F]
  5. trait EffectLaws[F[_]] extends AsyncLaws[F]
  6. trait SyncEffectLaws[F[_]] extends SyncLaws[F]
  7. trait SyncLaws[F[_]] extends BracketLaws[F, Throwable] with DeferLaws[F]

Value Members

  1. object AsyncLaws
  2. object BracketLaws
  3. object ConcurrentEffectLaws
  4. object ConcurrentLaws
  5. object EffectLaws
  6. object SyncEffectLaws
  7. object SyncLaws

Ungrouped