[{"display_html":"<span class=\"keyword\">class</span> Functor g =&gt; <a href=\"#t:Distributive\">Distributive</a> g <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:distribute\">distribute</a> :: Functor f =&gt; f (g a) -&gt; g (f a)</li><li><a href=\"#v:collect\">collect</a> :: Functor f =&gt; (a -&gt; g b) -&gt; f a -&gt; g (f b)</li><li><a href=\"#v:distributeM\">distributeM</a> :: Monad m =&gt; m (g a) -&gt; g (m a)</li><li><a href=\"#v:collectM\">collectM</a> :: Monad m =&gt; (a -&gt; g b) -&gt; m a -&gt; g (m b)</li></ul>","name":"Distributive distribute collect distributeM collectM","module":"Data.Distributive","link":"Data-Distributive.html#t:Distributive"},{"display_html":"<a href=\"#v:cotraverse\">cotraverse</a> :: (<a href=\"Data-Distributive.html#t:Distributive\" title=\"Data.Distributive\">Distributive</a> g, Functor f) =&gt; (f a -&gt; b) -&gt; f (g a) -&gt; g b","name":"cotraverse","module":"Data.Distributive","link":"Data-Distributive.html#v:cotraverse"},{"display_html":"<a href=\"#v:comapM\">comapM</a> :: (<a href=\"Data-Distributive.html#t:Distributive\" title=\"Data.Distributive\">Distributive</a> g, Monad m) =&gt; (m a -&gt; b) -&gt; m (g a) -&gt; g b","name":"comapM","module":"Data.Distributive","link":"Data-Distributive.html#v:comapM"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:GDistributive\">GDistributive</a> g <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:gcollect\">gcollect</a> :: Functor f =&gt; (a -&gt; g b) -&gt; f a -&gt; g (f b)</li></ul>","name":"GDistributive gcollect","module":"Data.Distributive.Generic","link":"Data-Distributive-Generic.html#t:GDistributive"},{"display_html":"<a href=\"#v:genericCollect\">genericCollect</a> :: (Functor f, Generic1 g, <a href=\"Data-Distributive-Generic.html#t:GDistributive\" title=\"Data.Distributive.Generic\">GDistributive</a> (Rep1 g)) =&gt; (a -&gt; g b) -&gt; f a -&gt; g (f b)","name":"genericCollect","module":"Data.Distributive.Generic","link":"Data-Distributive-Generic.html#v:genericCollect"},{"display_html":"<a href=\"#v:genericDistribute\">genericDistribute</a> :: (Functor f, Generic1 g, <a href=\"Data-Distributive-Generic.html#t:GDistributive\" title=\"Data.Distributive.Generic\">GDistributive</a> (Rep1 g)) =&gt; f (g a) -&gt; g (f a)","name":"genericDistribute","module":"Data.Distributive.Generic","link":"Data-Distributive-Generic.html#v:genericDistribute"}]