<!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.IntTrie</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-IntTrie.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-IntTrie.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">data-inttrie-0.1.0: A lazy, infinite trie of integers.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>Haskell 2010</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Luke Palmer <lrpalmer@gmail.com></td></tr></table><p class="caption">Data.IntTrie</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Provides a minimal infinite, lazy trie for integral types.
It intentionally leaves out ideas such as delete and
emptiness so that it can be used lazily, eg. as the target
of an infinite foldr. Essentially its purpose is to be an
efficient implementation of a function from integral type,
given point-at-a-time modifications.
</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:IntTrie">IntTrie</a> a</li><li class="src short"><a href="#v:identity">identity</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> a, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> a) => <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a</li><li class="src short"><a href="#v:apply">apply</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> b -> a</li><li class="src short"><a href="#v:modify">modify</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => b -> (a -> a) -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a</li><li class="src short"><a href="#v:modify-39-">modify'</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => b -> (a -> a) -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a</li><li class="src short"><a href="#v:overwrite">overwrite</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => b -> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IntTrie" class="def">IntTrie</a> a <a href="src/Data-IntTrie.html#IntTrie" class="link">Source</a></p><div class="doc"><p>A trie from integers to values of type a.
</p><p>Semantics: [[IntTrie a]] = Integer -> a
</p></div><div class="subs instances"><p id="control.i:IntTrie" class="caption collapser" onclick="toggleSection('i:IntTrie')">Instances</p><div id="section.i:IntTrie" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Monad.html#t:Functor">Functor</a> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Control-Applicative.html#t:Applicative">Applicative</a> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Monoid.html#t:Monoid">Monoid</a> a => <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:identity" class="def">identity</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> a, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> a) => <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a<a href="src/Data-IntTrie.html#identity" class="link">Source</a></p><div class="doc"><p>The identity trie.
</p><pre> apply identity = id
</pre></div></div><div class="top"><p class="src"><a name="v:apply" class="def">apply</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> b -> a<a href="src/Data-IntTrie.html#apply" class="link">Source</a></p><div class="doc"><p>Apply the trie to an argument. This is the semantic map.
</p></div></div><div class="top"><p class="src"><a name="v:modify" class="def">modify</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => b -> (a -> a) -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a<a href="src/Data-IntTrie.html#modify" class="link">Source</a></p><div class="doc"><p>Modify the function at one point
</p><pre> apply (modify x f t) i | i == x = f (apply t i)
| otherwise = apply t i
</pre></div></div><div class="top"><p class="src"><a name="v:modify-39-" class="def">modify'</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => b -> (a -> a) -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a<a href="src/Data-IntTrie.html#modify%27" class="link">Source</a></p><div class="doc"><p>Modify the function at one point (strict version)
</p></div></div><div class="top"><p class="src"><a name="v:overwrite" class="def">overwrite</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Ord.html#t:Ord">Ord</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Prelude.html#t:Num">Num</a> b, <a href="/usr/share/doc/ghc/html/libraries/base-4.3.1.0/Data-Bits.html#t:Bits">Bits</a> b) => b -> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a -> <a href="Data-IntTrie.html#t:IntTrie">IntTrie</a> a<a href="src/Data-IntTrie.html#overwrite" class="link">Source</a></p><div class="doc"><p>Overwrite the function at one point
</p><pre> overwrite i x = modify i (const x)
</pre></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.9.2</p></div></body></html>
distrib
>
Fedora
>
17
>
i386
>
media
>
updates
>
by-pkgid
>
e99b93025f60947b13fbfa79de515307
>
files
>
9
