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
/
AspectLaws
AspectLaws
cats.tagless.laws.AspectLaws
See the
AspectLaws
companion trait
object
AspectLaws
Attributes
Companion
trait
Source
AspectLaws.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
AspectLaws
.
type
Members list
Clear all
Value members
Concrete methods
def
apply
[
F
[
_
[
_
]],
Dom
[
_
],
Cod
[
_
]](
implicit
ev
:
Aspect
[
F
,
Dom
,
Cod
]):
AspectLaws
[
F
,
Dom
,
Cod
]
Attributes
Source
AspectLaws.scala
In this article
Attributes
Members list
Value members
Concrete methods