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

TellLaws

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

Value members

Concrete methods

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

Implicits

Implicits

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