


  • Cats
  • Type Classes
  • Data Types
  • Algebra
  • Alleycats
  • Motivations
  • Resources for Learners
  • Jump Start Guide
  • Imports
  • FAQ
  • Contributor guide
  • Adopters
  • Colophon
  • Glossary
  • Guidelines
  • Typelevel Ecosystem
  • Type Classes
  • Alternative
  • Applicative
  • ApplicativeError and MonadError
  • Applicative and Traversable Functors
  • Arrow
  • Arrow Choice
  • Bifoldable
  • Bifunctor
  • Bimonad
  • Comonad
  • Contravariant
  • Contravariant Monoidal
  • Eq
  • Foldable
  • Functor
  • Invariant
  • Invariant Monoidal
  • Law testing
  • Monad
  • Monoid
  • MonoidK
  • NonEmptyTraverse
  • Parallel
  • Reducible
  • Semigroup
  • SemigroupK
  • Show
  • Traverse
  • Data Types
  • Chain
  • Const
  • ContT
  • EitherT
  • Eval
  • Free Applicative
  • Free Monad
  • FunctionK
  • Id
  • Ior
  • IorT
  • Kleisli
  • NonEmptyList
  • Nested
  • OneAnd
  • OptionT
  • State
  • StateT
  • Validated
  • Writer
  • WriterT

Data Types

  • Data Types
  • Chain
  • Const
  • ContT
  • EitherT
  • Eval
  • Free Applicative
  • Free Monad
  • FunctionK
  • Id
  • Ior
  • IorT
  • Kleisli
  • NonEmptyList
  • Nested
  • OneAnd
  • OptionT
  • State
  • StateT
  • Validated
  • Writer
  • WriterT
cats is a Typelevel project distributed under the MIT license.