cats.effect.laws
package cats.effect.laws
Type members
Classlikes
trait SyncLaws[F <: ([_$1] =>> Any)] extends MonadCancelLaws[F, Throwable] with ClockLaws[F] with UniqueLaws[F]
- Companion
- object
trait SyncTests[F <: ([_$1] =>> Any)] extends MonadCancelTests[F, Throwable] with ClockTests[F] with UniqueTests[F]
- Companion
- object