InvariantKLaws

cats.tagless.laws.InvariantKLaws
See theInvariantKLaws companion trait

Attributes

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

Members list

Value members

Concrete methods

def apply[F[_[_]]](implicit ev: InvariantK[F]): InvariantKLaws[F]

Attributes

Source
InvariantKLaws.scala