| 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) |
✗ | ✗ |
Last active
March 22, 2017 12:29
-
-
Save sir-wabbit/d63508ddb6a728015ace53cb70a1fd5d to your computer and use it in GitHub Desktop.
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
I took the liberty of adding this PR. typelevel/cats#1565