cats

Type Members

1. type <~[F[_], G[_]] = NaturalTransformation[G, F]

   

2. type Eq[A] = algebra.Eq[A]

   

3. type Group[A] = algebra.Group[A]

   

4. type Id[A] = A

   

5. type Monoid[A] = algebra.Monoid[A]

   

6. type Order[A] = algebra.Order[A]

   

7. type PartialOrder[A] = algebra.PartialOrder[A]

   

8. type Semigroup[A] = algebra.Semigroup[A]

   

9. type ~>[F[_], G[_]] = NaturalTransformation[F, G]

   

10. type ⊤ = Any

    

11. type ⊥ = Nothing