Mastering Functional Programming

Core

The core package, cats, of the library exposes the following API:

The core package contains a list of all the type classes that are defined by the library. The type classes pattern in the Cats implementation usually consists of a trait and its companion object.

Let's use an example of Monad to take a look at what a typical type class looks like in the context of the library:

Let us now take a closer look at how the type classes in the type class hierarchy of Cats are structured.