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

cats.tagless.laws

package cats.tagless.laws

Members list

Packages

package cats.tagless.laws.discipline

Type members

Classlikes

trait ApplyKLaws[F[_[_]]] extends SemigroupalKLaws[F], FunctorKLaws[F]

Attributes

Companion
object
Source
ApplyKLaws.scala
Supertypes
trait FunctorKLaws[F]
trait InvariantKLaws[F]
trait SemigroupalKLaws[F]
class Object
trait Matchable
class Any
Show all
object ApplyKLaws

Attributes

Companion
trait
Source
ApplyKLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
ApplyKLaws.type
trait AspectLaws[F[_[_]], Dom[_], Cod[_]] extends InstrumentLaws[F]

Attributes

Companion
object
Source
AspectLaws.scala
Supertypes
trait InstrumentLaws[F]
trait FunctorKLaws[F]
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
Show all
object AspectLaws

Attributes

Companion
trait
Source
AspectLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
AspectLaws.type
trait ContravariantKLaws[F[_[_]]] extends InvariantKLaws[F]

Attributes

Companion
object
Source
ContravariantKLaws.scala
Supertypes
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
object ContravariantKLaws

Attributes

Companion
trait
Source
ContravariantKLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait FunctorKLaws[F[_[_]]] extends InvariantKLaws[F]

Attributes

Companion
object
Source
FunctorKLaws.scala
Supertypes
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
Known subtypes
trait ApplyKLaws[F]
trait InstrumentLaws[F]
trait AspectLaws[F, Dom, Cod]
object FunctorKLaws

Attributes

Companion
trait
Source
FunctorKLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait InstrumentLaws[F[_[_]]] extends FunctorKLaws[F]

Attributes

Companion
object
Source
InstrumentLaws.scala
Supertypes
trait FunctorKLaws[F]
trait InvariantKLaws[F]
class Object
trait Matchable
class Any
Known subtypes
trait AspectLaws[F, Dom, Cod]
object InstrumentLaws

Attributes

Companion
trait
Source
InstrumentLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait InvariantKLaws[F[_[_]]]

Attributes

Companion
object
Source
InvariantKLaws.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait FunctorKLaws[F]
trait ApplyKLaws[F]
trait InstrumentLaws[F]
trait AspectLaws[F, Dom, Cod]
object InvariantKLaws

Attributes

Companion
trait
Source
InvariantKLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait SemigroupalKLaws[F[_[_]]]

Attributes

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

Attributes

Companion
trait
Source
SemigroupalKLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with