cats-mtl-laws/cats.mtl.laws.discipline

cats.mtl.laws.discipline

package cats.mtl.laws.discipline

Type members

Classlikes

trait AskTests[F[_], E] extends Laws
Companion
object
object AskTests
Companion
class
trait CensorTests[F[_], L] extends ListenTests[F, L]
Companion
object
object CensorTests
Companion
class
trait ChronicleTests[F[_], E] extends Laws
Companion
object
object ChronicleTests
Companion
class
trait HandleTests[F[_], E] extends RaiseTests[F, E]
Companion
object
object HandleTests
Companion
class
trait ListenTests[F[_], L] extends TellTests[F, L]
Companion
object
object ListenTests
Companion
class
trait LocalTests[F[_], E] extends AskTests[F, E]
Companion
object
object LocalTests
Companion
class
trait RaiseTests[F[_], E] extends Laws
Companion
object
object RaiseTests
Companion
class
trait StatefulTests[F[_], S] extends Laws
Companion
object
object StatefulTests
Companion
class
trait TellTests[F[_], L] extends Laws
Companion
object
object TellTests
Companion
class