From aecd940a694b9bf050250111189bf8af046f9d20 Mon Sep 17 00:00:00 2001 From: Kailuo Wang Date: Tue, 21 Mar 2017 14:56:43 -0400 Subject: [PATCH] added and --- docs/src/main/tut/typeclasses/typeclasses.md | 29 +++++++++++--------- 1 file changed, 16 insertions(+), 13 deletions(-) diff --git a/docs/src/main/tut/typeclasses/typeclasses.md b/docs/src/main/tut/typeclasses/typeclasses.md index f7c62dcfdf8..5b004c03515 100644 --- 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`) | ✔ | ✔ | ✗ | ✗ | ✗ | ✔ | ✗ | +