Skip to content

Instantly share code, notes, and snippets.

@alexknvl alexknvl/Types.md
Last active Mar 22, 2017

Embed
What would you like to do?
Type Functor Apply Applicative Bind Monad MonoidK MonadError Cobind Comonad
Id[A]
Option[A]
Const[K, A] ✔ (K:Monoid) ? ?
Either[E, A]
List[A]
NonEmptyList[A]
ZipList[A]
Stream[A]
Map[K, A]
Validated[E, A] ✔ (E: Semigroup)
Reader[E, A] ✔ (E:Monoid)
Writer[E, A] ✔ (E:Monoid)
IO[A] ✔ (Throwable)
@kailuowang

This comment has been minimized.

Copy link

kailuowang commented Mar 16, 2017

This is really helpful. Do you mind if we add it to cats documentation? If not, let me know if you want to create a PR or I can create one for you (will link here as reference)
I am thinking adding it to here.
https://github.com/typelevel/cats/blob/master/docs/src/main/tut/typeclasses/typeclasses.md
Let me know what you think. Thanks!

@alexknvl

This comment has been minimized.

Copy link
Owner Author

alexknvl commented Mar 20, 2017

@kailuowang Sure, go ahead. I am not 100% sure that everything is correct btw ;)

@kailuowang

This comment has been minimized.

Copy link

kailuowang commented Mar 20, 2017

I took the liberty of adding this PR. typelevel/cats#1565

@kailuowang

This comment has been minimized.

Copy link

kailuowang commented Mar 20, 2017

The only one I am not sure is the Reader Comonad pair.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.