CategoryLaws

cats.laws.CategoryLaws

See theCategoryLaws companion object

trait CategoryLaws[F[_, _]] extends ComposeLaws[F]

Laws that must be obeyed by any cats.arrow.Category.

Attributes

Companion: object
Source: CategoryLaws.scala
Graph
Supertypes: trait ComposeLaws[F]

class Object

trait Matchable

class Any
Known subtypes: trait ArrowLaws[F]

trait ArrowChoiceLaws[F]

trait CommutativeArrowLaws[F]

trait ChoiceLaws[F]