p
cats
package cats
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- cats
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type :<:[F[_], G[_]] = InjectK[F, G]
- type :≺:[F[_], G[_]] = InjectK[F, G]
- type ApplicativeThrow[F[_]] = ApplicativeError[F, Throwable]
- type Comparison = cats.kernel.Comparison
- type Endo[A] = (A) => A
- type Eq[A] = cats.kernel.Eq[A]
- type Group[A] = cats.kernel.Group[A]
- type Hash[A] = cats.kernel.Hash[A]
- type Id[A] = A
- type MonadThrow[F[_]] = MonadError[F, Throwable]
- type Monoid[A] = cats.kernel.Monoid[A]
- type Order[A] = cats.kernel.Order[A]
- type PartialOrder[A] = cats.kernel.PartialOrder[A]
- type Semigroup[A] = cats.kernel.Semigroup[A]
- type ~>[F[_], G[_]] = FunctionK[F, G]
- type ⊤ = Any
- type ⊥ = Nothing
Value Members
- val Comparison: cats.kernel.Comparison.type
- val Eq: cats.kernel.Eq.type
- val Group: cats.kernel.Group.type
- val Hash: cats.kernel.Hash.type
- val Monoid: cats.kernel.Monoid.type
- val Order: cats.kernel.Order.type
- val PartialOrder: cats.kernel.PartialOrder.type
- val Semigroup: cats.kernel.Semigroup.type
- implicit val catsAlignForId: Align[Id]
- val catsInstancesForId: Bimonad[Id] with CommutativeMonad[Id] with NonEmptyTraverse[Id] with Distributive[Id]
- implicit val catsParallelForId: Aux[Id, Id]
- implicit val catsRepresentableForId: Aux[Id, Unit]