/usr/share/doc/libghc-mono-traversable-doc/html/Data-NonNull.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 | <!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.NonNull</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-NonNull.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-NonNull.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.NonNull</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Warning, this is Experimental!</p><p><a href="Data-NonNull.html">Data.NonNull</a> attempts to extend the concepts from
<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html">Data.List.NonEmpty</a> to any <code><a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a></code>.</p><p><code><a href="Data-NonNull.html#t:NonNull">NonNull</a></code> is a typeclass for a container with 1 or more elements.
<a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html">Data.List.NonEmpty</a> and 'NotEmpty a' are members of the typeclass</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</span> <a href="#t:NonNull">NonNull</a> mono = <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</li><li class="src short"><a href="#v:fromNullable">fromNullable</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-NonNull.html#t:NonNull">NonNull</a> mono)</li><li class="src short"><a href="#v:nonNull">nonNull</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => mono -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> mono</li><li class="src short"><a href="#v:toNullable">toNullable</a> :: <a href="Data-NonNull.html#t:NonNull">NonNull</a> mono -> mono</li><li class="src short"><a href="#v:fromNonEmpty">fromNonEmpty</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq) -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq</li><li class="src short"><a href="#v:ncons">ncons</a> :: <a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a> seq => <a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq</li><li class="src short"><a href="#v:nuncons">nuncons</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq, <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-NonNull.html#t:NonNull">NonNull</a> seq))</li><li class="src short"><a href="#v:splitFirst">splitFirst</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq, seq)</li><li class="src short"><a href="#v:nfilter">nfilter</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> <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-NonNull.html#t:NonNull">NonNull</a> seq -> seq</li><li class="src short"><a href="#v:nfilterM">nfilterM</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-Sequences.html#t:IsSequence">IsSequence</a> seq) => (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> m <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-NonNull.html#t:NonNull">NonNull</a> seq -> m seq</li><li class="src short"><a href="#v:nReplicate">nReplicate</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-Sequences.html#t:Index">Index</a> seq -> <a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq</li><li class="src short"><a href="#v:head">head</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:tail">tail</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> seq</li><li class="src short"><a href="#v:last">last</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:init">init</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> seq</li><li class="src short"><a href="#v:ofoldMap1">ofoldMap1</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <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) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> m</li><li class="src short"><a href="#v:ofold1">ofold1</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:ofoldr1">ofoldr1</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="Data-MonoTraversable.html#t:Element">Element</a> mono) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:ofoldl1-39-">ofoldl1'</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="Data-MonoTraversable.html#t:Element">Element</a> mono) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:maximum">maximum</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:maximumBy">maximumBy</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>) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:minimum">minimum</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:minimumBy">minimumBy</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>) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono</li><li class="src short"><a href="#v:-60--124-">(<|)</a> :: <a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a> seq => <a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq</li><li class="src short"><a href="#v:toMinList">toMinList</a> :: <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> [a]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:NonNull" class="def">NonNull</a> mono = <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 <a href="src/Data-NonNull.html#NonNull" class="link">Source</a></p><div class="doc"><p>A monomorphic container that is not null.</p></div></div><div class="top"><p class="src"><a name="v:fromNullable" class="def">fromNullable</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-NonNull.html#t:NonNull">NonNull</a> mono) <a href="src/Data-NonNull.html#fromNullable" class="link">Source</a></p><div class="doc"><p><strong>Safely</strong> convert from an <strong>unsafe</strong> monomorphic container to a <strong>safe</strong>
non-null monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:nonNull" class="def">nonNull</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => mono -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> mono <a href="src/Data-NonNull.html#nonNull" class="link">Source</a></p><div class="doc"><p><strong>Unsafely</strong> convert from an <strong>unsafe</strong> monomorphic container to a <strong>safe</strong>
non-null monomorphic container.</p><p>Throws an exception if the monomorphic container is empty.</p></div></div><div class="top"><p class="src"><a name="v:toNullable" class="def">toNullable</a> :: <a href="Data-NonNull.html#t:NonNull">NonNull</a> mono -> mono <a href="src/Data-NonNull.html#toNullable" class="link">Source</a></p><div class="doc"><p><strong>Safely</strong> convert from a non-null monomorphic container to a nullable monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:fromNonEmpty" class="def">fromNonEmpty</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq) -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq <a href="src/Data-NonNull.html#fromNonEmpty" class="link">Source</a></p><div class="doc"><p><strong>Safely</strong> convert from a <code>NonEmpty</code> list to a non-null monomorphic container.</p></div></div><div class="top"><p class="src"><a name="v:ncons" class="def">ncons</a> :: <a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a> seq => <a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq <a href="src/Data-NonNull.html#ncons" class="link">Source</a></p><div class="doc"><p>Prepend an element to a <code><a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a></code>, creating a non-null <code><a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a></code>.</p><p>Generally this uses cons underneath.
cons is not efficient for most data structures.</p><p>Alternatives:</p><ul><li>if you don't need to cons, use <code><a href="Data-NonNull.html#v:fromNullable">fromNullable</a></code> or <code><a href="Data-NonNull.html#v:nonNull">nonNull</a></code> if you can create your structure in one go.</li><li>if you need to cons, you might be able to start off with an efficient data structure such as a <code>NonEmpty</code> List.
<code>fronNonEmpty</code> will convert that to your data structure using the structure's fromList function.</li></ul></div></div><div class="top"><p class="src"><a name="v:nuncons" class="def">nuncons</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq, <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-NonNull.html#t:NonNull">NonNull</a> seq)) <a href="src/Data-NonNull.html#nuncons" class="link">Source</a></p><div class="doc"><p>Extract the first element of a sequnce and the rest of the non-null sequence if it exists.</p></div></div><div class="top"><p class="src"><a name="v:splitFirst" class="def">splitFirst</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq, seq) <a href="src/Data-NonNull.html#splitFirst" class="link">Source</a></p><div class="doc"><p>Same as <code><a href="Data-NonNull.html#v:nuncons">nuncons</a></code> with no guarantee that the rest of the sequence is non-null.</p></div></div><div class="top"><p class="src"><a name="v:nfilter" class="def">nfilter</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> <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-NonNull.html#t:NonNull">NonNull</a> seq -> seq <a href="src/Data-NonNull.html#nfilter" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html">Data.Sequence</a>.<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#v:filter">filter</a></code></code>,
but works on non-nullable sequences.</p></div></div><div class="top"><p class="src"><a name="v:nfilterM" class="def">nfilterM</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-Sequences.html#t:IsSequence">IsSequence</a> seq) => (<a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> m <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-NonNull.html#t:NonNull">NonNull</a> seq -> m seq <a href="src/Data-NonNull.html#nfilterM" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html">Data.Sequence</a>.<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#v:filterM">filterM</a></code></code>,
but works on non-nullable sequences.</p></div></div><div class="top"><p class="src"><a name="v:nReplicate" class="def">nReplicate</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-Sequences.html#t:Index">Index</a> seq -> <a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq <a href="src/Data-NonNull.html#nReplicate" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html">Data.Sequence</a>.<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.6.2/Data-Sequence.html#v:replicate">replicate</a></code></code></p><p><code>i</code> must be <code>> 0</code></p><p><code>i <= 0</code> is treated the same as providing <code>1</code></p></div></div><div class="top"><p class="src"><a name="v:head" class="def">head</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#head" class="link">Source</a></p><div class="doc"><p>Return the first element of a monomorphic container.</p><p>Safe version of <code><a href="Data-MonoTraversable.html#v:headEx">headEx</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p></div></div><div class="top"><p class="src"><a name="v:tail" class="def">tail</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> seq <a href="src/Data-NonNull.html#tail" class="link">Source</a></p><div class="doc"><p><strong>Safe</strong> version of <code><a href="Data-Sequences.html#v:tailEx">tailEx</a></code>, only working on non-nullable sequences.</p></div></div><div class="top"><p class="src"><a name="v:last" class="def">last</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#last" class="link">Source</a></p><div class="doc"><p>Return the last element of a monomorphic container.</p><p>Safe version of <code><a href="Data-MonoTraversable.html#v:lastEx">lastEx</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p></div></div><div class="top"><p class="src"><a name="v:init" class="def">init</a> :: <a href="Data-Sequences.html#t:IsSequence">IsSequence</a> seq => <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> seq <a href="src/Data-NonNull.html#init" class="link">Source</a></p><div class="doc"><p><strong>Safe</strong> version of <code><a href="Data-Sequences.html#v:initEx">initEx</a></code>, only working on non-nullable sequences.</p></div></div><div class="top"><p class="src"><a name="v:ofoldMap1" class="def">ofoldMap1</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <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) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> m <a href="src/Data-MinLen.html#ofoldMap1" 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>Safe version of <code><a href="Data-MonoTraversable.html#v:ofoldMap1Ex">ofoldMap1Ex</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p><h4 id="control.ch:ofoldMap10" class="caption collapser" onclick="toggleSection('ch:ofoldMap10')">Examples</h4><div id="section.ch:ofoldMap10" class="hide"><pre>> let xs = ("hello", 1 :: <code>Integer</code>) `mlcons` (" world", 2) `mlcons` (<code><a href="Data-MinLen.html#v:toMinLenZero">toMinLenZero</a></code> [])
> <code><a href="Data-NonNull.html#v:ofoldMap1">ofoldMap1</a></code> <code>fst</code> xs
"hello world"
</pre></div></div></div><div class="top"><p class="src"><a name="v:ofold1" class="def">ofold1</a> :: (<a href="Data-MonoTraversable.html#t:MonoFoldable">MonoFoldable</a> mono, <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Data-MonoTraversable.html#t:Element">Element</a> mono)) => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#ofold1" class="link">Source</a></p><div class="doc"><p>Join a monomorphic container, whose elements are <code><a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-Semigroup.html#t:Semigroup">Semigroup</a></code>s, together.</p><p>Safe, only works on monomorphic containers wrapped in a <code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p><h4 id="control.ch:ofold10" class="caption collapser" onclick="toggleSection('ch:ofold10')">Examples</h4><div id="section.ch:ofold10" class="hide"><pre>> let xs = "a" `mlcons` "b" `mlcons` "c" `mlcons` (<code><a href="Data-MinLen.html#v:toMinLenZero">toMinLenZero</a></code> [])
> xs
<code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> {unMinLen = ["a","b","c"]}
> <code><a href="Data-NonNull.html#v:ofold1">ofold1</a></code> xs
"abc"
</pre></div></div></div><div class="top"><p class="src"><a name="v:ofoldr1" class="def">ofoldr1</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="Data-MonoTraversable.html#t:Element">Element</a> mono) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#ofoldr1" class="link">Source</a></p><div class="doc"><p>Right-associative fold of a monomorphic container with no base element.</p><p>Safe version of <code><a href="Data-MonoTraversable.html#v:ofoldr1Ex">ofoldr1Ex</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p><pre><code>foldr1</code> f = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html">Prelude</a>.<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#v:foldr1">foldr1</a></code> f . <code><a href="Data-MonoTraversable.html#v:otoList">otoList</a></code></pre><h4 id="control.ch:ofoldr10" class="caption collapser" onclick="toggleSection('ch:ofoldr10')">Examples</h4><div id="section.ch:ofoldr10" class="hide"><pre>> let xs = "a" `mlcons` "b" `mlcons` "c" `mlcons` (<code><a href="Data-MinLen.html#v:toMinLenZero">toMinLenZero</a></code> [])
> <code><a href="Data-NonNull.html#v:ofoldr1">ofoldr1</a></code> (++) xs
"abc"
</pre></div></div></div><div class="top"><p class="src"><a name="v:ofoldl1-39-" class="def">ofoldl1'</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="Data-MonoTraversable.html#t:Element">Element</a> mono) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#ofoldl1%27" class="link">Source</a></p><div class="doc"><p>Strict left-associative fold of a monomorphic container with no base
element.</p><p>Safe version of <code><a href="Data-MonoTraversable.html#v:ofoldl1Ex-39-">ofoldl1Ex'</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p><pre><code>foldl1'</code> f = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html">Prelude</a>.<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#v:foldl1-39-">foldl1'</a></code> f . <code><a href="Data-MonoTraversable.html#v:otoList">otoList</a></code></pre><h4 id="control.ch:ofoldl1-39-0" class="caption collapser" onclick="toggleSection('ch:ofoldl1-39-0')">Examples</h4><div id="section.ch:ofoldl1-39-0" class="hide"><pre>> let xs = "a" `mlcons` "b" `mlcons` "c" `mlcons` (<code><a href="Data-MinLen.html#v:toMinLenZero">toMinLenZero</a></code> [])
> <code><a href="Data-NonNull.html#v:ofoldl1-39-">ofoldl1'</a></code> (++) xs
"abc"
</pre></div></div></div><div class="top"><p class="src"><a name="v:maximum" class="def">maximum</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#maximum" class="link">Source</a></p><div class="doc"><p>Get the maximum element of a monomorphic container.</p><p>Safe version of <code><a href="Data-MonoTraversable.html#v:maximumEx">maximumEx</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p><h4 id="control.ch:maximum0" class="caption collapser" onclick="toggleSection('ch:maximum0')">Examples</h4><div id="section.ch:maximum0" class="hide"><pre>> let xs = <code><a href="Data-MinLen.html#v:toMinLen">toMinLen</a></code> [1,2,3] :: <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a></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><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#v:fmap">fmap</a></code> <code><a href="Data-NonNull.html#v:maximum">maximum</a></code> xs
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Just">Just</a></code> 3
</pre></div></div></div><div class="top"><p class="src"><a name="v:maximumBy" class="def">maximumBy</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>) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#maximumBy" 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>Safe version of <code><a href="Data-MonoTraversable.html#v:maximumByEx">maximumByEx</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p></div></div><div class="top"><p class="src"><a name="v:minimum" class="def">minimum</a> :: <a href="Data-MonoTraversable.html#t:MonoFoldableOrd">MonoFoldableOrd</a> mono => <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#minimum" class="link">Source</a></p><div class="doc"><p>Get the minimum element of a monomorphic container.</p><p>Safe version of <code><a href="Data-MonoTraversable.html#v:minimumEx">minimumEx</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p><h4 id="control.ch:minimum0" class="caption collapser" onclick="toggleSection('ch:minimum0')">Examples</h4><div id="section.ch:minimum0" class="hide"><pre>> let xs = <code><a href="Data-MinLen.html#v:toMinLen">toMinLen</a></code> [1,2,3] :: <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a></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><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#v:fmap">fmap</a></code> <code><a href="Data-NonNull.html#v:minimum">minimum</a></code> xs
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#v:Just">Just</a></code> 1
</pre></div></div></div><div class="top"><p class="src"><a name="v:minimumBy" class="def">minimumBy</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>) -> <a href="Data-MinLen.html#t:MinLen">MinLen</a> (<a href="Data-MinLen.html#t:Succ">Succ</a> nat) mono -> <a href="Data-MonoTraversable.html#t:Element">Element</a> mono <a href="src/Data-MinLen.html#minimumBy" 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>Safe version of <code><a href="Data-MonoTraversable.html#v:minimumByEx">minimumByEx</a></code>, only works on monomorphic containers wrapped in a
<code><code><a href="Data-MinLen.html#t:MinLen">MinLen</a></code> (<code><a href="Data-MinLen.html#t:Succ">Succ</a></code> nat)</code>.</p></div></div><div class="top"><p class="src"><a name="v:-60--124-" class="def">(<|)</a> :: <a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a> seq => <a href="Data-MonoTraversable.html#t:Element">Element</a> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> seq <span class="fixity">infixr 5</span><span class="rightedge"></span> <a href="src/Data-NonNull.html#%3C%7C" class="link">Source</a></p><div class="doc"><p>Prepend an element to a non-null <code><a href="Data-Sequences.html#t:SemiSequence">SemiSequence</a></code>.</p></div></div><div class="top"><p class="src"><a name="v:toMinList" class="def">toMinList</a> :: <a href="file:///usr/share/doc/libghc-semigroups-doc/html/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> a -> <a href="Data-NonNull.html#t:NonNull">NonNull</a> [a] <a href="src/Data-NonNull.html#toMinList" class="link">Source</a></p><div class="doc"><p>Specializes <code><a href="Data-NonNull.html#v:fromNonEmpty">fromNonEmpty</a></code> to lists only.</p></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>
|