Skip to content

Commit

Permalink
added and
Browse files Browse the repository at this point in the history
  • Loading branch information
kailuowang committed Mar 21, 2017
1 parent 1b1f973 commit fe3f453
Showing 1 changed file with 16 additions and 13 deletions.
29 changes: 16 additions & 13 deletions docs/src/main/tut/typeclasses/typeclasses.md
Original file line number Diff line number Diff line change
Expand Up @@ -274,19 +274,22 @@ type class instances easy.

Originally from [@alexknvl](https://gist.github.com/alexknvl/d63508ddb6a728015ace53cb70a1fd5d)

| Type | Functor | Apply | Applicative | Monad | MonoidK | MonadError | Comonad |
| --------------- |:-------------:|:-----------------:|:-----------:|:-----:|:-------:|:---------------:|:-------:|
| Id[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`)||||||
| Reader[E, A] ||||||||
| Writer[E, A] || ✔ (`E:Monoid`) ||||||

| 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`)||||||||
| Reader[E, A] ||||||||||
| Writer[E, A] || ✔ (`E:Monoid`) ||||||||




Expand Down

0 comments on commit fe3f453

Please sign in to comment.