cats-mtl-laws/cats.mtl.laws

cats.mtl.laws

package cats.mtl.laws

Type members

Classlikes

trait AskLaws[F <: ([_$1] =>> Any), E]
Companion
object
object AskLaws
Companion
class
trait CensorLaws[F <: ([_$1] =>> Any), L] extends ListenLaws[F, L]
Companion
object
object CensorLaws
Companion
class
trait ChronicleLaws[F <: ([_$1] =>> Any), E]
Created by Yuval.Itzchakov on 20/07/2018.
Companion
object
object ChronicleLaws
Companion
class
trait HandleLaws[F <: ([_$1] =>> Any), E] extends RaiseLaws[F, E]
Companion
object
object HandleLaws
Companion
class
trait ListenLaws[F <: ([_$1] =>> Any), L] extends TellLaws[F, L]
Companion
object
object ListenLaws
Companion
class
trait LocalLaws[F <: ([_$1] =>> Any), E] extends AskLaws[F, E]
Companion
object
object LocalLaws
Companion
class
trait RaiseLaws[F <: ([_$1] =>> Any), E]
Companion
object
object RaiseLaws
Companion
class
trait StatefulLaws[F <: ([_$1] =>> Any), S]
Companion
object
object StatefulLaws
Companion
class
trait TellLaws[F <: ([_$1] =>> Any), L]
Companion
object
object TellLaws
Companion
class