cats-mtl-laws
1.4.0
API
Generated with
cats-mtl-laws/cats.mtl.laws/CensorLaws

CensorLaws

cats.mtl.laws.CensorLaws
See theCensorLaws companion object
trait CensorLaws[F[_], L] extends ListenLaws[F, L]

Attributes

Companion
object
Source
CensorLaws.scala
Graph
Supertypes
trait ListenLaws[F, L]
trait TellLaws[F, L]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def censorWithPurIsTellEmpty[A](a: A, f: L => L): IsEq[F[A]]

Attributes

Source
CensorLaws.scala
def clearIsIdempotent[A](fa: F[A]): IsEq[F[A]]

Attributes

Source
CensorLaws.scala
def tellAndClearIsPureUnit(l: L): IsEq[F[Unit]]

Attributes

Source
CensorLaws.scala
def tellLeftProductHomomorphism(l1: L, l2: L): IsEq[F[Unit]]

Attributes

Source
CensorLaws.scala
def tellRightProductHomomorphism(l1: L, l2: L): IsEq[F[Unit]]

Attributes

Source
CensorLaws.scala

Inherited methods

def listenAddsNoEffects[A](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
ListenLaws
Source
ListenLaws.scala
def listenRespectsTell(l: L): IsEq[F[(Unit, L)]]

Attributes

Inherited from:
ListenLaws
Source
ListenLaws.scala
def listensIsListenThenMap[A, B](fa: F[A], f: L => B): IsEq[F[(A, B)]]

Attributes

Inherited from:
ListenLaws
Source
ListenLaws.scala
def tupleIsWriterFlipped[A](a: A, l: L): IsEq[F[A]]

Attributes

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

Attributes

Inherited from:
TellLaws
Source
TellLaws.scala

Implicits

Implicits

implicit def A: Applicative[F]

Attributes

Source
CensorLaws.scala
implicit def F: Censor[F, L]

Attributes

Source
CensorLaws.scala
implicit def L: Monoid[L]

Attributes

Source
CensorLaws.scala

Inherited implicits

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

Attributes

Inherited from:
TellLaws
Source
TellLaws.scala
Generated with