cats-mtl-laws/cats.mtl.laws

cats.mtl.laws

package cats.mtl.laws

Type members

Classlikes

trait AskLaws[F[_], E]
Companion
object
object AskLaws
Companion
class
trait CensorLaws[F[_], L] extends ListenLaws[F, L]
Companion
object
object CensorLaws
Companion
class
trait ChronicleLaws[F[_], E]

Created by Yuval.Itzchakov on 20/07/2018.

Created by Yuval.Itzchakov on 20/07/2018.

Companion
object
object ChronicleLaws
Companion
class
trait HandleLaws[F[_], E] extends RaiseLaws[F, E]
Companion
object
object HandleLaws
Companion
class
trait ListenLaws[F[_], L] extends TellLaws[F, L]
Companion
object
object ListenLaws
Companion
class
trait LocalLaws[F[_], E] extends AskLaws[F, E]
Companion
object
object LocalLaws
Companion
class
trait RaiseLaws[F[_], E]
Companion
object
object RaiseLaws
Companion
class
trait StatefulLaws[F[_], S]
Companion
object
object StatefulLaws
Companion
class
trait TellLaws[F[_], L]
Companion
object
object TellLaws
Companion
class