laws
0.16.0
laws
API
cats.tagless.laws
discipline
ApplyKTests
ApplyKTests
AspectTests
AspectTests
ContravariantKTests
ContravariantKTests
FunctorKTests
FunctorKTests
InstrumentTests
InstrumentTests
InvariantKTests
InvariantKTests
SemigroupalKTests
SemigroupalKTests
IsomorphismsK
IsomorphismsK
ApplyKLaws
ApplyKLaws
AspectLaws
AspectLaws
ContravariantKLaws
ContravariantKLaws
FunctorKLaws
FunctorKLaws
InstrumentLaws
InstrumentLaws
InvariantKLaws
InvariantKLaws
SemigroupalKLaws
SemigroupalKLaws
laws
/
cats.tagless.laws
/
cats.tagless.laws.discipline
/
SemigroupalKTests
/
IsomorphismsK
IsomorphismsK
cats.tagless.laws.discipline.SemigroupalKTests.IsomorphismsK
See the
IsomorphismsK
companion object
trait
IsomorphismsK
[
F
[
_
[
_
]]]
Attributes
Companion
object
Source
SemigroupalKTests.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Abstract methods
def
associativity
[
A
[
_
],
B
[
_
],
C
[
_
]](
fs
: (
F
[
ProdA_BC
[
A
,
B
,
C
]
#
<none>
],
F
[
ProdAB_C
[
A
,
B
,
C
]
#
<none>
]))(
implicit
EqFGH
:
Eq
[
F
[
Tuple3K
[
A
,
B
,
C
]
#
<none>
]]):
Prop
Attributes
Source
SemigroupalKTests.scala
In this article
Attributes
Members list
Value members
Abstract methods