added and

typelevel · Mar 21, 2017 · aecd940 · aecd940
1 parent 1b1f973
commit aecd940
Showing 1 changed file with 16 additions and 13 deletions.
diff --git a/docs/src/main/tut/typeclasses/typeclasses.md b/docs/src/main/tut/typeclasses/typeclasses.md
@@ -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`)    | ✔           | ✔     | ✗       | ✗                | ✗          | ✔         | ✗       |
+