mainecoon
laws
package
laws
Visibility
Public
All
Type Members
trait
CartesianKLaws
[
F
[
_
[
_
]
]
]
extends
AnyRef
trait
FunctorKLaws
[
F
[
_
[
_
]
]
]
extends
InvariantKLaws
[
F
]
trait
InvariantKLaws
[
F
[
_
[
_
]
]
]
extends
AnyRef
Value Members
object
CartesianKLaws
object
FunctorKLaws
object
InvariantKLaws
package
discipline
Ungrouped