Cats: Documentation megathread

[LukaJCB]

I'm trying to compile a thorough collection of everything currently documented and everything we still want to document. I'd also like to talk about a few other things other people brought up. This is sort of meant as a follow up to #1443. Another question that arrises, is if we really need documentation for every single one of these, or if some don't really make sense to have their own page. It might make sense to combine some of these as well (e.g. NonEmpty{List, Vector}).

Type classes:

• Kernel

  • [x] Eq #1788
  • [ ] PartialOrder
  • [ ] Order
  • [x] Semigroup
  • [x] Monoid
  • [ ] Group
  • [ ] CommutativeSemigroup
  • [ ] Band
  • [ ] CommutativeMonoid
  • [ ] Semilattice
  • [ ] CommutativeGroup
  • [ ] BoundedSemilattice

• Functor

  • [x] Invariant
  • [x] Contravariant
  • [x] BiFunctor
  • [ ] ProFunctor
  • [ ] Strong

• Core

  • [x] Functor
  • [x] Apply
  • [x] Applicative
  • [ ] FlatMap
  • [x] Monad
  • [x] Foldable
  • [x] Traverse
  • [x] Reducible #1777
  • [x] NonEmptyTraverse #1787
  • [ ] CoFlatMap
  • [ ] CoMonad
  • [ ] BiMonad
  • [ ] BiFoldable
  • [ ] BiTraverse
  • [ ] ApplicativeError
  • [ ] MonadError
  • [ ] CommutativeFlatMap
  • [ ] CommutativeMonad
  • [x] InvariantMonoidal
  • [x] SemigroupK
  • [x] MonoidK
  • [ ] Alternative
  • [x] Show #1789
  • [ ] Inject
  • [ ] InjectK
  • [ ] NotNull
  • [x] Parallel

• Arrow

  • [x] Arrow #1924
  • [ ] Category
  • [ ] Choice
  • [ ] CommutativeArrow
  • [ ] Compose

Data types

• [x] Const
• [x] Kleisli
• [ ] Cokleisli
• [x] Id
• [x] Eval #1816
• [ ] EitherK
• [ ] Tuple2K
• [x] EitherT #1854
• [x] OptionT
• [x] State
• [ ] StateT
• [x] OneAnd
• [x] NonEmptyList #1971
• [ ] NonEmptyVector
• [x] Validated
• [x] FunctionK
• [x] Either
• [x] Ior #1822
• [ ] WriterT
• [ ] ReaderWriterStateT
• [x] Nested

Other:

1. Laws. Briefly touched on in #510, currently there's no really good place to look for the laws of any given typeclass, I think we should definitely document and emphasize the laws on all the type classes.
2. Type class instances. Suggested in #1287, it would be really nice if we had some way to see all the defined instances for every type class we include in cats.

---

If I missed anything just tell me and I'll try to edit :)

[zliu41]

Working on docs for Arrow in the Scala world spree.

[AlejandroME]

Having worked with docs for #1678 (PR #1903), I'll take NonEmptyList docs :)

[stephen-lazaro]

I'll start on the Alternative docs, unless someone else beats me to it.

[kubukoz]

I would like to do Order, unless you think PartialOrder should come first :)

[stephen-lazaro]

I'll pick up Profunctor and Strong next unless someone beats me to it.

[benkio]

I take WriterT as requested here #625 as well :wink:

https://github.com/typelevel/cats/pull/3618
Here the PR. Go There and tell me how terrible it is (a lot)