cats
.
effect
laws
package
laws
Visibility
Public
All
Type Members
trait
AsyncLaws
[
F
[
_
]
]
extends
MonadErrorLaws
[
F
,
Throwable
]
trait
EffectLaws
[
F
[
_
]
]
extends
AsyncLaws
[
F
] with
SyncLaws
[
F
]
trait
SyncLaws
[
F
[
_
]
]
extends
MonadErrorLaws
[
F
,
Throwable
]
Value Members
object
AsyncLaws
object
EffectLaws
object
SyncLaws
package
discipline
Ungrouped