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

cats.mtl.laws.discipline

package cats.mtl.laws.discipline

Type members

Classlikes

trait AskTests[F <: ([_$1] =>> Any), E] extends Laws
Companion
object
object AskTests
Companion
class
trait CensorTests[F <: ([_$1] =>> Any), L] extends ListenTests[F, L]
Companion
object
object CensorTests
Companion
class
trait ChronicleTests[F <: ([_$1] =>> Any), E] extends Laws
Companion
object
object ChronicleTests
Companion
class
trait HandleTests[F <: ([_$1] =>> Any), E] extends RaiseTests[F, E]
Companion
object
object HandleTests
Companion
class
trait ListenTests[F <: ([_$1] =>> Any), L] extends TellTests[F, L]
Companion
object
object ListenTests
Companion
class
trait LocalTests[F <: ([_$1] =>> Any), E] extends AskTests[F, E]
Companion
object
object LocalTests
Companion
class
trait RaiseTests[F <: ([_$1] =>> Any), E] extends Laws
Companion
object
object RaiseTests
Companion
class
trait StatefulTests[F <: ([_$1] =>> Any), S] extends Laws
Companion
object
object StatefulTests
Companion
class
trait TellTests[F <: ([_$1] =>> Any), L] extends Laws
Companion
object
object TellTests
Companion
class