ContravariantKLaws

cats.tagless.laws.ContravariantKLaws
See theContravariantKLaws companion trait

Attributes

Companion
trait
Source
ContravariantKLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply[F[_[_]]](implicit ev: ContravariantK[F]): ContravariantKLaws[F]

Attributes

Source
ContravariantKLaws.scala