/usr/share/doc/libghc-mono-traversable-doc/html/Data-MonoTraversable.html is in libghc-mono-traversable-doc 0.10.0.1-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.MonoTraversable</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-MonoTraversable.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-MonoTraversable.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">mono-traversable-0.10.0.1: Type classes for mapping, folding, and traversing monomorphic containers</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.MonoTraversable</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Type classes mirroring standard typeclasses, but working with monomorphic containers.</p><p>The motivation is that some commonly used data types (i.e., <code>ByteString</code> and
<code>Text</code>) do not allow for instances of typeclasses like <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a></code> and
<code>Foldable</code>, since they are monomorphic structures. This module allows both
monomorphic and polymorphic data types to be instances of the same
typeclasses.</p><p>All of the laws for the polymorphic typeclasses apply to their monomorphic
cousins. Thus, even though a <code><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a></code> instance for <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a></code> could
theoretically be defined, it is omitted since it could violate the functor
law of <code><code><a href="Data-MonoTraversable.html#v:omap">omap</a></code> f . <code><a href="Data-MonoTraversable.html#v:omap">omap</a></code> g = <code><a href="Data-MonoTraversable.html#v:omap">omap</a></code> (f . g)</code>.</p><p>Note that all typeclasses have been prefixed with <code>Mono</code>, and functions have
been prefixed with <code>o</code>. The mnemonic for <code>o</code> is "only one", or alternatively
"it's mono, but m is overused in Haskell, so we'll use the second letter
instead." (Agreed, it's not a great mangling scheme, input is welcome!)</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type family</span> <a href="#t:Element">Element</a> mono</li><li class="src short"><span class="keyword">class</span> <a href="#t:MonoFunctor">MonoFunctor</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:omap">omap</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> mono</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:MonoFoldable">MonoFoldable</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:ofoldMap">ofoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m) -> mono -> m</li><li><a href="#v:ofoldr">ofoldr</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> b -> b) -> b -> mono -> b</li><li><a href="#v:ofoldl-39-">ofoldl'</a> :: (a -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> a) -> a -> mono -> a</li><li><a href="#v:otoList">otoList</a> :: mono -> [<a href="Data-MonoTraversable.html#t:Element">Element</a> mono]</li><li><a href="#v:oall">oall</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:oany">oany</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:onull">onull</a> :: mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:olength">olength</a> :: mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:olength64">olength64</a> :: mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int64">Int64</a></li><li><a href="#v:ocompareLength">ocompareLength</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Integral">Integral</a> i => mono -> i -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a></li><li><a href="#v:otraverse_">otraverse_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f b) -> mono -> f ()</li><li><a href="#v:ofor_">ofor_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f b) -> f ()</li><li><a href="#v:omapM_">omapM_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m ()) -> mono -> m ()</li><li><a href="#v:oforM_">oforM_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m ()) -> m ()</li><li><a href="#v:ofoldlM">ofoldlM</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m a) -> a -> mono -> m a</li><li><a href="#v:ofoldMap1Ex">ofoldMap1Ex</a> :: <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> m => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m) -> mono -> m</li><li><a href="#v:ofoldr1Ex">ofoldr1Ex</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:ofoldl1Ex-39-">ofoldl1Ex'</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:headEx">headEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:lastEx">lastEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:unsafeHead">unsafeHead</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:unsafeLast">unsafeLast</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:maximumByEx">maximumByEx</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:minimumByEx">minimumByEx</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li></ul></li><li class="src short"><a href="#v:headMay">headMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)</li><li class="src short"><a href="#v:lastMay">lastMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)</li><li class="src short"><a href="#v:osum">osum</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Num">Num</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:oproduct">oproduct</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Num">Num</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:oand">oand</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono ~ <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:oor">oor</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono ~ <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> mono) => <a href="#t:MonoFoldableMonoid">MonoFoldableMonoid</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:oconcatMap">oconcatMap</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono) -> mono -> mono</li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => <a href="#t:MonoFoldableEq">MonoFoldableEq</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:oelem">oelem</a> :: <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:onotElem">onotElem</a> :: <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => <a href="#t:MonoFoldableOrd">MonoFoldableOrd</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:maximumEx">maximumEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:minimumEx">minimumEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li></ul></li><li class="src short"><a href="#v:maximumMay">maximumMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)</li><li class="src short"><a href="#v:maximumByMay">maximumByMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)</li><li class="src short"><a href="#v:minimumMay">minimumMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)</li><li class="src short"><a href="#v:minimumByMay">minimumByMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)</li><li class="src short"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> mono, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => <a href="#t:MonoTraversable">MonoTraversable</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:otraverse">otraverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> mono -> f mono</li><li><a href="#v:omapM">omapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> mono -> m mono</li></ul></li><li class="src short"><a href="#v:ofor">ofor</a> :: (<a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> f mono</li><li class="src short"><a href="#v:oforM">oforM</a> :: (<a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> f) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> f mono</li><li class="src short"><a href="#v:ofoldlUnwrap">ofoldlUnwrap</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => (x -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> x) -> x -> (x -> b) -> mono -> b</li><li class="src short"><a href="#v:ofoldMUnwrap">ofoldMUnwrap</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => (x -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m x) -> m x -> (x -> m b) -> mono -> m b</li><li class="src short"><span class="keyword">class</span> <a href="#t:MonoPointed">MonoPointed</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:opoint">opoint</a> :: <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> mono => <a href="#t:MonoComonad">MonoComonad</a> mono <span class="keyword">where</span><ul class="subs"><li><a href="#v:oextract">oextract</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li><a href="#v:oextend">oextend</a> :: (mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> mono</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a name="t:Element" class="def">Element</a> mono <a href="src/Data-MonoTraversable.html#Element" class="link">Source</a></p><div class="doc"><p>Type family for getting the type of the elements
of a monomorphic container.</p></div><div class="subs instances"><p id="control.i:Element" class="caption collapser" onclick="toggleSection('i:Element')">Instances</p><div id="section.i:Element" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/Data-MonoTraversable.html#line-101" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/Data-MonoTraversable.html#line-102" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></span> <a href="src/Data-MonoTraversable.html#line-115" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Char.html#t:Char">Char</a></span> <a href="src/Data-MonoTraversable.html#line-104" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Char.html#t:Char">Char</a></span> <a href="src/Data-MonoTraversable.html#line-103" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> [a] = a</span> <a href="src/Data-MonoTraversable.html#line-105" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/System-IO.html#t:IO">IO</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-106" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-118" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:ZipList">ZipList</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-107" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-108" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-114" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> e) = e</span> <a href="src/Data-MonoTraversable.html#line-126" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-109" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-110" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-112" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-113" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-111" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-116" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-117" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> e) = e</span> <a href="src/Data-MonoTraversable.html#line-127" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-128" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-148" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a) = a</span> <a href="src/Data-MonoTraversable.html#line-149" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (r -> a) = a</span> <a href="src/Data-MonoTraversable.html#line-119" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b) = b</span> <a href="src/Data-MonoTraversable.html#line-120" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (a, b) = b</span> <a href="src/Data-MonoTraversable.html#line-121" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a) = a</span> <a href="src/Data-MonoTraversable.html#line-122" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a) = a</span> <a href="src/Data-MonoTraversable.html#line-123" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a) = a</span> <a href="src/Data-MonoTraversable.html#line-135" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k v) = v</span> <a href="src/Data-MonoTraversable.html#line-124" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:WrappedApplicative">WrappedApplicative</a> f a) = a</span> <a href="src/Data-MonoTraversable.html#line-131" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:MaybeApply">MaybeApply</a> f a) = a</span> <a href="src/Data-MonoTraversable.html#line-130" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Arg">Arg</a> a b) = b</span> <a href="src/Data-MonoTraversable.html#line-150" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m a) = a</span> <a href="src/Data-MonoTraversable.html#line-133" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> m a) = a</span> <a href="src/Data-MonoTraversable.html#line-134" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k v) = v</span> <a href="src/Data-MonoTraversable.html#line-125" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> nat mono) = <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</span> <a href="src/Data-MonoTraversable.html#line-167" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c) = c</span> <a href="src/Data-MonoTraversable.html#line-129" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a) = a</span> <a href="src/Data-MonoTraversable.html#line-154" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a) = a</span> <a href="src/Data-MonoTraversable.html#line-153" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Store.html#t:StoreT">StoreT</a> s w a) = a</span> <a href="src/Data-MonoTraversable.html#line-152" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Env.html#t:EnvT">EnvT</a> e w a) = a</span> <a href="src/Data-MonoTraversable.html#line-151" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Cokleisli">Cokleisli</a> w a b) = b</span> <a href="src/Data-MonoTraversable.html#line-132" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e m a) = a</span> <a href="src/Data-MonoTraversable.html#line-143" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroupoid-Static.html#t:Static">Static</a> f a b) = b</span> <a href="src/Data-MonoTraversable.html#line-147" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a) = a</span> <a href="src/Data-MonoTraversable.html#line-146" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a) = a</span> <a href="src/Data-MonoTraversable.html#line-145" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w m a) = a</span> <a href="src/Data-MonoTraversable.html#line-137" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w m a) = a</span> <a href="src/Data-MonoTraversable.html#line-136" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-State-Strict.html#t:StateT">StateT</a> s m a) = a</span> <a href="src/Data-MonoTraversable.html#line-139" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-State-Lazy.html#t:StateT">StateT</a> s m a) = a</span> <a href="src/Data-MonoTraversable.html#line-138" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Reader.html#t:ReaderT">ReaderT</a> r m a) = a</span> <a href="src/Data-MonoTraversable.html#line-142" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Cont.html#t:ContT">ContT</a> r m a) = a</span> <a href="src/Data-MonoTraversable.html#line-144" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-RWS-Strict.html#t:RWST">RWST</a> r w s m a) = a</span> <a href="src/Data-MonoTraversable.html#line-141" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="Data-MonoTraversable.html#t:Element">Element</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-RWS-Lazy.html#t:RWST">RWST</a> r w s m a) = a</span> <a href="src/Data-MonoTraversable.html#line-140" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:MonoFunctor" class="def">MonoFunctor</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoFunctor" class="link">Source</a></p><div class="doc"><p>Monomorphic containers that can be mapped over.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:omap" class="def">omap</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> mono <a href="src/Data-MonoTraversable.html#omap" class="link">Source</a></p><div class="doc"><p>Map over a monomorphic container</p></div></div><div class="subs instances"><p id="control.i:MonoFunctor" class="caption collapser" onclick="toggleSection('i:MonoFunctor')">Instances</p><div id="section.i:MonoFunctor" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-164" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-167" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-173" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-170" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> [a]</span> <a href="src/Data-MonoTraversable.html#line-176" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/System-IO.html#t:IO">IO</a> a)</span> <a href="src/Data-MonoTraversable.html#line-177" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-188" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:ZipList">ZipList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-178" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Data-MonoTraversable.html#line-179" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span> <a href="src/Data-MonoTraversable.html#line-185" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-180" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Data-MonoTraversable.html#line-181" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-183" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-184" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-182" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Data-MonoTraversable.html#line-186" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-187" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-196" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-221" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-224" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (r -> a)</span> <a href="src/Data-MonoTraversable.html#line-189" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-190" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (a, b)</span> <a href="src/Data-MonoTraversable.html#line-191" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-192" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-193" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-208" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-194" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:WrappedApplicative">WrappedApplicative</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-204" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:MaybeApply">MaybeApply</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-203" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Arg">Arg</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-197" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-206" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-207" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-195" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> mono => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> nat mono)</span> <a href="src/Data-MonoTraversable.html#line-168" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:Arrow">Arrow</a> a => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c)</span> <a href="src/Data-MonoTraversable.html#line-202" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> g) => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-201" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> w => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a)</span> <a href="src/Data-MonoTraversable.html#line-200" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> w => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Store.html#t:StoreT">StoreT</a> s w a)</span> <a href="src/Data-MonoTraversable.html#line-199" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> w => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Env.html#t:EnvT">EnvT</a> e w a)</span> <a href="src/Data-MonoTraversable.html#line-198" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Cokleisli">Cokleisli</a> w a b)</span> <a href="src/Data-MonoTraversable.html#line-205" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e m a)</span> <a href="src/Data-MonoTraversable.html#line-216" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroupoid-Static.html#t:Static">Static</a> f a b)</span> <a href="src/Data-MonoTraversable.html#line-220" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> g) => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-219" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> g) => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-218" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w m a)</span> <a href="src/Data-MonoTraversable.html#line-210" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w m a)</span> <a href="src/Data-MonoTraversable.html#line-209" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-State-Strict.html#t:StateT">StateT</a> s m a)</span> <a href="src/Data-MonoTraversable.html#line-212" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-State-Lazy.html#t:StateT">StateT</a> s m a)</span> <a href="src/Data-MonoTraversable.html#line-211" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Reader.html#t:ReaderT">ReaderT</a> r m a)</span> <a href="src/Data-MonoTraversable.html#line-215" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Cont.html#t:ContT">ContT</a> r m a)</span> <a href="src/Data-MonoTraversable.html#line-217" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-RWS-Strict.html#t:RWST">RWST</a> r w s m a)</span> <a href="src/Data-MonoTraversable.html#line-214" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-RWS-Lazy.html#t:RWST">RWST</a> r w s m a)</span> <a href="src/Data-MonoTraversable.html#line-213" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:MonoFoldable" class="def">MonoFoldable</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoFoldable" class="link">Source</a></p><div class="doc"><p>Monomorphic containers that can be folded.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:ofoldMap" class="def">ofoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m) -> mono -> m <a href="src/Data-MonoTraversable.html#ofoldMap" class="link">Source</a></p><div class="doc"><p>Map each element of a monomorphic container to a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code>
and combine the results.</p></div><p class="src"><a name="v:ofoldr" class="def">ofoldr</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> b -> b) -> b -> mono -> b <a href="src/Data-MonoTraversable.html#ofoldr" class="link">Source</a></p><div class="doc"><p>Right-associative fold of a monomorphic container.</p></div><p class="src"><a name="v:ofoldl-39-" class="def">ofoldl'</a> :: (a -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> a) -> a -> mono -> a <a href="src/Data-MonoTraversable.html#ofoldl%27" class="link">Source</a></p><div class="doc"><p>Strict left-associative fold of a monomorphic container.</p></div><p class="src"><a name="v:otoList" class="def">otoList</a> :: mono -> [<a href="Data-MonoTraversable.html#t:Element">Element</a> mono] <a href="src/Data-MonoTraversable.html#otoList" class="link">Source</a></p><div class="doc"><p>Convert a monomorphic container to a list.</p></div><p class="src"><a name="v:oall" class="def">oall</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#oall" class="link">Source</a></p><div class="doc"><p>Are <strong>all</strong> of the elements in a monomorphic container
converted to booleans <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#v:True">True</a></code>?</p></div><p class="src"><a name="v:oany" class="def">oany</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#oany" class="link">Source</a></p><div class="doc"><p>Are <strong>any</strong> of the elements in a monomorphic container
converted to booleans <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#v:True">True</a></code>?</p></div><p class="src"><a name="v:onull" class="def">onull</a> :: mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#onull" class="link">Source</a></p><div class="doc"><p>Is the monomorphic container empty?</p></div><p class="src"><a name="v:olength" class="def">olength</a> :: mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> <a href="src/Data-MonoTraversable.html#olength" class="link">Source</a></p><div class="doc"><p>Length of a monomorphic container, returns a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></code>.</p></div><p class="src"><a name="v:olength64" class="def">olength64</a> :: mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int64">Int64</a> <a href="src/Data-MonoTraversable.html#olength64" class="link">Source</a></p><div class="doc"><p>Length of a monomorphic container, returns a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int64">Int64</a></code>.</p></div><p class="src"><a name="v:ocompareLength" class="def">ocompareLength</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Integral">Integral</a> i => mono -> i -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="src/Data-MonoTraversable.html#ocompareLength" class="link">Source</a></p><div class="doc"><p>Compare the length of a monomorphic container and a given number.</p></div><p class="src"><a name="v:otraverse_" class="def">otraverse_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f b) -> mono -> f () <a href="src/Data-MonoTraversable.html#otraverse_" class="link">Source</a></p><div class="doc"><p>Map each element of a monomorphic container to an action,
evaluate these actions from left to right, and ignore the results.</p></div><p class="src"><a name="v:ofor_" class="def">ofor_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f b) -> f () <a href="src/Data-MonoTraversable.html#ofor_" class="link">Source</a></p><div class="doc"><p><code><a href="Data-MonoTraversable.html#v:ofor_">ofor_</a></code> is <code><a href="Data-MonoTraversable.html#v:otraverse_">otraverse_</a></code> with its arguments flipped.</p></div><p class="src"><a name="v:omapM_" class="def">omapM_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m ()) -> mono -> m () <a href="src/Data-MonoTraversable.html#omapM_" class="link">Source</a></p><div class="doc"><p>Map each element of a monomorphic container to a monadic action,
evaluate these actions from left to right, and ignore the results.</p></div><p class="src"><a name="v:oforM_" class="def">oforM_</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m ()) -> m () <a href="src/Data-MonoTraversable.html#oforM_" class="link">Source</a></p><div class="doc"><p><code><a href="Data-MonoTraversable.html#v:oforM_">oforM_</a></code> is <code><a href="Data-MonoTraversable.html#v:omapM_">omapM_</a></code> with its arguments flipped.</p></div><p class="src"><a name="v:ofoldlM" class="def">ofoldlM</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m a) -> a -> mono -> m a <a href="src/Data-MonoTraversable.html#ofoldlM" class="link">Source</a></p><div class="doc"><p>Monadic fold over the elements of a monomorphic container, associating to the left.</p></div><p class="src"><a name="v:ofoldMap1Ex" class="def">ofoldMap1Ex</a> :: <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> m => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m) -> mono -> m <a href="src/Data-MonoTraversable.html#ofoldMap1Ex" class="link">Source</a></p><div class="doc"><p>Map each element of a monomorphic container to a semigroup,
and combine the results.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:ofoldMap1">ofoldMap1</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:ofoldr1Ex" class="def">ofoldr1Ex</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#ofoldr1Ex" class="link">Source</a></p><div class="doc"><p>Right-associative fold of a monomorphic container with no base element.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:ofoldr1Ex">ofoldr1Ex</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:ofoldl1Ex-39-" class="def">ofoldl1Ex'</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#ofoldl1Ex%27" class="link">Source</a></p><div class="doc"><p>Strict left-associative fold of a monomorphic container with no base
element.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:ofoldl1Ex-39-">ofoldl1Ex'</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:headEx" class="def">headEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#headEx" class="link">Source</a></p><div class="doc"><p>Get the first element of a monomorphic container.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:head">head</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:lastEx" class="def">lastEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#lastEx" class="link">Source</a></p><div class="doc"><p>Get the last element of a monomorphic container.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See 'Data.MinLen.last from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:unsafeHead" class="def">unsafeHead</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#unsafeHead" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="Data-MonoTraversable.html#v:headEx">headEx</a></code>.</p></div><p class="src"><a name="v:unsafeLast" class="def">unsafeLast</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#unsafeLast" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="Data-MonoTraversable.html#v:lastEx">lastEx</a></code>.</p></div><p class="src"><a name="v:maximumByEx" class="def">maximumByEx</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#maximumByEx" class="link">Source</a></p><div class="doc"><p>Get the maximum element of a monomorphic container,
using a supplied element ordering function.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:maximiumBy">maximiumBy</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:minimumByEx" class="def">minimumByEx</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#minimumByEx" class="link">Source</a></p><div class="doc"><p>Get the minimum element of a monomorphic container,
using a supplied element ordering function.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:minimumBy">minimumBy</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div></div><div class="subs instances"><p id="control.i:MonoFoldable" class="caption collapser" onclick="toggleSection('i:MonoFoldable')">Instances</p><div id="section.i:MonoFoldable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-417" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-455" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Data-MonoTraversable.html#line-537" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-510" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-483" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> [a]</span> <a href="src/Data-MonoTraversable.html#line-560" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-583" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Data-MonoTraversable.html#line-568" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span> <a href="src/Data-MonoTraversable.html#line-580" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> e)</span> <a href="src/Data-MonoTraversable.html#line-617" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-572" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Data-MonoTraversable.html#line-573" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-578" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-579" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-619" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Data-MonoTraversable.html#line-581" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-582" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> e)</span> <a href="src/Data-MonoTraversable.html#line-618" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-586" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-625" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-658" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-691" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (a, b)</span> <a href="src/Data-MonoTraversable.html#line-727" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-728" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-731" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-584" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-729" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-730" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-585" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> nat mono)</span> <a href="src/Data-MonoTraversable.html#line-169" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e f a)</span> <a href="src/Data-MonoTraversable.html#line-734" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-736" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-735" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-733" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-732" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:headMay" class="def">headMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono) <a href="src/Data-MonoTraversable.html#headMay" class="link">Source</a></p><div class="doc"><p>Safe version of <code><a href="Data-MonoTraversable.html#v:headEx">headEx</a></code>.</p><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Nothing">Nothing</a></code> instead of throwing an exception when encountering
an empty monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:lastMay" class="def">lastMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono) <a href="src/Data-MonoTraversable.html#lastMay" class="link">Source</a></p><div class="doc"><p>Safe version of <code><a href="Data-MonoTraversable.html#v:lastEx">lastEx</a></code>.</p><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Nothing">Nothing</a></code> instead of throwing an exception when encountering
an empty monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:osum" class="def">osum</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Num">Num</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#osum" class="link">Source</a></p><div class="doc"><p><code><a href="Data-MonoTraversable.html#v:osum">osum</a></code> computes the sum of the numbers of a monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:oproduct" class="def">oproduct</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Num">Num</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#oproduct" class="link">Source</a></p><div class="doc"><p><code><a href="Data-MonoTraversable.html#v:oproduct">oproduct</a></code> computes the product of the numbers of a monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:oand" class="def">oand</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono ~ <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#oand" class="link">Source</a></p><div class="doc"><p>Are <strong>all</strong> of the elements <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#v:True">True</a></code>?</p><p>Since 0.6.0</p></div></div><div class="top"><p class="src"><a name="v:oor" class="def">oor</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono ~ <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a>, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#oor" class="link">Source</a></p><div class="doc"><p>Are <strong>any</strong> of the elements <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#v:True">True</a></code>?</p><p>Since 0.6.0</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> mono) => <a name="t:MonoFoldableMonoid" class="def">MonoFoldableMonoid</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoFoldableMonoid" class="link">Source</a></p><div class="doc"><p>A typeclass for monomorphic containers that are <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a></code>s.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:oconcatMap" class="def">oconcatMap</a> :: (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono) -> mono -> mono <a href="src/Data-MonoTraversable.html#oconcatMap" class="link">Source</a></p><div class="doc"><p>Map a function over a monomorphic container and combine the results.</p></div></div><div class="subs instances"><p id="control.i:MonoFoldableMonoid" class="caption collapser" onclick="toggleSection('i:MonoFoldableMonoid')">Instances</p><div id="section.i:MonoFoldableMonoid" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableMonoid">MonoFoldableMonoid</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-789" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableMonoid">MonoFoldableMonoid</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-792" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableMonoid">MonoFoldableMonoid</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-798" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableMonoid">MonoFoldableMonoid</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-795" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> (t a), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> (t a)) => <a href="Data-MonoTraversable.html#t:MonoFoldableMonoid">MonoFoldableMonoid</a> (t a)</span> <a href="src/Data-MonoTraversable.html#line-788" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => <a name="t:MonoFoldableEq" class="def">MonoFoldableEq</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoFoldableEq" class="link">Source</a></p><div class="doc"><p>A typeclass for monomorphic containers whose elements
are an instance of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a></code>.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:oelem" class="def">oelem</a> :: <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#oelem" class="link">Source</a></p><div class="doc"><p>Checks if the monomorphic container includes the supplied element.</p></div><p class="src"><a name="v:onotElem" class="def">onotElem</a> :: <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Data-MonoTraversable.html#onotElem" class="link">Source</a></p><div class="doc"><p>Checks if the monomorphic container does not include the supplied element.</p></div></div><div class="subs instances"><p id="control.i:MonoFoldableEq" class="caption collapser" onclick="toggleSection('i:MonoFoldableEq')">Instances</p><div id="section.i:MonoFoldableEq" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-852" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-858" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Data-MonoTraversable.html#line-822" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-821" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-820" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> [a]</span> <a href="src/Data-MonoTraversable.html#line-846" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-829" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Data-MonoTraversable.html#line-823" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span> <a href="src/Data-MonoTraversable.html#line-827" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Data-MonoTraversable.html#line-864" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-824" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Data-MonoTraversable.html#line-815" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-825" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-826" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-833" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Data-MonoTraversable.html#line-828" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-819" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a)</span> <a href="src/Data-MonoTraversable.html#line-832" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-816" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-817" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-818" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> b => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-834" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> b => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (a, b)</span> <a href="src/Data-MonoTraversable.html#line-835" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-836" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-839" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> v => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-830" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-837" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-838" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> v => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-831" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> mono => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> nat mono)</span> <a href="src/Data-MonoTraversable.html#line-170" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e f a)</span> <a href="src/Data-MonoTraversable.html#line-842" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-844" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-843" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-841" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableEq">MonoFoldableEq</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-840" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => <a name="t:MonoFoldableOrd" class="def">MonoFoldableOrd</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoFoldableOrd" class="link">Source</a></p><div class="doc"><p>A typeclass for monomorphic containers whose elements
are an instance of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a></code>.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:maximumEx" class="def">maximumEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#maximumEx" class="link">Source</a></p><div class="doc"><p>Get the minimum element of a monomorphic container.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:maximum">maximum</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div><p class="src"><a name="v:minimumEx" class="def">minimumEx</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#minimumEx" class="link">Source</a></p><div class="doc"><p>Get the maximum element of a monomorphic container.</p><p>Note: this is a partial function. On an empty <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>, it will
throw an exception.</p><p><em>See <code><a href="Data-MinLen.html#v:minimum">minimum</a></code> from <a href="Data-MinLen.html">Data.MinLen</a> for a total version of this function.</em></p></div></div><div class="subs instances"><p id="control.i:MonoFoldableOrd" class="caption collapser" onclick="toggleSection('i:MonoFoldableOrd')">Instances</p><div id="section.i:MonoFoldableOrd" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-894" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-899" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Data-MonoTraversable.html#line-914" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-909" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-904" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> [a]</span> <a href="src/Data-MonoTraversable.html#line-915" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-924" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Data-MonoTraversable.html#line-916" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span> <a href="src/Data-MonoTraversable.html#line-921" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> e => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> e)</span> <a href="src/Data-MonoTraversable.html#line-932" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-917" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Data-MonoTraversable.html#line-918" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-919" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-920" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-945" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Data-MonoTraversable.html#line-922" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-923" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> e => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> e)</span> <a href="src/Data-MonoTraversable.html#line-933" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-927" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-934" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-939" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> b => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-944" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> b => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (a, b)</span> <a href="src/Data-MonoTraversable.html#line-946" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-947" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-950" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-925" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-948" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-949" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-926" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> nat mono)</span> <a href="src/Data-MonoTraversable.html#line-171" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e f a)</span> <a href="src/Data-MonoTraversable.html#line-953" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-955" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> g) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-954" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-952" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> f) => <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-951" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:maximumMay" class="def">maximumMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono) <a href="src/Data-MonoTraversable.html#maximumMay" class="link">Source</a></p><div class="doc"><p>Safe version of <code><a href="Data-MonoTraversable.html#v:maximumEx">maximumEx</a></code>.</p><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Nothing">Nothing</a></code> instead of throwing an exception when
encountering an empty monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:maximumByMay" class="def">maximumByMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono) <a href="src/Data-MonoTraversable.html#maximumByMay" class="link">Source</a></p><div class="doc"><p>Safe version of <code><a href="Data-MonoTraversable.html#v:maximumByEx">maximumByEx</a></code>.</p><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Nothing">Nothing</a></code> instead of throwing an exception when
encountering an empty monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:minimumMay" class="def">minimumMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono) <a href="src/Data-MonoTraversable.html#minimumMay" class="link">Source</a></p><div class="doc"><p>Safe version of <code><a href="Data-MonoTraversable.html#v:minimumEx">minimumEx</a></code>.</p><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Nothing">Nothing</a></code> instead of throwing an exception when
encountering an empty monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:minimumByMay" class="def">minimumByMay</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ordering">Ordering</a>) -> mono -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono) <a href="src/Data-MonoTraversable.html#minimumByMay" class="link">Source</a></p><div class="doc"><p>Safe version of <code><a href="Data-MonoTraversable.html#v:minimumByEx">minimumByEx</a></code>.</p><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Nothing">Nothing</a></code> instead of throwing an exception when
encountering an empty monomorphic container.</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> mono, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => <a name="t:MonoTraversable" class="def">MonoTraversable</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoTraversable" class="link">Source</a></p><div class="doc"><p>Monomorphic containers that can be traversed from left to right.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:otraverse" class="def">otraverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> mono -> f mono <a href="src/Data-MonoTraversable.html#otraverse" class="link">Source</a></p><div class="doc"><p>Map each element of a monomorphic container to an action,
evaluate these actions from left to right, and
collect the results.</p></div><p class="src"><a name="v:omapM" class="def">omapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> mono -> m mono <a href="src/Data-MonoTraversable.html#omapM" class="link">Source</a></p><div class="doc"><p>Map each element of a monomorphic container to a monadic action,
evaluate these actions from left to right, and
collect the results.</p></div></div><div class="subs instances"><p id="control.i:MonoTraversable" class="caption collapser" onclick="toggleSection('i:MonoTraversable')">Instances</p><div id="section.i:MonoTraversable" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-1021" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-1026" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-1036" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-1031" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> [a]</span> <a href="src/Data-MonoTraversable.html#line-1041" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1053" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1042" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntMap-Strict.html#t:IntMap">IntMap</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1047" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1043" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1044" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1045" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1046" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1050" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1048" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1049" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1056" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1057" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1062" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-1067" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (a, b)</span> <a href="src/Data-MonoTraversable.html#line-1074" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-1075" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-1078" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Map-Lazy.html#t:Map">Map</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-1054" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-1076" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-1077" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashMap-Strict.html#t:HashMap">HashMap</a> k v)</span> <a href="src/Data-MonoTraversable.html#line-1055" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> mono => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> nat mono)</span> <a href="src/Data-MonoTraversable.html#line-172" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e f a)</span> <a href="src/Data-MonoTraversable.html#line-1081" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> g) => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-1083" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> g) => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-1082" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-1080" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w f a)</span> <a href="src/Data-MonoTraversable.html#line-1079" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:ofor" class="def">ofor</a> :: (<a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> f mono <a href="src/Data-MonoTraversable.html#ofor" class="link">Source</a></p><div class="doc"><p><code><a href="Data-MonoTraversable.html#v:ofor">ofor</a></code> is <code><a href="Data-MonoTraversable.html#v:otraverse">otraverse</a></code> with its arguments flipped.</p></div></div><div class="top"><p class="src"><a name="v:oforM" class="def">oforM</a> :: (<a href="Data-MonoTraversable.html#t:MonoTraversable">MonoTraversable</a> mono, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> f) => mono -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> f (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) -> f mono <a href="src/Data-MonoTraversable.html#oforM" class="link">Source</a></p><div class="doc"><p><code><a href="Data-MonoTraversable.html#v:oforM">oforM</a></code> is <code><a href="Data-MonoTraversable.html#v:omapM">omapM</a></code> with its arguments flipped.</p></div></div><div class="top"><p class="src"><a name="v:ofoldlUnwrap" class="def">ofoldlUnwrap</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => (x -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> x) -> x -> (x -> b) -> mono -> b <a href="src/Data-MonoTraversable.html#ofoldlUnwrap" class="link">Source</a></p><div class="doc"><p>A strict left fold, together with an unwrap function.</p><p>This is convenient when the accumulator value is not the same as the final
expected type. It is provided mainly for integration with the <code>foldl</code>
package, to be used in conjunction with <code>purely</code>.</p><p>Since 0.3.1</p></div></div><div class="top"><p class="src"><a name="v:ofoldMUnwrap" class="def">ofoldMUnwrap</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono) => (x -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> m x) -> m x -> (x -> m b) -> mono -> m b <a href="src/Data-MonoTraversable.html#ofoldMUnwrap" class="link">Source</a></p><div class="doc"><p>A monadic strict left fold, together with an unwrap function.</p><p>Similar to <code>foldlUnwrap</code>, but allows monadic actions. To be used with
<code>impurely</code> from <code>foldl</code>.</p><p>Since 0.3.1</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:MonoPointed" class="def">MonoPointed</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoPointed" class="link">Source</a></p><div class="doc"><p>Typeclass for monomorphic containers that an element can be
lifted into.</p><p>For any <code><a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a></code>, the following law holds:</p><pre><code><a href="Data-MonoTraversable.html#v:omap">omap</a></code> f . <code><a href="Data-MonoTraversable.html#v:opoint">opoint</a></code> = <code><a href="Data-MonoTraversable.html#v:opoint">opoint</a></code> . f
</pre></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:opoint" class="def">opoint</a> :: <a href="Data-MonoTraversable.html#t:Element">Element</a> mono -> mono <a href="src/Data-MonoTraversable.html#opoint" class="link">Source</a></p><div class="doc"><p>Lift an element into a monomorphic container.</p><p><code><a href="Data-MonoTraversable.html#v:opoint">opoint</a></code> is the same as <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#v:pure">pure</a></code> for an <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a></code></p></div></div><div class="subs instances"><p id="control.i:MonoPointed" class="caption collapser" onclick="toggleSection('i:MonoPointed')">Instances</p><div id="section.i:MonoPointed" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-1138" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/bytestring-0.10.6.0/Data-ByteString-Lazy.html#t:ByteString">ByteString</a></span> <a href="src/Data-MonoTraversable.html#line-1141" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-IntSet.html#t:IntSet">IntSet</a></span> <a href="src/Data-MonoTraversable.html#line-1191" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-1147" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text.html#t:Text">Text</a></span> <a href="src/Data-MonoTraversable.html#line-1144" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> [a]</span> <a href="src/Data-MonoTraversable.html#line-1152" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/System-IO.html#t:IO">IO</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1159" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1156" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:ZipList">ZipList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1160" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1153" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Set.html#t:Set">Set</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1194" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1227" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:Seq">Seq</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1179" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1221" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1224" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-dlist-doc/html/Data-DList.html#t:DList">DList</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1158" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Option">Option</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1154" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1155" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-hashable-doc/html/Data-Hashable.html#t:Hashable">Hashable</a> a => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-unordered-containers-doc/html/Data-HashSet.html#t:HashSet">HashSet</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1197" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1157" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Unbox">Unbox</a> a => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Unboxed.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1182" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Foreign-Storable.html#t:Storable">Storable</a> a => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-vector-doc/html/Data-Vector-Storable.html#t:Vector">Vector</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1185" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (r -> a)</span> <a href="src/Data-MonoTraversable.html#line-1161" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-1188" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> a => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (a, b)</span> <a href="src/Data-MonoTraversable.html#line-1162" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Const">Const</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-1163" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-1164" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-1166" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:WrappedApplicative">WrappedApplicative</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-1167" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:MaybeApply">MaybeApply</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-1203" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f a)</span> <a href="src/Data-MonoTraversable.html#line-1206" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> m a)</span> <a href="src/Data-MonoTraversable.html#line-1165" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> mono => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> <a href="Data-MinLen.html#t:Zero">Zero</a>) mono)</span> <a href="src/Data-MonoTraversable.html#line-199" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> mono => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> <a href="Data-MinLen.html#t:Zero">Zero</a> mono)</span> <a href="src/Data-MonoTraversable.html#line-196" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Arrow.html#t:Arrow">Arrow</a> a => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b c)</span> <a href="src/Data-MonoTraversable.html#line-1168" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Cokleisli">Cokleisli</a> w a b)</span> <a href="src/Data-MonoTraversable.html#line-1175" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e m a)</span> <a href="src/Data-MonoTraversable.html#line-1200" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Semigroupoid-Static.html#t:Static">Static</a> f a b)</span> <a href="src/Data-MonoTraversable.html#line-1176" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> g) => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Product.html#t:Product">Product</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-1174" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> g) => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Data-Functor-Compose.html#t:Compose">Compose</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-1173" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m) => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w m a)</span> <a href="src/Data-MonoTraversable.html#line-1170" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m) => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w m a)</span> <a href="src/Data-MonoTraversable.html#line-1169" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-State-Strict.html#t:StateT">StateT</a> s m a)</span> <a href="src/Data-MonoTraversable.html#line-1218" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-State-Lazy.html#t:StateT">StateT</a> s m a)</span> <a href="src/Data-MonoTraversable.html#line-1215" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Reader.html#t:ReaderT">ReaderT</a> r m a)</span> <a href="src/Data-MonoTraversable.html#line-1171" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-Cont.html#t:ContT">ContT</a> r m a)</span> <a href="src/Data-MonoTraversable.html#line-1172" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m) => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-RWS-Strict.html#t:RWST">RWST</a> r w s m a)</span> <a href="src/Data-MonoTraversable.html#line-1212" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> m) => <a href="Data-MonoTraversable.html#t:MonoPointed">MonoPointed</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.4.2.0/Control-Monad-Trans-RWS-Lazy.html#t:RWST">RWST</a> r w s m a)</span> <a href="src/Data-MonoTraversable.html#line-1209" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-MonoTraversable.html#t:MonoFunctor">MonoFunctor</a> mono => <a name="t:MonoComonad" class="def">MonoComonad</a> mono <span class="keyword">where</span> <a href="src/Data-MonoTraversable.html#MonoComonad" class="link">Source</a></p><div class="doc"><p>Typeclass for monomorphic containers where it is always okay to
"extract" a value from with <code><a href="Data-MonoTraversable.html#v:oextract">oextract</a></code>, and where you can extrapolate
any "extracting" function to be a function on the whole part with
<code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code>.</p><p><code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> and <code><a href="Data-MonoTraversable.html#v:oextract">oextract</a></code> should work together following the laws:</p><pre><code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> <code><a href="Data-MonoTraversable.html#v:oextract">oextract</a></code> = <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Category.html#v:id">id</a></code>
<code><a href="Data-MonoTraversable.html#v:oextract">oextract</a></code> . <code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> f = f
<code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> f . <code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> g = <code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> (f . <code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> g)
</pre><p>As an intuition, <code><code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> f</code> uses <code>f</code> to "build up" a new <code>mono</code> with
pieces from the old one received by <code>f</code>.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:oextract" class="def">oextract</a> :: mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MonoTraversable.html#oextract" class="link">Source</a></p><div class="doc"><p>Extract an element from <code>mono</code>. Can be thought of as a dual
concept to <code>opoint</code>.</p></div><p class="src"><a name="v:oextend" class="def">oextend</a> :: (mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono) -> mono -> mono <a href="src/Data-MonoTraversable.html#oextend" class="link">Source</a></p><div class="doc"><p><a href="Extend.html">Extend</a> a <code>mono -> <code><a href="Data-MonoTraversable.html#t:Element">Element</a></code> mono</code> function to be a <code>mono ->
mono</code>; that is, builds a new <code>mono</code> from the old one by using pieces
glimpsed from the given function.</p></div></div><div class="subs instances"><p id="control.i:MonoComonad" class="caption collapser" onclick="toggleSection('i:MonoComonad')">Instances</p><div id="section.i:MonoComonad" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor-Identity.html#t:Identity">Identity</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1269" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Tree.html#t:Tree">Tree</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1267" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewL">ViewL</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1280" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#t:ViewR">ViewR</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1290" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a)</span> <a href="src/Data-MonoTraversable.html#line-1268" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (m -> a)</span> <a href="src/Data-MonoTraversable.html#line-1270" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (e, a)</span> <a href="src/Data-MonoTraversable.html#line-1271" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> w a)</span> <a href="src/Data-MonoTraversable.html#line-1273" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Arg">Arg</a> a b)</span> <a href="src/Data-MonoTraversable.html#line-1272" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Data-Sequences.html#t:IsSequence">IsSequence</a> mono => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> <a href="Data-MinLen.html#t:Zero">Zero</a>) mono)</span> <a href="src/Data-MonoTraversable.html#line-508" class="link">Source</a></td><td class="doc"><p><code><a href="Data-MonoTraversable.html#v:oextract">oextract</a></code> is <code><a href="Data-MinLen.html#v:head">head</a></code>.</p><p>For <code><code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> f</code>, the new <code>mono</code> is populated by applying <code>f</code> to
successive <code>tail</code>s of the original <code>mono</code>.</p><p>For example, for <code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> <code><a href="Data-MinLen.html#t:Zero">Zero</a></code>) [<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></code>]</code>, or
<code><code>NonNull</code> [<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></code>]</code>:</p><pre><code><a href="Data-MonoTraversable.html#v:oextend">oextend</a></code> f [1,2,3,4,5] = [ f [1, 2, 3, 4, 5]
, f [2, 3, 4, 5]
, f [3, 4, 5]
, f [4, 5]
, f [5]
]
</pre><p>Meant to be a direct analogy to the instance for <code>NonEmpty</code> <code>a</code>.</p></td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> f, <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> g) => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Data-Functor-Coproduct.html#t:Coproduct">Coproduct</a> f g a)</span> <a href="src/Data-MonoTraversable.html#line-1277" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Monoid.html#t:Monoid">Monoid</a> m) => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Traced.html#t:TracedT">TracedT</a> m w a)</span> <a href="src/Data-MonoTraversable.html#line-1276" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Store.html#t:StoreT">StoreT</a> s w a)</span> <a href="src/Data-MonoTraversable.html#line-1275" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="Data-MonoTraversable.html#t:MonoComonad">MonoComonad</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Env.html#t:EnvT">EnvT</a> e w a)</span> <a href="src/Data-MonoTraversable.html#line-1274" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.16.1</p></div></body></html>
|