cats-effect-laws
3.4-4c07d83
cats-effect-laws
cats.effect.laws
AsyncLaws
AsyncLaws
AsyncTests
AsyncTests
ClockLaws
ClockLaws
ClockTests
ClockTests
GenSpawnLaws
GenSpawnLaws
GenSpawnTests
GenSpawnTests
GenTemporalLaws
GenTemporalLaws
GenTemporalTests
GenTemporalTests
IsEq
IsEq
Assert
IsEqArrow
MonadCancelLaws
MonadCancelLaws
MonadCancelTests
MonadCancelTests
SyncLaws
SyncLaws
SyncTests
SyncTests
Tolerance
Tolerance
UniqueLaws
UniqueLaws
UniqueTests
UniqueTests
cats-effect-laws
/
cats.effect.laws
cats.effect.laws
package
cats.effect.laws
Type members
Implicits
Type members
Classlikes
trait
AsyncLaws
[
F
[
_
]]
extends
GenTemporalLaws
[
F
,
Throwable
]
with
SyncLaws
[
F
]
Companion:
object
Source:
AsyncLaws.scala
object
AsyncLaws
Companion:
class
Source:
AsyncLaws.scala
trait
AsyncTests
[
F
[
_
]]
extends
GenTemporalTests
[
F
,
Throwable
]
with
SyncTests
[
F
]
Companion:
object
Source:
AsyncTests.scala
object
AsyncTests
Companion:
class
Source:
AsyncTests.scala
trait
ClockLaws
[
F
[
_
]]
Companion:
object
Source:
ClockLaws.scala
object
ClockLaws
Companion:
class
Source:
ClockLaws.scala
trait
ClockTests
[
F
[
_
]]
extends
Laws
Companion:
object
Source:
ClockTests.scala
object
ClockTests
Companion:
class
Source:
ClockTests.scala
trait
GenSpawnLaws
[
F
[
_
],
E
]
extends
MonadCancelLaws
[
F
,
E
]
with
UniqueLaws
[
F
]
Companion:
object
Source:
GenSpawnLaws.scala
object
GenSpawnLaws
Companion:
class
Source:
GenSpawnLaws.scala
trait
GenSpawnTests
[
F
[
_
],
E
]
extends
MonadCancelTests
[
F
,
E
]
with
UniqueTests
[
F
]
Companion:
object
Source:
GenSpawnTests.scala
object
GenSpawnTests
Companion:
class
Source:
GenSpawnTests.scala
trait
GenTemporalLaws
[
F
[
_
],
E
]
extends
GenSpawnLaws
[
F
,
E
]
with
ClockLaws
[
F
]
Companion:
object
Source:
GenTemporalLaws.scala
object
GenTemporalLaws
Companion:
class
Source:
GenTemporalLaws.scala
trait
GenTemporalTests
[
F
[
_
],
E
]
extends
GenSpawnTests
[
F
,
E
]
with
ClockTests
[
F
]
Companion:
object
Source:
GenTemporalTests.scala
object
GenTemporalTests
Companion:
class
Source:
GenTemporalTests.scala
sealed
trait
IsEq
[
A
]
Companion:
object
Source:
IsEq.scala
object
IsEq
Companion:
class
Source:
IsEq.scala
final implicit
class
IsEqArrow
[
A
](
lhs:
A
)
extends
AnyVal
Source:
package.scala
trait
MonadCancelLaws
[
F
[
_
],
E
]
extends
MonadErrorLaws
[
F
,
E
]
Companion:
object
Source:
MonadCancelLaws.scala
object
MonadCancelLaws
Companion:
class
Source:
MonadCancelLaws.scala
trait
MonadCancelTests
[
F
[
_
],
E
]
extends
MonadErrorTests
[
F
,
E
]
Companion:
object
Source:
MonadCancelTests.scala
object
MonadCancelTests
Companion:
class
Source:
MonadCancelTests.scala
trait
SyncLaws
[
F
[
_
]]
extends
MonadCancelLaws
[
F
,
Throwable
]
with
ClockLaws
[
F
]
with
UniqueLaws
[
F
]
Companion:
object
Source:
SyncLaws.scala
object
SyncLaws
Companion:
class
Source:
SyncLaws.scala
trait
SyncTests
[
F
[
_
]]
extends
MonadCancelTests
[
F
,
Throwable
]
with
ClockTests
[
F
]
with
UniqueTests
[
F
]
Companion:
object
Source:
SyncTests.scala
object
SyncTests
Companion:
class
Source:
SyncTests.scala
final case
class
Tolerance
[
+
A
](
value:
A
)
Companion:
object
Source:
Tolerance.scala
object
Tolerance
Companion:
class
Source:
Tolerance.scala
trait
UniqueLaws
[
F
[
_
]]
Companion:
object
Source:
UniqueLaws.scala
object
UniqueLaws
Companion:
class
Source:
UniqueLaws.scala
trait
UniqueTests
[
F
[
_
]]
extends
Laws
Companion:
object
Source:
UniqueTests.scala
object
UniqueTests
Companion:
class
Source:
UniqueTests.scala
Implicits
Implicits
final implicit
def
IsEqArrow
[
A
](
lhs:
A
):
IsEqArrow
[
A
]
Source:
package.scala