/usr/share/doc/libghc-pointedlist-doc/html/Data-List-PointedList.html is in libghc-pointedlist-doc 0.4.0.4-3build2.
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 | <!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.List.PointedList</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-List-PointedList.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-List-PointedList.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">pointedlist-0.4.0.4: A zipper-like comonad which works as a list, tracking a position.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.List.PointedList</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>An implementation of a zipper-like non-empty list structure that tracks
an index position in the list (the <code><a href="Data-List-PointedList.html#v:focus">focus</a></code>).
</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">data</span> <a href="#t:PointedList">PointedList</a> a = <a href="#v:PointedList">PointedList</a> {<ul class="subs"><li><a href="#v:reversedPrefix">reversedPrefix</a> :: [a]</li><li><a href="#v:_focus">_focus</a> :: a</li><li><a href="#v:suffix">suffix</a> :: [a]</li></ul>}</li><li class="src short"><a href="#v:lSuffix">lSuffix</a> :: <span class="keyword">forall</span> arr a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Arrow">Arrow</a> arr => <a href="/usr/share/doc/libghc-fclabels-doc/html/Data-Label-Abstract.html#t:Lens">Lens</a> arr (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a) [a]</li><li class="src short"><a href="#v:lReversedPrefix">lReversedPrefix</a> :: <span class="keyword">forall</span> arr a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Arrow">Arrow</a> arr => <a href="/usr/share/doc/libghc-fclabels-doc/html/Data-Label-Abstract.html#t:Lens">Lens</a> arr (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a) [a]</li><li class="src short"><a href="#v:focus">focus</a> :: <span class="keyword">forall</span> arr a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Arrow">Arrow</a> arr => <a href="/usr/share/doc/libghc-fclabels-doc/html/Data-Label-Abstract.html#t:Lens">Lens</a> arr (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a) a</li><li class="src short"><a href="#v:singleton">singleton</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:fromList">fromList</a> :: [a] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:fromListEnd">fromListEnd</a> :: [a] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:replace">replace</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:next">next</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:tryNext">tryNext</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:previous">previous</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:tryPrevious">tryPrevious</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:insert">insert</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:insertLeft">insertLeft</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:insertRight">insertRight</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:delete">delete</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:deleteLeft">deleteLeft</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:deleteRight">deleteRight</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:deleteOthers">deleteOthers</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a</li><li class="src short"><a href="#v:length">length</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:atStart">atStart</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:atEnd">atEnd</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:positions">positions</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:contextMap">contextMap</a> :: (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> b) -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> b</li><li class="src short"><a href="#v:withFocus">withFocus</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> (a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><a href="#v:moveTo">moveTo</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:moveN">moveN</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:find">find</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a => a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</li><li class="src short"><a href="#v:index">index</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:PointedList" class="def">PointedList</a> a <a href="src/Data-List-PointedList.html#PointedList" class="link">Source</a></p><div class="doc"><p>The implementation of the pointed list structure which tracks the current
position in the list structure.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:PointedList" class="def">PointedList</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:reversedPrefix" class="def">reversedPrefix</a> :: [a]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:_focus" class="def">_focus</a> :: a</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:suffix" class="def">suffix</a> :: [a]</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:PointedList" class="caption collapser" onclick="toggleSection('i:PointedList')">Instances</p><div id="section.i:PointedList" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Foldable.html#t:Foldable">Foldable</a> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Traversable.html#t:Traversable">Traversable</a> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a => <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Text-Show.html#t:Show">Show</a> a => <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Text-Show.html#t:Show">Show</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/binary-0.5.1.1/Data-Binary.html#t:Binary">Binary</a> a_1627402417 => <a href="/usr/share/doc/ghc-doc/html/libraries/binary-0.5.1.1/Data-Binary.html#t:Binary">Binary</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a_1627402417)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:lSuffix" class="def">lSuffix</a> :: <span class="keyword">forall</span> arr a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Arrow">Arrow</a> arr => <a href="/usr/share/doc/libghc-fclabels-doc/html/Data-Label-Abstract.html#t:Lens">Lens</a> arr (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a) [a]<a href="src/Data-List-PointedList.html#lSuffix" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lReversedPrefix" class="def">lReversedPrefix</a> :: <span class="keyword">forall</span> arr a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Arrow">Arrow</a> arr => <a href="/usr/share/doc/libghc-fclabels-doc/html/Data-Label-Abstract.html#t:Lens">Lens</a> arr (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a) [a]<a href="src/Data-List-PointedList.html#lReversedPrefix" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:focus" class="def">focus</a> :: <span class="keyword">forall</span> arr a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Arrow.html#t:Arrow">Arrow</a> arr => <a href="/usr/share/doc/libghc-fclabels-doc/html/Data-Label-Abstract.html#t:Lens">Lens</a> arr (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a) a<a href="src/Data-List-PointedList.html#focus" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:singleton" class="def">singleton</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#singleton" class="link">Source</a></p><div class="doc"><p>Create a <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code> with a single element.
</p></div></div><div class="top"><p class="src"><a name="v:fromList" class="def">fromList</a> :: [a] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#fromList" class="link">Source</a></p><div class="doc"><p>Possibly create a <code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#v:Just">Just</a></code> <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code></code> if the provided list has at least
one element; otherwise, return Nothing.
</p><p>The provided list's head will be the focus of the list, and the rest of
list will follow on the right side.
</p></div></div><div class="top"><p class="src"><a name="v:fromListEnd" class="def">fromListEnd</a> :: [a] -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#fromListEnd" class="link">Source</a></p><div class="doc"><p>Possibly create a <code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#v:Just">Just</a></code> <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code></code> if the provided list has at least
one element; otherwise, return Nothing.
</p><p>The provided list's last element will be the focus of the list, following
the rest of the list in order, to the left.
</p></div></div><div class="top"><p class="src"><a name="v:replace" class="def">replace</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#replace" class="link">Source</a></p><div class="doc"><p>Replace the focus of the list, retaining the prefix and suffix.
</p></div></div><div class="top"><p class="src"><a name="v:next" class="def">next</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#next" class="link">Source</a></p><div class="doc"><p>Possibly move the focus to the next element in the list.
</p></div></div><div class="top"><p class="src"><a name="v:tryNext" class="def">tryNext</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#tryNext" class="link">Source</a></p><div class="doc"><p>Attempt to move the focus to the next element, or <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:error">error</a></code> if there are
no more elements.
</p></div></div><div class="top"><p class="src"><a name="v:previous" class="def">previous</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#previous" class="link">Source</a></p><div class="doc"><p>Possibly move the focus to the previous element in the list.
</p></div></div><div class="top"><p class="src"><a name="v:tryPrevious" class="def">tryPrevious</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#tryPrevious" class="link">Source</a></p><div class="doc"><p>Attempt to move the focus to the previous element, or <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:error">error</a></code> if there are
no more elements.
</p></div></div><div class="top"><p class="src"><a name="v:insert" class="def">insert</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#insert" class="link">Source</a></p><div class="doc"><p>An alias for <code><a href="Data-List-PointedList.html#v:insertRight">insertRight</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:insertLeft" class="def">insertLeft</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#insertLeft" class="link">Source</a></p><div class="doc"><p>Insert an element to the left of the focus, then move the focus to the new
element.
</p></div></div><div class="top"><p class="src"><a name="v:insertRight" class="def">insertRight</a> :: a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#insertRight" class="link">Source</a></p><div class="doc"><p>Insert an element to the right of the focus, then move the focus to the
new element.
</p></div></div><div class="top"><p class="src"><a name="v:delete" class="def">delete</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#delete" class="link">Source</a></p><div class="doc"><p>An alias of <code><a href="Data-List-PointedList.html#v:deleteRight">deleteRight</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:deleteLeft" class="def">deleteLeft</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#deleteLeft" class="link">Source</a></p><div class="doc"><p>Possibly delete the element at the focus, then move the element on the
left to the focus. If no element is on the left, focus on the element to
the right. If the deletion will cause the list to be empty, return
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#v:Nothing">Nothing</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:deleteRight" class="def">deleteRight</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#deleteRight" class="link">Source</a></p><div class="doc"><p>Possibly delete the element at the focus, then move the element on the
right to the focus. If no element is on the right, focus on the element to
the left. If the deletion will cause the list to be empty, return
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#v:Nothing">Nothing</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:deleteOthers" class="def">deleteOthers</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a<a href="src/Data-List-PointedList.html#deleteOthers" class="link">Source</a></p><div class="doc"><p>Delete all elements in the list except the focus.
</p></div></div><div class="top"><p class="src"><a name="v:length" class="def">length</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a><a href="src/Data-List-PointedList.html#length" class="link">Source</a></p><div class="doc"><p>The length of the list.
</p></div></div><div class="top"><p class="src"><a name="v:atStart" class="def">atStart</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Data-List-PointedList.html#atStart" class="link">Source</a></p><div class="doc"><p>Whether the focus is the first element.
</p></div></div><div class="top"><p class="src"><a name="v:atEnd" class="def">atEnd</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Data-List-PointedList.html#atEnd" class="link">Source</a></p><div class="doc"><p>Whether the focus is the last element.
</p></div></div><div class="top"><p class="src"><a name="v:positions" class="def">positions</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#positions" class="link">Source</a></p><div class="doc"><p>Create a <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code> of variations of the provided <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code>, in
which each element is focused, with the provided <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code> as the
focus of the sets.
</p></div></div><div class="top"><p class="src"><a name="v:contextMap" class="def">contextMap</a> :: (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> b) -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> b<a href="src/Data-List-PointedList.html#contextMap" class="link">Source</a></p><div class="doc"><p>Map over the <code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code>s created via <code><a href="Data-List-PointedList.html#v:positions">positions</a></code>, such that <code>f</code> is
called with each element of the list focused in the provided
<code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code>. An example makes this easier to understand:
</p><pre> contextMap atStart (fromJust $ fromList [1..5])
</pre></div></div><div class="top"><p class="src"><a name="v:withFocus" class="def">withFocus</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> (a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>)<a href="src/Data-List-PointedList.html#withFocus" class="link">Source</a></p><div class="doc"><p>Create a <code><code><a href="Data-List-PointedList.html#t:PointedList">PointedList</a></code> a</code> of <code>(a, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></code>)</code>, in which the boolean values
specify whether the current element has the focus. That is, all of the
booleans will be <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#v:False">False</a></code>, except the focused element.
</p></div></div><div class="top"><p class="src"><a name="v:moveTo" class="def">moveTo</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#moveTo" class="link">Source</a></p><div class="doc"><p>Move the focus to the specified index. The first element is at index 0.
</p></div></div><div class="top"><p class="src"><a name="v:moveN" class="def">moveN</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a> -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#moveN" class="link">Source</a></p><div class="doc"><p>Move the focus by <code>n</code>, relative to the current index. Negative values move
the focus backwards, positive values more forwards through the list.
</p></div></div><div class="top"><p class="src"><a name="v:find" class="def">find</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a => a -> <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a)<a href="src/Data-List-PointedList.html#find" class="link">Source</a></p><div class="doc"><p>Move the focus to the specified element, if it is present.
</p><p>Patch with much faster algorithm provided by Runar Bjarnason for version
0.3.2. Improved again by Runar Bjarnason for version 0.3.3 to support
infinite lists on both sides of the focus.
</p></div></div><div class="top"><p class="src"><a name="v:index" class="def">index</a> :: <a href="Data-List-PointedList.html#t:PointedList">PointedList</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a><a href="src/Data-List-PointedList.html#index" class="link">Source</a></p><div class="doc"><p>The index of the focus, leftmost is 0.
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|