| 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.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The only one I am not sure is the
ReaderComonadpair.