laws
0.16.0
API
Generated with
laws/cats.tagless.laws/ContravariantKLaws

ContravariantKLaws

cats.tagless.laws.ContravariantKLaws
See theContravariantKLaws companion object
trait ContravariantKLaws[F[_[_]]] extends InvariantKLaws[F]

Attributes

Companion
object
Source
ContravariantKLaws.scala
Graph
Supertypes
trait InvariantKLaws[F]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def contravariantComposition[A[_], B[_], C[_]](fa: F[A], f: FunctionK[B, A], g: FunctionK[C, B]): IsEq[F[C]]

Attributes

Source
ContravariantKLaws.scala
def contravariantIdentity[A[_]](fg: F[A]): IsEq[F[A]]

Attributes

Source
ContravariantKLaws.scala

Inherited methods

def invariantComposition[A[_], B[_], C[_]](fa: F[A], f1: FunctionK[A, B], f2: FunctionK[B, A], g1: FunctionK[B, C], g2: FunctionK[C, B]): IsEq[F[C]]

Attributes

Inherited from:
InvariantKLaws
Source
InvariantKLaws.scala
def invariantIdentity[A[_]](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
InvariantKLaws
Source
InvariantKLaws.scala

Implicits

Implicits

implicit def F: ContravariantK[F]

Attributes

Source
ContravariantKLaws.scala
Generated with