/usr/share/doc/libghc-trifecta-doc/html/Text-Trifecta-Util-IntervalMap.html is in libghc-trifecta-doc 1.6.2.1-1build8.
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 | <!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>Text.Trifecta.Util.IntervalMap</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Text-Trifecta-Util-IntervalMap.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Text-Trifecta-Util-IntervalMap.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">trifecta-1.6.2.1: A modern parser combinator library with convenient diagnostics</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) Edward Kmett 2011-2015<br />(c) Ross Paterson 2008</td></tr><tr><th>License</th><td>BSD-style</td></tr><tr><th>Maintainer</th><td>ekmett@gmail.com</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable (MPTCs, type families, functional dependencies)</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Text.Trifecta.Util.IntervalMap</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Intervals</a></li><li><a href="#g:2">Interval maps</a></li><li><a href="#g:3">Searching</a></li><li><a href="#g:4">Prepending an offset onto every interval in the map</a></li><li><a href="#g:5">The result monoid</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Interval maps implemented using the <code><a href="file:///usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:FingerTree">FingerTree</a></code> type, following
section 4.8 of</p><ul><li>Ralf Hinze and Ross Paterson,
"Finger trees: a simple general-purpose data structure",
<em>Journal of Functional Programming</em> 16:2 (2006) pp 197-217.
<a href="http://www.soi.city.ac.uk/~ross/papers/FingerTree.html">http://www.soi.city.ac.uk/~ross/papers/FingerTree.html</a></li></ul><p>An amortized running time is given for each operation, with <em>n</em>
referring to the size of the priority queue. These bounds hold even
in a persistent (shared) setting.</p><p><em>Note</em>: Many of these operations have the same names as similar
operations on lists in the <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html">Prelude</a>. The ambiguity may be resolved
using either qualification or the <code>hiding</code> clause.</p><p>Unlike <a href="file:///usr/share/doc/libghc-fingertree-doc/html/Data-IntervalMap-FingerTree.html">Data.IntervalMap.FingerTree</a>, this version sorts things so
that the largest interval from a given point comes first. This way
if you have nested intervals, you get the outermost interval before
the contained intervals.</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:Interval">Interval</a> v = <a href="#v:Interval">Interval</a> {<ul class="subs"><li><a href="#v:low">low</a> :: v</li><li><a href="#v:high">high</a> :: v</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:IntervalMap">IntervalMap</a> v a = <a href="#v:IntervalMap">IntervalMap</a> {<ul class="subs"><li><a href="#v:runIntervalMap">runIntervalMap</a> :: <a href="file:///usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:FingerTree">FingerTree</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v) (Node v a)</li></ul>}</li><li class="src short"><a href="#v:singleton">singleton</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a</li><li class="src short"><a href="#v:insert">insert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> v -> a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a</li><li class="src short"><a href="#v:search">search</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [(<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v, a)]</li><li class="src short"><a href="#v:intersections">intersections</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [(<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v, a)]</li><li class="src short"><a href="#v:dominators">dominators</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [(<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v, a)]</li><li class="src short"><a href="#v:offset">offset</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> v) => v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a</li><li class="src short"><span class="keyword">data</span> <a href="#t:IntInterval">IntInterval</a> v<ul class="subs"><li>= <a href="#v:NoInterval">NoInterval</a></li><li>| <a href="#v:IntInterval">IntInterval</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) v</li></ul></li><li class="src short"><a href="#v:fromList">fromList</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => [(v, v, a)] -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a</li></ul></div><div id="interface"><h1 id="g:1">Intervals</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Interval" class="def">Interval</a> v <a href="src/Text-Trifecta-Util-IntervalMap.html#Interval" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></p><div class="doc"><p>A closed interval. The lower bound should be less than or equal
to the higher bound.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Interval" class="def">Interval</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:low" class="def">low</a> :: v</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:high" class="def">high</a> :: v</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Interval" class="caption collapser" onclick="toggleSection('i:Interval')">Instances</p><div id="section.i:Interval" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Functor:1" class="instance expander" onclick="toggleSection('i:id:Interval:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a></span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-98" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Foldable:2" class="instance expander" onclick="toggleSection('i:id:Interval:Foldable:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a></span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-101" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Foldable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> m -> m <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> m <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> b <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> b <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> b <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> b <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -> a -> a) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> a <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -> a -> a) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> a <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> [a] <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a => a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> a <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> a <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> a <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> a <a href="#v:product" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Traversable:3" class="instance expander" onclick="toggleSection('i:id:Interval:Traversable:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Traversable.html#t:Traversable">Traversable</a> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a></span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-104" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Traversable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> b) <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> (f a) -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a) <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a -> m (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> b) <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> (m a) -> m (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> a) <a href="#v:sequence" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Reducer:4" class="instance expander" onclick="toggleSection('i:id:Interval:Reducer:4')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> v) => <a href="file:///usr/share/doc/libghc-reducers-doc/html/Data-Semigroup-Reducer.html#t:Reducer">Reducer</a> v (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-84" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Reducer:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:snoc">snoc</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:snoc" class="selflink">#</a></p><p class="src"><a href="#v:cons">cons</a> :: v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:cons" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Eq:5" class="instance expander" onclick="toggleSection('i:id:Interval:Eq:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> v => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-89" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Eq:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Ord:6" class="instance expander" onclick="toggleSection('i:id:Interval:Ord:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-92" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Ord:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Show:7" class="instance expander" onclick="toggleSection('i:id:Interval:Show:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> v => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-78" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Show:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:Semigroup:8" class="instance expander" onclick="toggleSection('i:id:Interval:Semigroup:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-80" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:Semigroup:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:FunctorWithIndex:9" class="instance expander" onclick="toggleSection('i:id:Interval:FunctorWithIndex:9')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:FunctorWithIndex">FunctorWithIndex</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-149" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:FunctorWithIndex:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:imap">imap</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b <a href="#v:imap" class="selflink">#</a></p><p class="src"><a href="#v:imapped">imapped</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) p, <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Setter.html#t:Settable">Settable</a> f) => p a (f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:imapped" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:FoldableWithIndex:10" class="instance expander" onclick="toggleSection('i:id:Interval:FoldableWithIndex:10')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:FoldableWithIndex">FoldableWithIndex</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-155" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:FoldableWithIndex:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifoldMap">ifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> m) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> m <a href="#v:ifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:ifolded">ifolded</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) p, <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Getter.html#t:Contravariant">Contravariant</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => p a (f a) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a) <a href="#v:ifolded" class="selflink">#</a></p><p class="src"><a href="#v:ifoldr">ifoldr</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldr" class="selflink">#</a></p><p class="src"><a href="#v:ifoldl">ifoldl</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldl" class="selflink">#</a></p><p class="src"><a href="#v:ifoldr-39-">ifoldr'</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:ifoldl-39-">ifoldl'</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldl-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interval:TraversableWithIndex:11" class="instance expander" onclick="toggleSection('i:id:Interval:TraversableWithIndex:11')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:TraversableWithIndex">TraversableWithIndex</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-162" class="link">Source</a> <a href="#t:Interval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interval:TraversableWithIndex:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:itraverse">itraverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:itraverse" class="selflink">#</a></p><p class="src"><a href="#v:itraversed">itraversed</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => p a (f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:itraversed" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h1 id="g:2">Interval maps</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:IntervalMap" class="def">IntervalMap</a> v a <a href="src/Text-Trifecta-Util-IntervalMap.html#IntervalMap" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></p><div class="doc"><p>Map of closed intervals, possibly with duplicates.
The <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a></code> and <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Traversable.html#t:Traversable">Traversable</a></code> instances process the intervals in
lexicographical order.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:IntervalMap" class="def">IntervalMap</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runIntervalMap" class="def">runIntervalMap</a> :: <a href="file:///usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:FingerTree">FingerTree</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v) (Node v a)</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:IntervalMap" class="caption collapser" onclick="toggleSection('i:IntervalMap')">Instances</p><div id="section.i:IntervalMap" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:Functor:1" class="instance expander" onclick="toggleSection('i:id:IntervalMap:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-146" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:Foldable:2" class="instance expander" onclick="toggleSection('i:id:IntervalMap:Foldable:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-152" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:Foldable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v m -> m <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> m <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -> a -> a) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> a <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -> a -> a) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> a <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [a] <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a => a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> a <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> a <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> a <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> a <a href="#v:product" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:Traversable:3" class="instance expander" onclick="toggleSection('i:id:IntervalMap:Traversable:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Traversable.html#t:Traversable">Traversable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-158" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:Traversable:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v (f a) -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a) <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> m (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v (m a) -> m (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a) <a href="#v:sequence" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:FunctorWithIndex:4" class="instance expander" onclick="toggleSection('i:id:IntervalMap:FunctorWithIndex:4')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:FunctorWithIndex">FunctorWithIndex</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-149" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:FunctorWithIndex:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:imap">imap</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b <a href="#v:imap" class="selflink">#</a></p><p class="src"><a href="#v:imapped">imapped</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) p, <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Setter.html#t:Settable">Settable</a> f) => p a (f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:imapped" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:FoldableWithIndex:5" class="instance expander" onclick="toggleSection('i:id:IntervalMap:FoldableWithIndex:5')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:FoldableWithIndex">FoldableWithIndex</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-155" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:FoldableWithIndex:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ifoldMap">ifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> m) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> m <a href="#v:ifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:ifolded">ifolded</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) p, <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Getter.html#t:Contravariant">Contravariant</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => p a (f a) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a) <a href="#v:ifolded" class="selflink">#</a></p><p class="src"><a href="#v:ifoldr">ifoldr</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldr" class="selflink">#</a></p><p class="src"><a href="#v:ifoldl">ifoldl</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldl" class="selflink">#</a></p><p class="src"><a href="#v:ifoldr-39-">ifoldr'</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> b -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:ifoldl-39-">ifoldl'</a> :: (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> b -> a -> b) -> b -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> b <a href="#v:ifoldl-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:TraversableWithIndex:6" class="instance expander" onclick="toggleSection('i:id:IntervalMap:TraversableWithIndex:6')"></span> <a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Indexed.html#t:TraversableWithIndex">TraversableWithIndex</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-162" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:TraversableWithIndex:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:itraverse">itraverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:itraverse" class="selflink">#</a></p><p class="src"><a href="#v:itraversed">itraversed</a> :: (<a href="file:///usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Indexed.html#t:Indexable">Indexable</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => p a (f b) -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> f (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v b) <a href="#v:itraversed" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:Measured:7" class="instance expander" onclick="toggleSection('i:id:IntervalMap:Measured:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:Measured">Measured</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-166" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:Measured:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:measure">measure</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v <a href="#v:measure" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:Monoid:8" class="instance expander" onclick="toggleSection('i:id:IntervalMap:Monoid:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-195" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:Monoid:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a] -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:HasUnion:9" class="instance expander" onclick="toggleSection('i:id:IntervalMap:HasUnion:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/libghc-reducers-doc/html/Data-Semigroup-Union.html#t:HasUnion">HasUnion</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-175" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc"><p><em>O(m log (n</em>/<em>m))</em>. Merge two interval maps.
The map may contain duplicate intervals; entries with equal intervals
are kept in the original order.</p></td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:HasUnion:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:union">union</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="#v:union" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntervalMap:HasUnion0:10" class="instance expander" onclick="toggleSection('i:id:IntervalMap:HasUnion0:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/libghc-reducers-doc/html/Data-Semigroup-Union.html#t:HasUnion0">HasUnion0</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-192" class="link">Source</a> <a href="#t:IntervalMap" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntervalMap:HasUnion0:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:empty">empty</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="#v:empty" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:singleton" class="def">singleton</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v -> a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="src/Text-Trifecta-Util-IntervalMap.html#singleton" class="link">Source</a> <a href="#v:singleton" class="selflink">#</a></p><div class="doc"><p><em>O(1)</em>. Interval map with a single entry.</p></div></div><div class="top"><p class="src"><a id="v:insert" class="def">insert</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> v -> a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="src/Text-Trifecta-Util-IntervalMap.html#insert" class="link">Source</a> <a href="#v:insert" class="selflink">#</a></p><div class="doc"><p><em>O(log n)</em>. Insert an interval into a map.
The map may contain duplicate intervals; the new entry will be inserted
before any existing entries for the same interval.</p></div></div><h1 id="g:3">Searching</h1><div class="top"><p class="src"><a id="v:search" class="def">search</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [(<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v, a)] <a href="src/Text-Trifecta-Util-IntervalMap.html#search" class="link">Source</a> <a href="#v:search" class="selflink">#</a></p><div class="doc"><p><em>O(k log (n</em>/<em>k))</em>. All intervals that contain the given point,
in lexicographical order.</p></div></div><div class="top"><p class="src"><a id="v:intersections" class="def">intersections</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [(<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v, a)] <a href="src/Text-Trifecta-Util-IntervalMap.html#intersections" class="link">Source</a> <a href="#v:intersections" class="selflink">#</a></p><div class="doc"><p><em>O(k log (n</em>/<em>k))</em>. All intervals that intersect with the given
interval, in lexicographical order.</p></div></div><div class="top"><p class="src"><a id="v:dominators" class="def">dominators</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => v -> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> [(<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v, a)] <a href="src/Text-Trifecta-Util-IntervalMap.html#dominators" class="link">Source</a> <a href="#v:dominators" class="selflink">#</a></p><div class="doc"><p><em>O(k log (n</em>/<em>k))</em>. All intervals that contain the given interval,
in lexicographical order.</p></div></div><h1 id="g:4">Prepending an offset onto every interval in the map</h1><div class="top"><p class="src"><a id="v:offset" class="def">offset</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> v) => v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="src/Text-Trifecta-Util-IntervalMap.html#offset" class="link">Source</a> <a href="#v:offset" class="selflink">#</a></p><div class="doc"><p><em>O(n)</em>. Add a delta to each interval in the map</p></div></div><h1 id="g:5">The result monoid</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:IntInterval" class="def">IntInterval</a> v <a href="src/Text-Trifecta-Util-IntervalMap.html#IntInterval" class="link">Source</a> <a href="#t:IntInterval" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:NoInterval" class="def">NoInterval</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:IntInterval" class="def">IntInterval</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:Interval">Interval</a> v) v</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IntInterval" class="caption collapser" onclick="toggleSection('i:IntInterval')">Instances</p><div id="section.i:IntInterval" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntInterval:Monoid:1" class="instance expander" onclick="toggleSection('i:id:IntInterval:Monoid:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-130" class="link">Source</a> <a href="#t:IntInterval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntInterval:Monoid:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v] -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IntInterval:Measured:2" class="instance expander" onclick="toggleSection('i:id:IntInterval:Measured:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => <a href="file:///usr/share/doc/libghc-fingertree-doc/html/Data-FingerTree.html#t:Measured">Measured</a> (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v) (<a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a)</span> <a href="src/Text-Trifecta-Util-IntervalMap.html#line-166" class="link">Source</a> <a href="#t:IntInterval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IntInterval:Measured:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:measure">measure</a> :: <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntInterval">IntInterval</a> v <a href="#v:measure" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:fromList" class="def">fromList</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> v => [(v, v, a)] -> <a href="Text-Trifecta-Util-IntervalMap.html#t:IntervalMap">IntervalMap</a> v a <a href="src/Text-Trifecta-Util-IntervalMap.html#fromList" class="link">Source</a> <a href="#v:fromList" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|