{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE Safe #-}
module Data.RangeSet.IntMap (
RIntSet
, (\\)
, null
, isFull
, size
, member
, notMember
, lookupLT
, lookupGT
, lookupLE
, lookupGE
, containsRange
, isSubsetOf
, valid
, empty
, full
, singleton
, singletonRange
, insert
, insertRange
, delete
, deleteRange
, union
, difference
, intersection
, split
, splitMember
, findMin
, findMax
, complement
, elems
, toList
, fromList
, fromAscList
, toAscList
, toRangeList
, fromRangeList
, fromRList
, toRList
, fromNormalizedRangeList
) where
import Prelude hiding (filter, foldl, foldr, map, null)
import Control.DeepSeq (NFData (..))
import qualified Data.Foldable as Fold
import Data.Functor ((<$>))
import qualified Data.IntMap.Strict as Map
import Data.Monoid (Monoid (..), getSum)
import Data.Semigroup (Semigroup (..))
import Data.Typeable (Typeable)
import Data.RangeSet.Internal
import qualified Data.RangeSet.List as RList
newtype RIntSet = RSet (Map.IntMap Int)
deriving (RIntSet -> RIntSet -> Bool
(RIntSet -> RIntSet -> Bool)
-> (RIntSet -> RIntSet -> Bool) -> Eq RIntSet
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: RIntSet -> RIntSet -> Bool
== :: RIntSet -> RIntSet -> Bool
$c/= :: RIntSet -> RIntSet -> Bool
/= :: RIntSet -> RIntSet -> Bool
Eq, Eq RIntSet
Eq RIntSet =>
(RIntSet -> RIntSet -> Ordering)
-> (RIntSet -> RIntSet -> Bool)
-> (RIntSet -> RIntSet -> Bool)
-> (RIntSet -> RIntSet -> Bool)
-> (RIntSet -> RIntSet -> Bool)
-> (RIntSet -> RIntSet -> RIntSet)
-> (RIntSet -> RIntSet -> RIntSet)
-> Ord RIntSet
RIntSet -> RIntSet -> Bool
RIntSet -> RIntSet -> Ordering
RIntSet -> RIntSet -> RIntSet
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: RIntSet -> RIntSet -> Ordering
compare :: RIntSet -> RIntSet -> Ordering
$c< :: RIntSet -> RIntSet -> Bool
< :: RIntSet -> RIntSet -> Bool
$c<= :: RIntSet -> RIntSet -> Bool
<= :: RIntSet -> RIntSet -> Bool
$c> :: RIntSet -> RIntSet -> Bool
> :: RIntSet -> RIntSet -> Bool
$c>= :: RIntSet -> RIntSet -> Bool
>= :: RIntSet -> RIntSet -> Bool
$cmax :: RIntSet -> RIntSet -> RIntSet
max :: RIntSet -> RIntSet -> RIntSet
$cmin :: RIntSet -> RIntSet -> RIntSet
min :: RIntSet -> RIntSet -> RIntSet
Ord, Typeable)
instance Show RIntSet where
showsPrec :: Int -> RIntSet -> ShowS
showsPrec Int
d RIntSet
x = Bool -> ShowS -> ShowS
showParen (Int
d Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
10)
(ShowS -> ShowS) -> ShowS -> ShowS
forall a b. (a -> b) -> a -> b
$ String -> ShowS
showString String
"fromRangeList "
ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> [(Int, Int)] -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11 (RIntSet -> [(Int, Int)]
toRangeList RIntSet
x)
instance Semigroup RIntSet where
<> :: RIntSet -> RIntSet -> RIntSet
(<>) = RIntSet -> RIntSet -> RIntSet
union
instance Monoid RIntSet where
mempty :: RIntSet
mempty = RIntSet
empty
mappend :: RIntSet -> RIntSet -> RIntSet
mappend = RIntSet -> RIntSet -> RIntSet
union
instance NFData RIntSet where
rnf :: RIntSet -> ()
rnf (RSet IntMap Int
xs) = IntMap Int -> ()
forall a. NFData a => a -> ()
rnf IntMap Int
xs
infixl 9 \\
(\\) :: RIntSet -> RIntSet -> RIntSet
RIntSet
m1 \\ :: RIntSet -> RIntSet -> RIntSet
\\ RIntSet
m2 = RIntSet -> RIntSet -> RIntSet
difference RIntSet
m1 RIntSet
m2
null :: RIntSet -> Bool
null :: RIntSet -> Bool
null (RSet IntMap Int
m) = IntMap Int -> Bool
forall a. IntMap a -> Bool
Map.null IntMap Int
m
isFull :: RIntSet -> Bool
isFull :: RIntSet -> Bool
isFull = RIntSet -> RIntSet -> Bool
forall a. Eq a => a -> a -> Bool
(==) RIntSet
full
size :: RIntSet -> Int
size :: RIntSet -> Int
size (RSet IntMap Int
xm) = Sum Int -> Int
forall a. Sum a -> a
getSum (Sum Int -> Int) -> Sum Int -> Int
forall a b. (a -> b) -> a -> b
$ (Int -> Int -> Sum Int) -> IntMap Int -> Sum Int
forall m a. Monoid m => (Int -> a -> m) -> IntMap a -> m
Map.foldMapWithKey Int -> Int -> Sum Int
forall a. Enum a => a -> a -> Sum Int
rangeSize IntMap Int
xm
contains' :: Int -> Int -> RIntSet -> Bool
contains' :: Int -> Int -> RIntSet -> Bool
contains' Int
x Int
y (RSet IntMap Int
xm) = ((Int, Int) -> Bool) -> Maybe (Int, Int) -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
Fold.any ((Int
y Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<=) (Int -> Bool) -> ((Int, Int) -> Int) -> (Int, Int) -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Int, Int) -> Int
forall a b. (a, b) -> b
snd) (Maybe (Int, Int) -> Bool) -> Maybe (Int, Int) -> Bool
forall a b. (a -> b) -> a -> b
$ Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupLE Int
x IntMap Int
xm
member :: Int -> RIntSet -> Bool
member :: Int -> RIntSet -> Bool
member Int
x = Int -> Int -> RIntSet -> Bool
contains' Int
x Int
x
notMember :: Int -> RIntSet -> Bool
notMember :: Int -> RIntSet -> Bool
notMember Int
a RIntSet
r = Bool -> Bool
not (Bool -> Bool) -> Bool -> Bool
forall a b. (a -> b) -> a -> b
$ Int -> RIntSet -> Bool
member Int
a RIntSet
r
lookupLT :: Int -> RIntSet -> Maybe Int
lookupLT :: Int -> RIntSet -> Maybe Int
lookupLT Int
x (RSet IntMap Int
xm) = Int -> Int -> Int
forall a. Ord a => a -> a -> a
min (Int -> Int
forall a. Enum a => a -> a
pred Int
x) (Int -> Int) -> ((Int, Int) -> Int) -> (Int, Int) -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Int, Int) -> Int
forall a b. (a, b) -> b
snd ((Int, Int) -> Int) -> Maybe (Int, Int) -> Maybe Int
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupLT Int
x IntMap Int
xm
lookupGT :: Int -> RIntSet -> Maybe Int
lookupGT :: Int -> RIntSet -> Maybe Int
lookupGT Int
x (RSet IntMap Int
xm)
| Just (Int
_, Int
b) <- Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupLE Int
x IntMap Int
xm, Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
b = Int -> Maybe Int
forall a. a -> Maybe a
Just (Int -> Int
forall a. Enum a => a -> a
succ Int
x)
| Bool
otherwise = (Int, Int) -> Int
forall a b. (a, b) -> a
fst ((Int, Int) -> Int) -> Maybe (Int, Int) -> Maybe Int
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupGT Int
x IntMap Int
xm
lookupLE :: Int -> RIntSet -> Maybe Int
lookupLE :: Int -> RIntSet -> Maybe Int
lookupLE Int
x (RSet IntMap Int
xm) = Int -> Int -> Int
forall a. Ord a => a -> a -> a
min Int
x (Int -> Int) -> ((Int, Int) -> Int) -> (Int, Int) -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Int, Int) -> Int
forall a b. (a, b) -> b
snd ((Int, Int) -> Int) -> Maybe (Int, Int) -> Maybe Int
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupLE Int
x IntMap Int
xm
lookupGE :: Int -> RIntSet -> Maybe Int
lookupGE :: Int -> RIntSet -> Maybe Int
lookupGE Int
x (RSet IntMap Int
xm)
| Just (Int
_, Int
b) <- Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupLE Int
x IntMap Int
xm, Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
b = Int -> Maybe Int
forall a. a -> Maybe a
Just Int
x
| Bool
otherwise = (Int, Int) -> Int
forall a b. (a, b) -> a
fst ((Int, Int) -> Int) -> Maybe (Int, Int) -> Maybe Int
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> IntMap Int -> Maybe (Int, Int)
forall a. Int -> IntMap a -> Maybe (Int, a)
Map.lookupGT Int
x IntMap Int
xm
containsRange :: (Int, Int) -> RIntSet -> Bool
containsRange :: (Int, Int) -> RIntSet -> Bool
containsRange (Int
x,Int
y) RIntSet
s
| Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
y = Int -> Int -> RIntSet -> Bool
contains' Int
x Int
y RIntSet
s
| Bool
otherwise = Bool
True
isSubsetOf :: RIntSet -> RIntSet -> Bool
isSubsetOf :: RIntSet -> RIntSet -> Bool
isSubsetOf RIntSet
x RIntSet
y = [(Int, Int)] -> [(Int, Int)] -> Bool
forall a. Ord a => [(a, a)] -> [(a, a)] -> Bool
isSubsetRangeList (RIntSet -> [(Int, Int)]
toRangeList RIntSet
x) (RIntSet -> [(Int, Int)]
toRangeList RIntSet
y)
empty :: RIntSet
empty :: RIntSet
empty = IntMap Int -> RIntSet
RSet IntMap Int
forall a. IntMap a
Map.empty
full :: RIntSet
full :: RIntSet
full = Int -> Int -> RIntSet
singletonRange' Int
forall a. Bounded a => a
minBound Int
forall a. Bounded a => a
maxBound
singletonRange' :: Int -> Int -> RIntSet
singletonRange' :: Int -> Int -> RIntSet
singletonRange' Int
x Int
y = IntMap Int -> RIntSet
RSet (IntMap Int -> RIntSet) -> IntMap Int -> RIntSet
forall a b. (a -> b) -> a -> b
$ Int -> Int -> IntMap Int
forall a. Int -> a -> IntMap a
Map.singleton Int
x Int
y
singleton :: Int -> RIntSet
singleton :: Int -> RIntSet
singleton Int
x = Int -> Int -> RIntSet
singletonRange' Int
x Int
x
singletonRange :: (Int, Int) -> RIntSet
singletonRange :: (Int, Int) -> RIntSet
singletonRange (Int
x, Int
y) | Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
y = RIntSet
empty
| Bool
otherwise = Int -> Int -> RIntSet
singletonRange' Int
x Int
y
insertRange' :: Int -> Int -> RIntSet -> RIntSet
insertRange' :: Int -> Int -> RIntSet -> RIntSet
insertRange' Int
x Int
y RIntSet
s = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet) -> [(Int, Int)] -> RIntSet
forall a b. (a -> b) -> a -> b
$ Int -> Int -> [(Int, Int)] -> [(Int, Int)]
forall a. (Ord a, Enum a) => a -> a -> [(a, a)] -> [(a, a)]
insertRangeList Int
x Int
y ([(Int, Int)] -> [(Int, Int)]) -> [(Int, Int)] -> [(Int, Int)]
forall a b. (a -> b) -> a -> b
$ RIntSet -> [(Int, Int)]
toRangeList RIntSet
s
insert :: Int -> RIntSet -> RIntSet
insert :: Int -> RIntSet -> RIntSet
insert Int
x = Int -> Int -> RIntSet -> RIntSet
insertRange' Int
x Int
x
insertRange :: (Int, Int) -> RIntSet -> RIntSet
insertRange :: (Int, Int) -> RIntSet -> RIntSet
insertRange (Int
x, Int
y) RIntSet
set
| Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
y = RIntSet
set
| Bool
otherwise = Int -> Int -> RIntSet -> RIntSet
insertRange' Int
x Int
y RIntSet
set
deleteRange' :: Int -> Int -> RIntSet -> RIntSet
deleteRange' :: Int -> Int -> RIntSet -> RIntSet
deleteRange' Int
x Int
y RIntSet
s = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet) -> [(Int, Int)] -> RIntSet
forall a b. (a -> b) -> a -> b
$ Int -> Int -> [(Int, Int)] -> [(Int, Int)]
forall a. (Ord a, Enum a) => a -> a -> [(a, a)] -> [(a, a)]
deleteRangeList Int
x Int
y ([(Int, Int)] -> [(Int, Int)]) -> [(Int, Int)] -> [(Int, Int)]
forall a b. (a -> b) -> a -> b
$ RIntSet -> [(Int, Int)]
toRangeList RIntSet
s
delete :: Int -> RIntSet -> RIntSet
delete :: Int -> RIntSet -> RIntSet
delete Int
x = Int -> Int -> RIntSet -> RIntSet
deleteRange' Int
x Int
x
deleteRange :: (Int, Int) -> RIntSet -> RIntSet
deleteRange :: (Int, Int) -> RIntSet -> RIntSet
deleteRange (Int
x, Int
y) RIntSet
set
| Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
y = RIntSet
set
| Bool
otherwise = Int -> Int -> RIntSet -> RIntSet
deleteRange' Int
x Int
y RIntSet
set
union :: RIntSet -> RIntSet -> RIntSet
union :: RIntSet -> RIntSet -> RIntSet
union RIntSet
x RIntSet
y = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet) -> [(Int, Int)] -> RIntSet
forall a b. (a -> b) -> a -> b
$ [(Int, Int)] -> [(Int, Int)] -> [(Int, Int)]
forall a. (Ord a, Enum a) => [(a, a)] -> [(a, a)] -> [(a, a)]
unionRangeList (RIntSet -> [(Int, Int)]
toRangeList RIntSet
x) (RIntSet -> [(Int, Int)]
toRangeList RIntSet
y)
difference :: RIntSet -> RIntSet -> RIntSet
difference :: RIntSet -> RIntSet -> RIntSet
difference RIntSet
x RIntSet
y = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet) -> [(Int, Int)] -> RIntSet
forall a b. (a -> b) -> a -> b
$ [(Int, Int)] -> [(Int, Int)] -> [(Int, Int)]
forall a. (Ord a, Enum a) => [(a, a)] -> [(a, a)] -> [(a, a)]
differenceRangeList (RIntSet -> [(Int, Int)]
toRangeList RIntSet
x) (RIntSet -> [(Int, Int)]
toRangeList RIntSet
y)
intersection :: RIntSet -> RIntSet -> RIntSet
intersection :: RIntSet -> RIntSet -> RIntSet
intersection RIntSet
x RIntSet
y = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet) -> [(Int, Int)] -> RIntSet
forall a b. (a -> b) -> a -> b
$ [(Int, Int)] -> [(Int, Int)] -> [(Int, Int)]
forall a. Ord a => [(a, a)] -> [(a, a)] -> [(a, a)]
intersectRangeList (RIntSet -> [(Int, Int)]
toRangeList RIntSet
x) (RIntSet -> [(Int, Int)]
toRangeList RIntSet
y)
complement :: RIntSet -> RIntSet
complement :: RIntSet -> RIntSet
complement = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet)
-> (RIntSet -> [(Int, Int)]) -> RIntSet -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Int, Int)] -> [(Int, Int)]
forall a. (Ord a, Enum a, Bounded a) => [(a, a)] -> [(a, a)]
complementRangeList ([(Int, Int)] -> [(Int, Int)])
-> (RIntSet -> [(Int, Int)]) -> RIntSet -> [(Int, Int)]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. RIntSet -> [(Int, Int)]
toRangeList
split :: Int -> RIntSet -> (RIntSet, RIntSet)
split :: Int -> RIntSet -> (RIntSet, RIntSet)
split Int
x RIntSet
s = (RIntSet
l, RIntSet
r) where (RIntSet
l, Bool
_, RIntSet
r) = Int -> RIntSet -> (RIntSet, Bool, RIntSet)
splitMember Int
x RIntSet
s
splitMember :: Int -> RIntSet -> (RIntSet, Bool, RIntSet)
splitMember :: Int -> RIntSet -> (RIntSet, Bool, RIntSet)
splitMember Int
x (RSet IntMap Int
xm)
| Just Int
y <- Maybe Int
xv = (IntMap Int -> RIntSet
RSet IntMap Int
ml, Bool
True, IntMap Int -> RIntSet
RSet (IntMap Int -> RIntSet) -> IntMap Int -> RIntSet
forall a b. (a -> b) -> a -> b
$ Bool -> Int -> Int -> IntMap Int -> IntMap Int
forall {a}. Bool -> Int -> a -> IntMap a -> IntMap a
insertIf (Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
y) (Int -> Int
forall a. Enum a => a -> a
succ Int
x) Int
y IntMap Int
mr)
| Just ((Int
u,Int
v), IntMap Int
ml') <- IntMap Int -> Maybe ((Int, Int), IntMap Int)
forall a. IntMap a -> Maybe ((Int, a), IntMap a)
Map.maxViewWithKey IntMap Int
ml =
if Int
v Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
x
then (IntMap Int -> RIntSet
RSet IntMap Int
ml, Bool
False, IntMap Int -> RIntSet
RSet IntMap Int
mr)
else (IntMap Int -> RIntSet
RSet (IntMap Int -> RIntSet) -> IntMap Int -> RIntSet
forall a b. (a -> b) -> a -> b
$ Bool -> Int -> Int -> IntMap Int -> IntMap Int
forall {a}. Bool -> Int -> a -> IntMap a -> IntMap a
insertIf (Int
u Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
x) Int
u (Int -> Int
forall a. Enum a => a -> a
pred Int
x) IntMap Int
ml', Bool
True, IntMap Int -> RIntSet
RSet (IntMap Int -> RIntSet) -> IntMap Int -> RIntSet
forall a b. (a -> b) -> a -> b
$ Bool -> Int -> Int -> IntMap Int -> IntMap Int
forall {a}. Bool -> Int -> a -> IntMap a -> IntMap a
insertIf (Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
v) (Int -> Int
forall a. Enum a => a -> a
succ Int
x) Int
v IntMap Int
mr)
| Bool
otherwise = (IntMap Int -> RIntSet
RSet IntMap Int
ml , Bool
False, IntMap Int -> RIntSet
RSet IntMap Int
xm)
where
(IntMap Int
ml, Maybe Int
xv, IntMap Int
mr) = Int -> IntMap Int -> (IntMap Int, Maybe Int, IntMap Int)
forall a. Int -> IntMap a -> (IntMap a, Maybe a, IntMap a)
Map.splitLookup Int
x IntMap Int
xm
insertIf :: Bool -> Int -> a -> IntMap a -> IntMap a
insertIf Bool
False Int
_ a
_ = IntMap a -> IntMap a
forall a. a -> a
id
insertIf Bool
True Int
a a
b = Int -> a -> IntMap a -> IntMap a
forall a. Int -> a -> IntMap a -> IntMap a
Map.insert Int
a a
b
findMin :: RIntSet -> Int
findMin :: RIntSet -> Int
findMin (RSet IntMap Int
m) = (Int, Int) -> Int
forall a b. (a, b) -> a
fst ((Int, Int) -> Int) -> (Int, Int) -> Int
forall a b. (a -> b) -> a -> b
$ IntMap Int -> (Int, Int)
forall a. IntMap a -> (Int, a)
Map.findMin IntMap Int
m
findMax :: RIntSet -> Int
findMax :: RIntSet -> Int
findMax (RSet IntMap Int
m) = (Int, Int) -> Int
forall a b. (a, b) -> b
snd ((Int, Int) -> Int) -> (Int, Int) -> Int
forall a b. (a -> b) -> a -> b
$ IntMap Int -> (Int, Int)
forall a. IntMap a -> (Int, a)
Map.findMax IntMap Int
m
unRangeList :: [(Int, Int)] -> RIntSet
unRangeList :: [(Int, Int)] -> RIntSet
unRangeList = IntMap Int -> RIntSet
RSet (IntMap Int -> RIntSet)
-> ([(Int, Int)] -> IntMap Int) -> [(Int, Int)] -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Int, Int)] -> IntMap Int
forall a. [(Int, a)] -> IntMap a
Map.fromDistinctAscList
elems :: RIntSet -> [Int]
elems :: RIntSet -> [Int]
elems = RIntSet -> [Int]
toAscList
toList :: RIntSet -> [Int]
toList :: RIntSet -> [Int]
toList (RSet IntMap Int
xm) = (Int -> Int -> [Int]) -> IntMap Int -> [Int]
forall m a. Monoid m => (Int -> a -> m) -> IntMap a -> m
Map.foldMapWithKey Int -> Int -> [Int]
forall a. Enum a => a -> a -> [a]
enumFromTo IntMap Int
xm
fromList :: [Int] -> RIntSet
fromList :: [Int] -> RIntSet
fromList = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet)
-> ([Int] -> [(Int, Int)]) -> [Int] -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Int] -> [(Int, Int)]
forall a. (Ord a, Enum a) => [a] -> [(a, a)]
fromElemList
fromAscList :: [Int] -> RIntSet
fromAscList :: [Int] -> RIntSet
fromAscList = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet)
-> ([Int] -> [(Int, Int)]) -> [Int] -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Int] -> [(Int, Int)]
forall a. (Eq a, Enum a) => [a] -> [(a, a)]
fromAscElemList
toAscList :: RIntSet -> [Int]
toAscList :: RIntSet -> [Int]
toAscList (RSet IntMap Int
xm) = (Int -> Int -> [Int] -> [Int]) -> [Int] -> IntMap Int -> [Int]
forall a b. (Int -> a -> b -> b) -> b -> IntMap a -> b
Map.foldrWithKey (\Int
a -> [Int] -> [Int] -> [Int]
forall a. [a] -> [a] -> [a]
(++) ([Int] -> [Int] -> [Int])
-> (Int -> [Int]) -> Int -> [Int] -> [Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Int -> [Int]
forall a. Enum a => a -> a -> [a]
enumFromTo Int
a) [] IntMap Int
xm
toRangeList :: RIntSet -> [(Int, Int)]
toRangeList :: RIntSet -> [(Int, Int)]
toRangeList (RSet IntMap Int
xs) = IntMap Int -> [(Int, Int)]
forall a. IntMap a -> [(Int, a)]
Map.toAscList IntMap Int
xs
fromRangeList :: [(Int, Int)] -> RIntSet
fromRangeList :: [(Int, Int)] -> RIntSet
fromRangeList = [(Int, Int)] -> RIntSet
unRangeList ([(Int, Int)] -> RIntSet)
-> ([(Int, Int)] -> [(Int, Int)]) -> [(Int, Int)] -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Int, Int)] -> [(Int, Int)]
forall a. (Ord a, Enum a) => [(a, a)] -> [(a, a)]
normalizeRangeList
fromRList :: RList.RSet Int -> RIntSet
fromRList :: RSet Int -> RIntSet
fromRList = [(Int, Int)] -> RIntSet
fromNormalizedRangeList ([(Int, Int)] -> RIntSet)
-> (RSet Int -> [(Int, Int)]) -> RSet Int -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. RSet Int -> [(Int, Int)]
forall a. RSet a -> [(a, a)]
RList.toRangeList
toRList :: RIntSet -> RList.RSet Int
toRList :: RIntSet -> RSet Int
toRList = [(Int, Int)] -> RSet Int
forall a. [(a, a)] -> RSet a
RList.fromNormalizedRangeList ([(Int, Int)] -> RSet Int)
-> (RIntSet -> [(Int, Int)]) -> RIntSet -> RSet Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. RIntSet -> [(Int, Int)]
toRangeList
fromNormalizedRangeList :: [(Int, Int)] -> RIntSet
fromNormalizedRangeList :: [(Int, Int)] -> RIntSet
fromNormalizedRangeList = IntMap Int -> RIntSet
RSet (IntMap Int -> RIntSet)
-> ([(Int, Int)] -> IntMap Int) -> [(Int, Int)] -> RIntSet
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Int, Int)] -> IntMap Int
forall a. [(Int, a)] -> IntMap a
Map.fromDistinctAscList
valid :: RIntSet -> Bool
valid :: RIntSet -> Bool
valid = [(Int, Int)] -> Bool
forall a. (Ord a, Enum a, Bounded a) => [(a, a)] -> Bool
validRangeList ([(Int, Int)] -> Bool)
-> (RIntSet -> [(Int, Int)]) -> RIntSet -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. RIntSet -> [(Int, Int)]
toRangeList