tpolecat / cats-infographic Goto Github PK

See: https://arosien.github.io/cats-cheatsheets/typeclasses.pdf

Eq seems to have =!= and not =/=: https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/syntax/eq.scala

AppllicativeError -> ApplicativeError

They appear

1. above Foldable/Traverse (on the left-top of the major typeclass hierarchy)
2. on the right of NonEmptyParallel/Parallel (separated from the major hierarchy)

I think the latter should be removed.

Applicative should extends InvariantMonoidal. I think it is the case since cats 1.x:
https://github.com/typelevel/cats/blob/1.3.x/core/src/main/scala/cats/Applicative.scala#L17

I’m not sure if this is a known issue or somehow intended because it’s in every text, but there are spaces in some words.

Screenshots taken with Safari on iOS and SVG file.

per @djspiewak typelevel/cats#1565 (comment)

Hello :)

First of all, very nice infographic. Minor feedback: I feel that although Alternative is not as common as Applicative or Functor, is still important enough to deserve a place in the main classes imho.

Use cases include parsers, http routes, defaulting logic, property test generators and pretty much everything for which the concept of choice makes sense

Remove FunctorFilter, TraverseFilter, MonadCombine, MonadFilter, MonadReader, MonadState, MonadWriter, TransLift.

Mark MonadError as in cats-core.

Replace Split with CommutativeArrow.

Add InjectK, NonEmptyTraverse, CommutativeFlatMap, CommutativeMonad.

The issue in the past was that this relies on proprietary non-free software to edit, but I think the quality provided overweight the issue. ( And maybe we can ask for sponsored license /copy of it. )
So how about merging this into the cats repo?

I recommend CC-BY-SA 4.0

Hash is not included in the infographic.
https://github.com/typelevel/cats/blob/master/kernel/src/main/scala/cats/kernel/Hash.scala

see typelevel/cats-effect#155