added instance table to docs, enhanced typeclass diagram

[kailuowang]

UPDATE: I switched to tpolecat's infographic. But Don't merge yet, it seems to me that microsites doesn't support .svg files, see 47degrees/sbt-microsites#182
SVG issue resolved ready to review/merge.
Originally from @alexknvl
The instance table

Type	Functor	Apply	Applicative	Monad	MonoidK	ApplicativeError	MonadError	CoflatMap	Comonad
Id[A]	✔	✔	✔	✔	✗	✗	✗	✔	✔
Eval[A]	✔	✔	✔	✔	✗	✔	✔	✔	✔
Option[A]	✔	✔	✔	✔	✔	✗	✗	✔	✗
Const[K, A]	✔	✔ (K:Monoid)	✔	✗	✗	✗	✗	✗	✗
Either[E, A]	✔	✔	✔	✔	✔	✔	✔	✗	✗
List[A]	✔	✔	✔	✔	✔	✗	✗	✔	✗
NonEmptyList[A]	✔	✔	✔	✗	✗	✗	✗	✔	✔
Stream[A]	✔	✔	✔	✔	✔	✗	✗	✔	✗
Map[K, A]	✔	✔	✗	✗	✔	✗	✗	✗	✗
Validated[E, A]	✔	✔ (E: Semigroup)	✔	✗	✗	✔ (E: Semigroup)	✗	✗	✗
Reader[E, A]	✔	✔	✔	✔	✗	✗	✗	✗	✗
Writer[E, A]	✔	✔ (E:Monoid)	✔	✔	✗	✗	✗	✔	✗

The typeclass infograph from @tpolecat

[codecov-io]

Codecov Report

Merging #1565 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1565   +/-   ##
=======================================
  Coverage   93.37%   93.37%           
=======================================
  Files         240      240           
  Lines        3941     3941           
  Branches      141      138    -3     
=======================================
  Hits         3680     3680           
  Misses        261      261

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 404f348...24fda91. Read the comment docs.

[peterneyens]

This sort of solves #1287.

[juanpedromoreno]

@kailuowang Regarding the svg issue, I think the problem might be related to Jekyll filtering:

Could you please try to put below this line the next sbt config?

includeFilter in Jekyll := "*.html" | "*.css" | "*.png" | "*.jpg" | "*.gif" | "*.js" | "*.swf" | "*.yml" | "*.md" | "*.svg"

The trick would be using Jekyll scope (you might even combine the same includeFilter for both makeSite and Jekyll scopes).

Let me know if that solves the issue.

[kailuowang]

@juanpedromoreno that indeed fixed the issue. Thanks very much!

[rossabaker]

Both the graphic and the table are great.

[djspiewak]

@tpolecat The graph is amazing, though unfortunately it's a bit out of date on the cats-effect front since we had to make Async <: Sync directly, rather than sitting in parallel.

[tpolecat]

@kailuowang is it possible/desirable to link directly to the SVG in my repo so it gets updated automatically?

[kailuowang]

@tpolecat it's certainly desirable from my point of view. In fact, that's the first thing I tried. I couldn't find a url of it that points to the latest version and with the right content type. Maybe you have to publish it to gh-pages? (or just make gh-pages your main branch?)

[tpolecat]

The internet showed me this trick but I don't know if it's a reasonable long-term solution. Below the link is:

https://cdn.rawgit.com/tpolecat/cats-infographic/master/cats.svg

The embedded png file isn't showing up but I'm not sure what to do about that. I could just remove it, it doesn't really add anything.

[johnynek]

NonEmptyList is a monad, no?
https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/data/NonEmptyList.scala#L368

[kailuowang]

@tpolecat awesome! Just updated. I think a midterm solution is good enough for now.

[kailuowang]

@johnynek good catch, fixed.

[tpolecat]

@kailuowang I updated the infographic but it's not showing up on the cdn yet. It may be cached for a while.

Update: it updated at some point so I think we're good.

[kailuowang]

ping @johnynek. Do yo have time to take another look?

[ceedubs]

Nice stuff!