Packages

p

cats

package cats

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. cats
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package tagless

Type Members

  1. type :<:[F[_], G[_]] = InjectK[F, G]
  2. type :≺:[F[_], G[_]] = InjectK[F, G]
  3. type ApplicativeThrow[F[_]] = ApplicativeError[F, Throwable]
  4. type Comparison = cats.kernel.Comparison
  5. type Endo[A] = (A) => A
  6. type Eq[A] = cats.kernel.Eq[A]
  7. type Group[A] = cats.kernel.Group[A]
  8. type Hash[A] = cats.kernel.Hash[A]
  9. type Id[A] = A
  10. type MonadThrow[F[_]] = MonadError[F, Throwable]
  11. type Monoid[A] = cats.kernel.Monoid[A]
  12. type Order[A] = cats.kernel.Order[A]
  13. type PartialOrder[A] = cats.kernel.PartialOrder[A]
  14. type Semigroup[A] = cats.kernel.Semigroup[A]
  15. type ~>[F[_], G[_]] = FunctionK[F, G]
  16. type ⊤ = Any
  17. type ⊥ = Nothing

Value Members

  1. val Comparison: cats.kernel.Comparison.type
  2. val Eq: cats.kernel.Eq.type
  3. val Group: cats.kernel.Group.type
  4. val Hash: cats.kernel.Hash.type
  5. val Monoid: cats.kernel.Monoid.type
  6. val Order: cats.kernel.Order.type
  7. val PartialOrder: cats.kernel.PartialOrder.type
  8. val Semigroup: cats.kernel.Semigroup.type
  9. implicit val catsAlignForId: Align[Id]
  10. val catsInstancesForId: Bimonad[Id] with CommutativeMonad[Id] with NonEmptyTraverse[Id] with Distributive[Id]
  11. implicit val catsParallelForId: Aux[Id, Id]
  12. implicit val catsRepresentableForId: Aux[Id, Unit]

Inherited from AnyRef

Inherited from Any

Ungrouped