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

SemigroupalKLaws

cats.tagless.laws.SemigroupalKLaws
See theSemigroupalKLaws companion object
trait SemigroupalKLaws[F[_[_]]]

Attributes

Companion
object
Source
SemigroupalKLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ApplyKLaws[F]

Members list

Value members

Concrete methods

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

Source
SemigroupalKLaws.scala

Implicits

Implicits

implicit def F: SemigroupalK[F]

Attributes

Source
SemigroupalKLaws.scala
Generated with