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
Learn more about member selection
Visibility
  1. Public
  2. All

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

Value Members

  1. val Eq: algebra.Eq.type

  2. val Group: algebra.Group.type

  3. implicit val Id: Bimonad[Id] with Traverse[Id]

  4. val Monoid: algebra.Monoid.type

  5. val Order: algebra.Order.type

  6. val PartialOrder: algebra.PartialOrder.type

  7. val Semigroup: algebra.Semigroup.type

  8. package derived

  9. package lift

  10. package sequence

Inherited from AnyRef

Inherited from Any

Ungrouped