cats.tagless.laws.ApplyKLaws
See theApplyKLaws companion object
trait ApplyKLaws[F[_[_]]] extends SemigroupalKLaws[F], FunctorKLaws[F]
Attributes
- Companion
- object
- Source
- ApplyKLaws.scala
- Graph
-
- Supertypes
-
trait FunctorKLaws[F]trait InvariantKLaws[F]trait SemigroupalKLaws[F]class Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
def applyKAssociativity[A[_], B[_], C[_]](af: F[A], ag: F[B], ah: F[C]): IsEq[F[[_] =>> Tuple2K[A, [_] =>> Tuple2K[B, C, _$6], _$7]]]
Attributes
- Source
- ApplyKLaws.scala
Inherited methods
def covariantComposition[A[_], B[_], C[_]](fa: F[A], f: FunctionK[A, B], g: FunctionK[B, C]): IsEq[F[C]]
Attributes
- Inherited from:
- FunctorKLaws
- Source
- FunctorKLaws.scala
Attributes
- Inherited from:
- FunctorKLaws
- Source
- FunctorKLaws.scala
Attributes
- Inherited from:
- InvariantKLaws
- Source
- InvariantKLaws.scala
Attributes
- Inherited from:
- InvariantKLaws
- Source
- InvariantKLaws.scala
def semigroupalAssociativity[A[_], B[_], C[_]](af: F[A], ag: F[B], ah: F[C]): (F[[_] =>> Tuple2K[A, [_] =>> Tuple2K[B, C, _$6], _$7]], F[[_] =>> Tuple2K[[_] =>> Tuple2K[A, B, _$8], C, _$9]])
Attributes
- Inherited from:
- SemigroupalKLaws
- Source
- SemigroupalKLaws.scala
Implicits
Implicits
Attributes
- Source
- ApplyKLaws.scala
In this article