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

  • Eq Add Eq docs #1788
  • PartialOrder
  • Order
  • Semigroup
  • Monoid
  • Group
  • CommutativeSemigroup
  • Band
  • CommutativeMonoid
  • Semilattice
  • CommutativeGroup
  • BoundedSemilattice

• Functor

  • Invariant
  • Contravariant
  • BiFunctor
  • ProFunctor
  • Strong

• Core

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

• Arrow

  • Arrow Add docs for Arrow #1924
  • Category
  • Choice
  • CommutativeArrow
  • Compose

Data types

• Const
• Kleisli
• Cokleisli
• Id
• Eval Add Eval documentation #1816
• EitherK
• Tuple2K
• EitherT Add EitherT docs #1854
• OptionT
• State
• StateT
• OneAnd
• NonEmptyList First approach to NonEmptyList docs #1971
• NonEmptyVector
• Validated
• FunctionK
• Either
• Ior Add docs for Ior #1822
• WriterT
• ReaderWriterStateT
• Nested

Other:

1. Laws. Briefly touched on in Laws are missing in the published API docs #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 Document instances of type classes #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 😉

#3618
Here the PR. Go There and tell me how terrible it is (a lot)

[gatear]

I've checked the current mdoc.
I would like to cover in the following week:

• BiMonad
• BiFoldable
• BiTraverse

Later edit:

• Add documentation for Bimonad #4076
• Make Bifoldable docs #4109

[satorg]

Seems that Alternative is already covered here, isn't it?
But there's a new typeclass NonEmptyAlternative already, which apparently is not.

[gatear]

Documentation for CoMonad and CoFlatMap already exists via #2888

[benkio]

I will start working on StateT 😉

EDIT: Just opened the PR #4126