added more typeclasses to the diagram

typelevel · Mar 21, 2017 · b421d12 · b421d12
1 parent 1ed71df
commit b421d12
Showing 1 changed file with 26 additions and 8 deletions.
diff --git a/docs/src/main/tut/typeclasses/typeclasses.md b/docs/src/main/tut/typeclasses/typeclasses.md
@@ -227,27 +227,40 @@ type class instances easy.
     size ="6,6";
     edge [dir=back]
     node [shape=box,style="rounded"]
+    FunctorFilter [group=g8]
+    TraverseFilter [group=g8]
+    Traverse [group=g8]
+    Foldable [group=g9]
+    Reducible [group=g9]
     Functor [group=g2]
     Apply [group=g2]
     Applicative [group=g2]
     Monad [group=g2]
-    SemigroupK [group=g1]
-    MonoidK [group=g1]
-    Alternative [group=g1]
-    MonadFilter [group=g1]
-    MonadCombine [group=g1]
+    SemigroupK [group=g3]
+    MonoidK [group=g3]
     Invariant [group=g4]
     Contravariant [group=g4]
     CoflatMap [group=g5]
     Comonad [group=g5]
-    Bimonad [group=g5]
     MonadError [group=g6]
     ApplicativeError [group=g6]
+    Bitraverse [group=g7]
+    Bifoldable [group=g7]
+    Bifunctor [group=g7]
     Functor -> Apply -> Applicative -> Monad -> MonadFilter -> MonadCombine
+    subgraph cluster_s4 {
+      Bifoldable -> Bitraverse
+      Bifunctor -> Bitraverse
+      graph[style=dotted]
+    }
+    subgraph cluster_s5 {
+      ApplicativeError -> MonadError
+      graph[style=dotted]
+    }
     Applicative -> Alternative -> MonadCombine
     MonoidK -> Alternative
     Functor -> CoflatMap
-    Applicative -> ApplicativeError -> MonadError
+    Applicative -> ApplicativeError
     Monad -> MonadError
     subgraph cluster_s3{
       Invariant -> Contravariant
@@ -259,13 +272,18 @@ type class instances easy.
       graph[style=dotted]
     }
     subgraph cluster_s1{
-      CoflatMap -> Comonad -> Bimonad
+      CoflatMap -> Comonad
       graph[style=dotted]
     }
+    Comonad -> Bimonad
     Monad -> Bimonad
     Apply -> FlatMap -> Monad
     Foldable -> Traverse
     Functor -> Traverse
+    Traverse -> TraverseFilter
+    FunctorFilter -> TraverseFilter
+    FunctorFilter -> MonadFilter
+    Functor -> FunctorFilter
     Foldable -> Reducible
   }
 )