p
        
        cats 
package cats
          
            Linear Supertypes
          
          
        
          
          
            
          
          
        
        
            Ordering
            
          - Alphabetic
- By Inheritance
                  Inherited
                  
                  
- cats
- AnyRef
- Any
- Hide All
- Show All
              Visibility
              
        - Public
- All
Type Members
-  type :<:[F[_], G[_]] = InjectK[F, G]
-  type :≺:[F[_], G[_]] = InjectK[F, G]
-  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 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 catsInstancesForId: Bimonad[Id] with CommutativeMonad[Id] with Comonad[Id] with NonEmptyTraverse[Id] with Distributive[Id]
-  implicit val catsParallelForId: Aux[Id, Id]
-  implicit val catsRepresentableForId: Aux[Id, Unit]