cats-mtl-laws/cats.mtl.laws/ListenLaws

ListenLaws

trait ListenLaws[F[_], L] extends TellLaws[F, L]
Companion:
object
trait TellLaws[F, L]
class Object
trait Matchable
class Any
trait CensorLaws[F, L]

Value members

Concrete methods

def listenAddsNoEffects[A](fa: F[A]): IsEq[F[A]]
def listenRespectsTell(l: L): IsEq[F[(Unit, L)]]
def listensIsListenThenMap[A, B](fa: F[A], f: L => B): IsEq[F[(A, B)]]

Inherited methods

def tupleIsWriterFlipped[A](a: A, l: L): IsEq[F[A]]
Inherited from:
TellLaws
def writerIsTellAndMap[A](a: A, l: L): IsEq[F[A]]
Inherited from:
TellLaws

Implicits

Implicits

implicit def F: Listen[F, L]

Inherited implicits

implicit def functor(implicit F: Tell[F, L]): Functor[F]
Inherited from:
TellLaws