laws
0.16.0
API
Generated with
laws/cats.tagless.laws/cats.tagless.laws.discipline/SemigroupalKTests/IsomorphismsK

IsomorphismsK

cats.tagless.laws.discipline.SemigroupalKTests.IsomorphismsK
See theIsomorphismsK companion trait
object IsomorphismsK

Attributes

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

Members list

Type members

Types

type ProdAB_C[A[_], B[_], C[_]] = { type λ = [T] =>> Tuple2K[[_] =>> Tuple2K[A, B, _$20], C, T]; }

Attributes

Source
SemigroupalKTests.scala
type ProdA_BC[A[_], B[_], C[_]] = { type λ = [T] =>> Tuple2K[A, [_] =>> Tuple2K[B, C, _$16], T]; }

Attributes

Source
SemigroupalKTests.scala

Implicits

Implicits

implicit def invariantK[F[_[_]]](implicit F: InvariantK[F]): IsomorphismsK[F]

Attributes

Source
SemigroupalKTests.scala
Generated with