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

FunctorKLaws

cats.tagless.laws.FunctorKLaws
See theFunctorKLaws companion object
trait FunctorKLaws[F[_[_]]] extends InvariantKLaws[F]

Attributes

Companion
object
Source
FunctorKLaws.scala
Graph
Supertypes
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
Known subtypes
trait ApplyKLaws[F]
trait InstrumentLaws[F]
trait AspectLaws[F, Dom, Cod]

Members list

Value members

Concrete methods

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

Attributes

Source
FunctorKLaws.scala
def covariantIdentity[A[_]](fg: F[A]): IsEq[F[A]]

Attributes

Source
FunctorKLaws.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: FunctorK[F]

Attributes

Source
FunctorKLaws.scala
Generated with