cats

Type Members

1. type :<:[F[_], G[_]] = InjectK[F, G]

   

2. type :≺:[F[_], G[_]] = InjectK[F, G]

   

3. type Eq[A] = cats.kernel.Eq[A]

   

4. type Group[A] = cats.kernel.Group[A]

   

5. type Hash[A] = cats.kernel.Hash[A]

   

6. type Id[A] = A

   

7. type Monoid[A] = cats.kernel.Monoid[A]

   

8. type Order[A] = cats.kernel.Order[A]

   

9. type PartialOrder[A] = cats.kernel.PartialOrder[A]

   

10. type Semigroup[A] = cats.kernel.Semigroup[A]

    

11. type ~>[F[_], G[_]] = FunctionK[F, G]

    

12. type ⊤ = Any

    

13. type ⊥ = Nothing

    

14. type Cartesian[F[_]] = Semigroupal[F]

    

    Annotations

    @deprecated

    Deprecated

    (Since version 1.0.0-RC1) renamed to Semigroupal