cats-mtl-laws/cats.mtl.laws/TellLaws

TellLaws

trait TellLaws[F <: ([_$1] =>> Any), L]
Companion
object
class Object
trait Matchable
class Any
trait CensorLaws[F, L]
trait ListenLaws[F, L]

Value members

Methods

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

Implicits

Implicits

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