{-# LANGUAGE CPP #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.PQueue.Prio.Max (
MaxPQueue,
empty,
singleton,
insert,
insertBehind,
union,
unions,
null,
size,
findMax,
getMax,
deleteMax,
deleteFindMax,
adjustMax,
adjustMaxWithKey,
updateMax,
updateMaxWithKey,
maxView,
maxViewWithKey,
map,
mapWithKey,
mapKeys,
mapKeysMonotonic,
foldrWithKey,
foldlWithKey,
traverseWithKey,
take,
drop,
splitAt,
takeWhile,
takeWhileWithKey,
dropWhile,
dropWhileWithKey,
span,
spanWithKey,
break,
breakWithKey,
filter,
filterWithKey,
partition,
partitionWithKey,
mapMaybe,
mapMaybeWithKey,
mapEither,
mapEitherWithKey,
fromList,
fromAscList,
fromDescList,
keys,
elems,
assocs,
toAscList,
toDescList,
toList,
foldrU,
foldrWithKeyU,
foldlU,
foldlWithKeyU,
traverseU,
traverseWithKeyU,
keysU,
elemsU,
assocsU,
toListU,
seqSpine
)
where
import Data.Maybe (fromMaybe)
import Data.PQueue.Prio.Max.Internals
#if MIN_VERSION_base(4,9,0)
import Data.Semigroup (Semigroup((<>)))
#endif
import Prelude hiding (map, filter, break, span, takeWhile, dropWhile, splitAt, take, drop, (!!), null)
import qualified Data.PQueue.Prio.Min as Q
#ifdef __GLASGOW_HASKELL__
import Text.Read (Lexeme(Ident), lexP, parens, prec,
readPrec, readListPrec, readListPrecDefault)
#else
build :: ((a -> [a] -> [a]) -> [a] -> [a]) -> [a]
build f = f (:) []
#endif
first' :: (a -> b) -> (a, c) -> (b, c)
first' :: (a -> b) -> (a, c) -> (b, c)
first' a -> b
f (a
a, c
c) = (a -> b
f a
a, c
c)
#if MIN_VERSION_base(4,9,0)
instance Ord k => Semigroup (MaxPQueue k a) where
<> :: MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
(<>) = MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
forall k a.
Ord k =>
MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
union
#endif
instance Ord k => Monoid (MaxPQueue k a) where
mempty :: MaxPQueue k a
mempty = MaxPQueue k a
forall k a. MaxPQueue k a
empty
mappend :: MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
mappend = MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
forall k a.
Ord k =>
MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
union
mconcat :: [MaxPQueue k a] -> MaxPQueue k a
mconcat = [MaxPQueue k a] -> MaxPQueue k a
forall k a. Ord k => [MaxPQueue k a] -> MaxPQueue k a
unions
instance (Ord k, Show k, Show a) => Show (MaxPQueue k a) where
showsPrec :: Int -> MaxPQueue k a -> ShowS
showsPrec Int
p MaxPQueue k a
xs = Bool -> ShowS -> ShowS
showParen (Int
p 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
"fromDescList " ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(k, a)] -> ShowS
forall a. Show a => a -> ShowS
shows (MaxPQueue k a -> [(k, a)]
forall k a. Ord k => MaxPQueue k a -> [(k, a)]
toDescList MaxPQueue k a
xs)
instance (Read k, Read a) => Read (MaxPQueue k a) where
#ifdef __GLASGOW_HASKELL__
readPrec :: ReadPrec (MaxPQueue k a)
readPrec = ReadPrec (MaxPQueue k a) -> ReadPrec (MaxPQueue k a)
forall a. ReadPrec a -> ReadPrec a
parens (ReadPrec (MaxPQueue k a) -> ReadPrec (MaxPQueue k a))
-> ReadPrec (MaxPQueue k a) -> ReadPrec (MaxPQueue k a)
forall a b. (a -> b) -> a -> b
$ Int -> ReadPrec (MaxPQueue k a) -> ReadPrec (MaxPQueue k a)
forall a. Int -> ReadPrec a -> ReadPrec a
prec Int
10 (ReadPrec (MaxPQueue k a) -> ReadPrec (MaxPQueue k a))
-> ReadPrec (MaxPQueue k a) -> ReadPrec (MaxPQueue k a)
forall a b. (a -> b) -> a -> b
$ do
Ident String
"fromDescList" <- ReadPrec Lexeme
lexP
[(k, a)]
xs <- ReadPrec [(k, a)]
forall a. Read a => ReadPrec a
readPrec
MaxPQueue k a -> ReadPrec (MaxPQueue k a)
forall (m :: * -> *) a. Monad m => a -> m a
return ([(k, a)] -> MaxPQueue k a
forall k a. [(k, a)] -> MaxPQueue k a
fromDescList [(k, a)]
xs)
readListPrec :: ReadPrec [MaxPQueue k a]
readListPrec = ReadPrec [MaxPQueue k a]
forall a. Read a => ReadPrec [a]
readListPrecDefault
#else
readsPrec p = readParen (p > 10) $ \r -> do
("fromDescList",s) <- lex r
(xs,t) <- reads s
return (fromDescList xs,t)
#endif
instance Functor (MaxPQueue k) where
fmap :: (a -> b) -> MaxPQueue k a -> MaxPQueue k b
fmap a -> b
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((a -> b) -> MinPQueue (Down k) a -> MinPQueue (Down k) b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap a -> b
f MinPQueue (Down k) a
q)
instance Ord k => Foldable (MaxPQueue k) where
foldr :: (a -> b -> b) -> b -> MaxPQueue k a -> b
foldr a -> b -> b
f b
z (MaxPQ MinPQueue (Down k) a
q) = (a -> b -> b) -> b -> MinPQueue (Down k) a -> b
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr a -> b -> b
f b
z MinPQueue (Down k) a
q
foldl :: (b -> a -> b) -> b -> MaxPQueue k a -> b
foldl b -> a -> b
f b
z (MaxPQ MinPQueue (Down k) a
q) = (b -> a -> b) -> b -> MinPQueue (Down k) a -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl b -> a -> b
f b
z MinPQueue (Down k) a
q
instance Ord k => Traversable (MaxPQueue k) where
traverse :: (a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverse a -> f b
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) b -> MaxPQueue k b)
-> f (MinPQueue (Down k) b) -> f (MaxPQueue k b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (a -> f b) -> MinPQueue (Down k) a -> f (MinPQueue (Down k) b)
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse a -> f b
f MinPQueue (Down k) a
q
empty :: MaxPQueue k a
empty :: MaxPQueue k a
empty = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
forall k a. MinPQueue k a
Q.empty
singleton :: k -> a -> MaxPQueue k a
singleton :: k -> a -> MaxPQueue k a
singleton k
k a
a = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (Down k -> a -> MinPQueue (Down k) a
forall k a. k -> a -> MinPQueue k a
Q.singleton (k -> Down k
forall a. a -> Down a
Down k
k) a
a)
insert :: Ord k => k -> a -> MaxPQueue k a -> MaxPQueue k a
insert :: k -> a -> MaxPQueue k a -> MaxPQueue k a
insert k
k a
a (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (Down k -> a -> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a. Ord k => k -> a -> MinPQueue k a -> MinPQueue k a
Q.insert (k -> Down k
forall a. a -> Down a
Down k
k) a
a MinPQueue (Down k) a
q)
insertBehind :: Ord k => k -> a -> MaxPQueue k a -> MaxPQueue k a
insertBehind :: k -> a -> MaxPQueue k a -> MaxPQueue k a
insertBehind k
k a
a (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (Down k -> a -> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a. Ord k => k -> a -> MinPQueue k a -> MinPQueue k a
Q.insertBehind (k -> Down k
forall a. a -> Down a
Down k
k) a
a MinPQueue (Down k) a
q)
union :: Ord k => MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q1 union :: MaxPQueue k a -> MaxPQueue k a -> MaxPQueue k a
`union` MaxPQ MinPQueue (Down k) a
q2 = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) a
q1 MinPQueue (Down k) a
-> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a.
Ord k =>
MinPQueue k a -> MinPQueue k a -> MinPQueue k a
`Q.union` MinPQueue (Down k) a
q2)
unions :: Ord k => [MaxPQueue k a] -> MaxPQueue k a
unions :: [MaxPQueue k a] -> MaxPQueue k a
unions [MaxPQueue k a]
qs = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ([MinPQueue (Down k) a] -> MinPQueue (Down k) a
forall k a. Ord k => [MinPQueue k a] -> MinPQueue k a
Q.unions [MinPQueue (Down k) a
q | MaxPQ MinPQueue (Down k) a
q <- [MaxPQueue k a]
qs])
null :: MaxPQueue k a -> Bool
null :: MaxPQueue k a -> Bool
null (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> Bool
forall k a. MinPQueue k a -> Bool
Q.null MinPQueue (Down k) a
q
size :: MaxPQueue k a -> Int
size :: MaxPQueue k a -> Int
size (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> Int
forall k a. MinPQueue k a -> Int
Q.size MinPQueue (Down k) a
q
findMax :: MaxPQueue k a -> (k, a)
findMax :: MaxPQueue k a -> (k, a)
findMax = (k, a) -> Maybe (k, a) -> (k, a)
forall a. a -> Maybe a -> a
fromMaybe (String -> (k, a)
forall a. HasCallStack => String -> a
error String
"Error: findMax called on an empty queue") (Maybe (k, a) -> (k, a))
-> (MaxPQueue k a -> Maybe (k, a)) -> MaxPQueue k a -> (k, a)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MaxPQueue k a -> Maybe (k, a)
forall k a. MaxPQueue k a -> Maybe (k, a)
getMax
getMax :: MaxPQueue k a -> Maybe (k, a)
getMax :: MaxPQueue k a -> Maybe (k, a)
getMax (MaxPQ MinPQueue (Down k) a
q) = do
(Down k
k, a
a) <- MinPQueue (Down k) a -> Maybe (Down k, a)
forall k a. MinPQueue k a -> Maybe (k, a)
Q.getMin MinPQueue (Down k) a
q
(k, a) -> Maybe (k, a)
forall (m :: * -> *) a. Monad m => a -> m a
return (k
k, a
a)
deleteMax :: Ord k => MaxPQueue k a -> MaxPQueue k a
deleteMax :: MaxPQueue k a -> MaxPQueue k a
deleteMax (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a. Ord k => MinPQueue k a -> MinPQueue k a
Q.deleteMin MinPQueue (Down k) a
q)
deleteFindMax :: Ord k => MaxPQueue k a -> ((k, a), MaxPQueue k a)
deleteFindMax :: MaxPQueue k a -> ((k, a), MaxPQueue k a)
deleteFindMax = ((k, a), MaxPQueue k a)
-> Maybe ((k, a), MaxPQueue k a) -> ((k, a), MaxPQueue k a)
forall a. a -> Maybe a -> a
fromMaybe (String -> ((k, a), MaxPQueue k a)
forall a. HasCallStack => String -> a
error String
"Error: deleteFindMax called on an empty queue") (Maybe ((k, a), MaxPQueue k a) -> ((k, a), MaxPQueue k a))
-> (MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a))
-> MaxPQueue k a
-> ((k, a), MaxPQueue k a)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a)
forall k a. Ord k => MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a)
maxViewWithKey
adjustMax :: (a -> a) -> MaxPQueue k a -> MaxPQueue k a
adjustMax :: (a -> a) -> MaxPQueue k a -> MaxPQueue k a
adjustMax = (k -> a -> a) -> MaxPQueue k a -> MaxPQueue k a
forall k a. (k -> a -> a) -> MaxPQueue k a -> MaxPQueue k a
adjustMaxWithKey ((k -> a -> a) -> MaxPQueue k a -> MaxPQueue k a)
-> ((a -> a) -> k -> a -> a)
-> (a -> a)
-> MaxPQueue k a
-> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> a) -> k -> a -> a
forall a b. a -> b -> a
const
adjustMaxWithKey :: (k -> a -> a) -> MaxPQueue k a -> MaxPQueue k a
adjustMaxWithKey :: (k -> a -> a) -> MaxPQueue k a -> MaxPQueue k a
adjustMaxWithKey k -> a -> a
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> a -> a) -> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a. (k -> a -> a) -> MinPQueue k a -> MinPQueue k a
Q.adjustMinWithKey (k -> a -> a
f (k -> a -> a) -> (Down k -> k) -> Down k -> a -> a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
updateMax :: Ord k => (a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a
updateMax :: (a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a
updateMax = (k -> a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a
forall k a.
Ord k =>
(k -> a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a
updateMaxWithKey ((k -> a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a)
-> ((a -> Maybe a) -> k -> a -> Maybe a)
-> (a -> Maybe a)
-> MaxPQueue k a
-> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Maybe a) -> k -> a -> Maybe a
forall a b. a -> b -> a
const
updateMaxWithKey :: Ord k => (k -> a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a
updateMaxWithKey :: (k -> a -> Maybe a) -> MaxPQueue k a -> MaxPQueue k a
updateMaxWithKey k -> a -> Maybe a
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> a -> Maybe a)
-> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a.
Ord k =>
(k -> a -> Maybe a) -> MinPQueue k a -> MinPQueue k a
Q.updateMinWithKey (k -> a -> Maybe a
f (k -> a -> Maybe a) -> (Down k -> k) -> Down k -> a -> Maybe a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
maxView :: Ord k => MaxPQueue k a -> Maybe (a, MaxPQueue k a)
maxView :: MaxPQueue k a -> Maybe (a, MaxPQueue k a)
maxView MaxPQueue k a
q = do
((k
_, a
a), MaxPQueue k a
q') <- MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a)
forall k a. Ord k => MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a)
maxViewWithKey MaxPQueue k a
q
(a, MaxPQueue k a) -> Maybe (a, MaxPQueue k a)
forall (m :: * -> *) a. Monad m => a -> m a
return (a
a, MaxPQueue k a
q')
maxViewWithKey :: Ord k => MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a)
maxViewWithKey :: MaxPQueue k a -> Maybe ((k, a), MaxPQueue k a)
maxViewWithKey (MaxPQ MinPQueue (Down k) a
q) = do
((Down k
k, a
a), MinPQueue (Down k) a
q') <- MinPQueue (Down k) a -> Maybe ((Down k, a), MinPQueue (Down k) a)
forall k a. Ord k => MinPQueue k a -> Maybe ((k, a), MinPQueue k a)
Q.minViewWithKey MinPQueue (Down k) a
q
((k, a), MaxPQueue k a) -> Maybe ((k, a), MaxPQueue k a)
forall (m :: * -> *) a. Monad m => a -> m a
return ((k
k, a
a), MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q')
map :: (a -> b) -> MaxPQueue k a -> MaxPQueue k b
map :: (a -> b) -> MaxPQueue k a -> MaxPQueue k b
map = (k -> a -> b) -> MaxPQueue k a -> MaxPQueue k b
forall k a b. (k -> a -> b) -> MaxPQueue k a -> MaxPQueue k b
mapWithKey ((k -> a -> b) -> MaxPQueue k a -> MaxPQueue k b)
-> ((a -> b) -> k -> a -> b)
-> (a -> b)
-> MaxPQueue k a
-> MaxPQueue k b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> b) -> k -> a -> b
forall a b. a -> b -> a
const
mapWithKey :: (k -> a -> b) -> MaxPQueue k a -> MaxPQueue k b
mapWithKey :: (k -> a -> b) -> MaxPQueue k a -> MaxPQueue k b
mapWithKey k -> a -> b
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> a -> b) -> MinPQueue (Down k) a -> MinPQueue (Down k) b
forall k a b. (k -> a -> b) -> MinPQueue k a -> MinPQueue k b
Q.mapWithKey (k -> a -> b
f (k -> a -> b) -> (Down k -> k) -> Down k -> a -> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
mapKeys :: Ord k' => (k -> k') -> MaxPQueue k a -> MaxPQueue k' a
mapKeys :: (k -> k') -> MaxPQueue k a -> MaxPQueue k' a
mapKeys k -> k'
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k') a -> MaxPQueue k' a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> Down k')
-> MinPQueue (Down k) a -> MinPQueue (Down k') a
forall k' k a.
Ord k' =>
(k -> k') -> MinPQueue k a -> MinPQueue k' a
Q.mapKeys ((k -> k') -> Down k -> Down k'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap k -> k'
f) MinPQueue (Down k) a
q)
mapKeysMonotonic :: (k -> k') -> MaxPQueue k a -> MaxPQueue k' a
mapKeysMonotonic :: (k -> k') -> MaxPQueue k a -> MaxPQueue k' a
mapKeysMonotonic k -> k'
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k') a -> MaxPQueue k' a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> Down k')
-> MinPQueue (Down k) a -> MinPQueue (Down k') a
forall k k' a. (k -> k') -> MinPQueue k a -> MinPQueue k' a
Q.mapKeysMonotonic ((k -> k') -> Down k -> Down k'
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap k -> k'
f) MinPQueue (Down k) a
q)
foldrWithKey :: Ord k => (k -> a -> b -> b) -> b -> MaxPQueue k a -> b
foldrWithKey :: (k -> a -> b -> b) -> b -> MaxPQueue k a -> b
foldrWithKey k -> a -> b -> b
f b
z (MaxPQ MinPQueue (Down k) a
q) = (Down k -> a -> b -> b) -> b -> MinPQueue (Down k) a -> b
forall k a b.
Ord k =>
(k -> a -> b -> b) -> b -> MinPQueue k a -> b
Q.foldrWithKey (k -> a -> b -> b
f (k -> a -> b -> b) -> (Down k -> k) -> Down k -> a -> b -> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) b
z MinPQueue (Down k) a
q
foldlWithKey :: Ord k => (b -> k -> a -> b) -> b -> MaxPQueue k a -> b
foldlWithKey :: (b -> k -> a -> b) -> b -> MaxPQueue k a -> b
foldlWithKey b -> k -> a -> b
f b
z0 (MaxPQ MinPQueue (Down k) a
q) = (b -> Down k -> a -> b) -> b -> MinPQueue (Down k) a -> b
forall k b a.
Ord k =>
(b -> k -> a -> b) -> b -> MinPQueue k a -> b
Q.foldlWithKey (\b
z -> b -> k -> a -> b
f b
z (k -> a -> b) -> (Down k -> k) -> Down k -> a -> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) b
z0 MinPQueue (Down k) a
q
traverseWithKey :: (Ord k, Applicative f) => (k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseWithKey :: (k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseWithKey k -> a -> f b
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) b -> MaxPQueue k b)
-> f (MinPQueue (Down k) b) -> f (MaxPQueue k b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Down k -> a -> f b)
-> MinPQueue (Down k) a -> f (MinPQueue (Down k) b)
forall k (f :: * -> *) a b.
(Ord k, Applicative f) =>
(k -> a -> f b) -> MinPQueue k a -> f (MinPQueue k b)
Q.traverseWithKey (k -> a -> f b
f (k -> a -> f b) -> (Down k -> k) -> Down k -> a -> f b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q
take :: Ord k => Int -> MaxPQueue k a -> [(k, a)]
take :: Int -> MaxPQueue k a -> [(k, a)]
take Int
k (MaxPQ MinPQueue (Down k) a
q) = ((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) (Int -> MinPQueue (Down k) a -> [(Down k, a)]
forall k a. Ord k => Int -> MinPQueue k a -> [(k, a)]
Q.take Int
k MinPQueue (Down k) a
q)
drop :: Ord k => Int -> MaxPQueue k a -> MaxPQueue k a
drop :: Int -> MaxPQueue k a -> MaxPQueue k a
drop Int
k (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (Int -> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a. Ord k => Int -> MinPQueue k a -> MinPQueue k a
Q.drop Int
k MinPQueue (Down k) a
q)
splitAt :: Ord k => Int -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
splitAt :: Int -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
splitAt Int
k (MaxPQ MinPQueue (Down k) a
q) = case Int
-> MinPQueue (Down k) a -> ([(Down k, a)], MinPQueue (Down k) a)
forall k a.
Ord k =>
Int -> MinPQueue k a -> ([(k, a)], MinPQueue k a)
Q.splitAt Int
k MinPQueue (Down k) a
q of
([(Down k, a)]
xs, MinPQueue (Down k) a
q') -> (((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) [(Down k, a)]
xs, MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q')
takeWhile :: Ord k => (a -> Bool) -> MaxPQueue k a -> [(k, a)]
takeWhile :: (a -> Bool) -> MaxPQueue k a -> [(k, a)]
takeWhile = (k -> a -> Bool) -> MaxPQueue k a -> [(k, a)]
forall k a. Ord k => (k -> a -> Bool) -> MaxPQueue k a -> [(k, a)]
takeWhileWithKey ((k -> a -> Bool) -> MaxPQueue k a -> [(k, a)])
-> ((a -> Bool) -> k -> a -> Bool)
-> (a -> Bool)
-> MaxPQueue k a
-> [(k, a)]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> k -> a -> Bool
forall a b. a -> b -> a
const
takeWhileWithKey :: Ord k => (k -> a -> Bool) -> MaxPQueue k a -> [(k, a)]
takeWhileWithKey :: (k -> a -> Bool) -> MaxPQueue k a -> [(k, a)]
takeWhileWithKey k -> a -> Bool
p (MaxPQ MinPQueue (Down k) a
q) = ((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) ((Down k -> a -> Bool) -> MinPQueue (Down k) a -> [(Down k, a)]
forall k a. Ord k => (k -> a -> Bool) -> MinPQueue k a -> [(k, a)]
Q.takeWhileWithKey (k -> a -> Bool
p (k -> a -> Bool) -> (Down k -> k) -> Down k -> a -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
dropWhile :: Ord k => (a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
dropWhile :: (a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
dropWhile = (k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
forall k a.
Ord k =>
(k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
dropWhileWithKey ((k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a)
-> ((a -> Bool) -> k -> a -> Bool)
-> (a -> Bool)
-> MaxPQueue k a
-> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> k -> a -> Bool
forall a b. a -> b -> a
const
dropWhileWithKey :: Ord k => (k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
dropWhileWithKey :: (k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
dropWhileWithKey k -> a -> Bool
p (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> a -> Bool)
-> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a.
Ord k =>
(k -> a -> Bool) -> MinPQueue k a -> MinPQueue k a
Q.dropWhileWithKey (k -> a -> Bool
p (k -> a -> Bool) -> (Down k -> k) -> Down k -> a -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
span :: Ord k => (a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
span :: (a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
span = (k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
forall k a.
Ord k =>
(k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
spanWithKey ((k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a))
-> ((a -> Bool) -> k -> a -> Bool)
-> (a -> Bool)
-> MaxPQueue k a
-> ([(k, a)], MaxPQueue k a)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> k -> a -> Bool
forall a b. a -> b -> a
const
break :: Ord k => (a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
break :: (a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
break = (k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
forall k a.
Ord k =>
(k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
breakWithKey ((k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a))
-> ((a -> Bool) -> k -> a -> Bool)
-> (a -> Bool)
-> MaxPQueue k a
-> ([(k, a)], MaxPQueue k a)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> k -> a -> Bool
forall a b. a -> b -> a
const
spanWithKey :: Ord k => (k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
spanWithKey :: (k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
spanWithKey k -> a -> Bool
p (MaxPQ MinPQueue (Down k) a
q) = case (Down k -> a -> Bool)
-> MinPQueue (Down k) a -> ([(Down k, a)], MinPQueue (Down k) a)
forall k a.
Ord k =>
(k -> a -> Bool) -> MinPQueue k a -> ([(k, a)], MinPQueue k a)
Q.spanWithKey (k -> a -> Bool
p (k -> a -> Bool) -> (Down k -> k) -> Down k -> a -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q of
([(Down k, a)]
xs, MinPQueue (Down k) a
q') -> (((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) [(Down k, a)]
xs, MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q')
breakWithKey :: Ord k => (k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
breakWithKey :: (k -> a -> Bool) -> MaxPQueue k a -> ([(k, a)], MaxPQueue k a)
breakWithKey k -> a -> Bool
p (MaxPQ MinPQueue (Down k) a
q) = case (Down k -> a -> Bool)
-> MinPQueue (Down k) a -> ([(Down k, a)], MinPQueue (Down k) a)
forall k a.
Ord k =>
(k -> a -> Bool) -> MinPQueue k a -> ([(k, a)], MinPQueue k a)
Q.breakWithKey (k -> a -> Bool
p (k -> a -> Bool) -> (Down k -> k) -> Down k -> a -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q of
([(Down k, a)]
xs, MinPQueue (Down k) a
q') -> (((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) [(Down k, a)]
xs, MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q')
filter :: Ord k => (a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
filter :: (a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
filter = (k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
forall k a.
Ord k =>
(k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
filterWithKey ((k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a)
-> ((a -> Bool) -> k -> a -> Bool)
-> (a -> Bool)
-> MaxPQueue k a
-> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> k -> a -> Bool
forall a b. a -> b -> a
const
filterWithKey :: Ord k => (k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
filterWithKey :: (k -> a -> Bool) -> MaxPQueue k a -> MaxPQueue k a
filterWithKey k -> a -> Bool
p (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> a -> Bool)
-> MinPQueue (Down k) a -> MinPQueue (Down k) a
forall k a.
Ord k =>
(k -> a -> Bool) -> MinPQueue k a -> MinPQueue k a
Q.filterWithKey (k -> a -> Bool
p (k -> a -> Bool) -> (Down k -> k) -> Down k -> a -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
partition :: Ord k => (a -> Bool) -> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a)
partition :: (a -> Bool) -> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a)
partition = (k -> a -> Bool) -> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a)
forall k a.
Ord k =>
(k -> a -> Bool) -> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a)
partitionWithKey ((k -> a -> Bool)
-> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a))
-> ((a -> Bool) -> k -> a -> Bool)
-> (a -> Bool)
-> MaxPQueue k a
-> (MaxPQueue k a, MaxPQueue k a)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> k -> a -> Bool
forall a b. a -> b -> a
const
partitionWithKey :: Ord k => (k -> a -> Bool) -> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a)
partitionWithKey :: (k -> a -> Bool) -> MaxPQueue k a -> (MaxPQueue k a, MaxPQueue k a)
partitionWithKey k -> a -> Bool
p (MaxPQ MinPQueue (Down k) a
q) = case (Down k -> a -> Bool)
-> MinPQueue (Down k) a
-> (MinPQueue (Down k) a, MinPQueue (Down k) a)
forall k a.
Ord k =>
(k -> a -> Bool) -> MinPQueue k a -> (MinPQueue k a, MinPQueue k a)
Q.partitionWithKey (k -> a -> Bool
p (k -> a -> Bool) -> (Down k -> k) -> Down k -> a -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q of
(MinPQueue (Down k) a
q1, MinPQueue (Down k) a
q0) -> (MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q1, MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) a
q0)
mapMaybe :: Ord k => (a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b
mapMaybe :: (a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b
mapMaybe = (k -> a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b
forall k a b.
Ord k =>
(k -> a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b
mapMaybeWithKey ((k -> a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b)
-> ((a -> Maybe b) -> k -> a -> Maybe b)
-> (a -> Maybe b)
-> MaxPQueue k a
-> MaxPQueue k b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Maybe b) -> k -> a -> Maybe b
forall a b. a -> b -> a
const
mapMaybeWithKey :: Ord k => (k -> a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b
mapMaybeWithKey :: (k -> a -> Maybe b) -> MaxPQueue k a -> MaxPQueue k b
mapMaybeWithKey k -> a -> Maybe b
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ ((Down k -> a -> Maybe b)
-> MinPQueue (Down k) a -> MinPQueue (Down k) b
forall k a b.
Ord k =>
(k -> a -> Maybe b) -> MinPQueue k a -> MinPQueue k b
Q.mapMaybeWithKey (k -> a -> Maybe b
f (k -> a -> Maybe b) -> (Down k -> k) -> Down k -> a -> Maybe b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q)
mapEither :: Ord k => (a -> Either b c) -> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c)
mapEither :: (a -> Either b c)
-> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c)
mapEither = (k -> a -> Either b c)
-> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c)
forall k a b c.
Ord k =>
(k -> a -> Either b c)
-> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c)
mapEitherWithKey ((k -> a -> Either b c)
-> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c))
-> ((a -> Either b c) -> k -> a -> Either b c)
-> (a -> Either b c)
-> MaxPQueue k a
-> (MaxPQueue k b, MaxPQueue k c)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Either b c) -> k -> a -> Either b c
forall a b. a -> b -> a
const
mapEitherWithKey :: Ord k => (k -> a -> Either b c) -> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c)
mapEitherWithKey :: (k -> a -> Either b c)
-> MaxPQueue k a -> (MaxPQueue k b, MaxPQueue k c)
mapEitherWithKey k -> a -> Either b c
f (MaxPQ MinPQueue (Down k) a
q) = case (Down k -> a -> Either b c)
-> MinPQueue (Down k) a
-> (MinPQueue (Down k) b, MinPQueue (Down k) c)
forall k a b c.
Ord k =>
(k -> a -> Either b c)
-> MinPQueue k a -> (MinPQueue k b, MinPQueue k c)
Q.mapEitherWithKey (k -> a -> Either b c
f (k -> a -> Either b c)
-> (Down k -> k) -> Down k -> a -> Either b c
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q of
(MinPQueue (Down k) b
qL, MinPQueue (Down k) c
qR) -> (MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) b
qL, MinPQueue (Down k) c -> MaxPQueue k c
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ MinPQueue (Down k) c
qR)
fromList :: Ord k => [(k, a)] -> MaxPQueue k a
fromList :: [(k, a)] -> MaxPQueue k a
fromList = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) a -> MaxPQueue k a)
-> ([(k, a)] -> MinPQueue (Down k) a) -> [(k, a)] -> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Down k, a)] -> MinPQueue (Down k) a
forall k a. Ord k => [(k, a)] -> MinPQueue k a
Q.fromList ([(Down k, a)] -> MinPQueue (Down k) a)
-> ([(k, a)] -> [(Down k, a)]) -> [(k, a)] -> MinPQueue (Down k) a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((k, a) -> (Down k, a)) -> [(k, a)] -> [(Down k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((k -> Down k) -> (k, a) -> (Down k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' k -> Down k
forall a. a -> Down a
Down)
fromAscList :: [(k, a)] -> MaxPQueue k a
fromAscList :: [(k, a)] -> MaxPQueue k a
fromAscList = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) a -> MaxPQueue k a)
-> ([(k, a)] -> MinPQueue (Down k) a) -> [(k, a)] -> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Down k, a)] -> MinPQueue (Down k) a
forall k a. [(k, a)] -> MinPQueue k a
Q.fromDescList ([(Down k, a)] -> MinPQueue (Down k) a)
-> ([(k, a)] -> [(Down k, a)]) -> [(k, a)] -> MinPQueue (Down k) a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((k, a) -> (Down k, a)) -> [(k, a)] -> [(Down k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((k -> Down k) -> (k, a) -> (Down k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' k -> Down k
forall a. a -> Down a
Down)
fromDescList :: [(k, a)] -> MaxPQueue k a
fromDescList :: [(k, a)] -> MaxPQueue k a
fromDescList = MinPQueue (Down k) a -> MaxPQueue k a
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) a -> MaxPQueue k a)
-> ([(k, a)] -> MinPQueue (Down k) a) -> [(k, a)] -> MaxPQueue k a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Down k, a)] -> MinPQueue (Down k) a
forall k a. [(k, a)] -> MinPQueue k a
Q.fromAscList ([(Down k, a)] -> MinPQueue (Down k) a)
-> ([(k, a)] -> [(Down k, a)]) -> [(k, a)] -> MinPQueue (Down k) a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((k, a) -> (Down k, a)) -> [(k, a)] -> [(Down k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((k -> Down k) -> (k, a) -> (Down k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' k -> Down k
forall a. a -> Down a
Down)
keys :: Ord k => MaxPQueue k a -> [k]
keys :: MaxPQueue k a -> [k]
keys = ((k, a) -> k) -> [(k, a)] -> [k]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (k, a) -> k
forall a b. (a, b) -> a
fst ([(k, a)] -> [k])
-> (MaxPQueue k a -> [(k, a)]) -> MaxPQueue k a -> [k]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MaxPQueue k a -> [(k, a)]
forall k a. Ord k => MaxPQueue k a -> [(k, a)]
toDescList
elems :: Ord k => MaxPQueue k a -> [a]
elems :: MaxPQueue k a -> [a]
elems = ((k, a) -> a) -> [(k, a)] -> [a]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (k, a) -> a
forall a b. (a, b) -> b
snd ([(k, a)] -> [a])
-> (MaxPQueue k a -> [(k, a)]) -> MaxPQueue k a -> [a]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MaxPQueue k a -> [(k, a)]
forall k a. Ord k => MaxPQueue k a -> [(k, a)]
toDescList
assocs :: Ord k => MaxPQueue k a -> [(k, a)]
assocs :: MaxPQueue k a -> [(k, a)]
assocs = MaxPQueue k a -> [(k, a)]
forall k a. Ord k => MaxPQueue k a -> [(k, a)]
toDescList
toAscList :: Ord k => MaxPQueue k a -> [(k, a)]
toAscList :: MaxPQueue k a -> [(k, a)]
toAscList (MaxPQ MinPQueue (Down k) a
q) = ((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) (MinPQueue (Down k) a -> [(Down k, a)]
forall k a. Ord k => MinPQueue k a -> [(k, a)]
Q.toDescList MinPQueue (Down k) a
q)
toDescList :: Ord k => MaxPQueue k a -> [(k, a)]
toDescList :: MaxPQueue k a -> [(k, a)]
toDescList (MaxPQ MinPQueue (Down k) a
q) = ((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) (MinPQueue (Down k) a -> [(Down k, a)]
forall k a. Ord k => MinPQueue k a -> [(k, a)]
Q.toAscList MinPQueue (Down k) a
q)
toList :: Ord k => MaxPQueue k a -> [(k, a)]
toList :: MaxPQueue k a -> [(k, a)]
toList = MaxPQueue k a -> [(k, a)]
forall k a. Ord k => MaxPQueue k a -> [(k, a)]
toDescList
foldrU :: (a -> b -> b) -> b -> MaxPQueue k a -> b
foldrU :: (a -> b -> b) -> b -> MaxPQueue k a -> b
foldrU = (k -> a -> b -> b) -> b -> MaxPQueue k a -> b
forall k a b. (k -> a -> b -> b) -> b -> MaxPQueue k a -> b
foldrWithKeyU ((k -> a -> b -> b) -> b -> MaxPQueue k a -> b)
-> ((a -> b -> b) -> k -> a -> b -> b)
-> (a -> b -> b)
-> b
-> MaxPQueue k a
-> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> b -> b) -> k -> a -> b -> b
forall a b. a -> b -> a
const
foldrWithKeyU :: (k -> a -> b -> b) -> b -> MaxPQueue k a -> b
foldrWithKeyU :: (k -> a -> b -> b) -> b -> MaxPQueue k a -> b
foldrWithKeyU k -> a -> b -> b
f b
z (MaxPQ MinPQueue (Down k) a
q) = (Down k -> a -> b -> b) -> b -> MinPQueue (Down k) a -> b
forall k a b. (k -> a -> b -> b) -> b -> MinPQueue k a -> b
Q.foldrWithKeyU (k -> a -> b -> b
f (k -> a -> b -> b) -> (Down k -> k) -> Down k -> a -> b -> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) b
z MinPQueue (Down k) a
q
foldlU :: (b -> a -> b) -> b -> MaxPQueue k a -> b
foldlU :: (b -> a -> b) -> b -> MaxPQueue k a -> b
foldlU b -> a -> b
f = (b -> k -> a -> b) -> b -> MaxPQueue k a -> b
forall b k a. (b -> k -> a -> b) -> b -> MaxPQueue k a -> b
foldlWithKeyU ((a -> b) -> k -> a -> b
forall a b. a -> b -> a
const ((a -> b) -> k -> a -> b) -> (b -> a -> b) -> b -> k -> a -> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. b -> a -> b
f)
foldlWithKeyU :: (b -> k -> a -> b) -> b -> MaxPQueue k a -> b
foldlWithKeyU :: (b -> k -> a -> b) -> b -> MaxPQueue k a -> b
foldlWithKeyU b -> k -> a -> b
f b
z0 (MaxPQ MinPQueue (Down k) a
q) = (b -> Down k -> a -> b) -> b -> MinPQueue (Down k) a -> b
forall b k a. (b -> k -> a -> b) -> b -> MinPQueue k a -> b
Q.foldlWithKeyU (\b
z -> b -> k -> a -> b
f b
z (k -> a -> b) -> (Down k -> k) -> Down k -> a -> b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) b
z0 MinPQueue (Down k) a
q
traverseU :: (Applicative f) => (a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseU :: (a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseU = (k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
forall (f :: * -> *) k a b.
Applicative f =>
(k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseWithKeyU ((k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b))
-> ((a -> f b) -> k -> a -> f b)
-> (a -> f b)
-> MaxPQueue k a
-> f (MaxPQueue k b)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> f b) -> k -> a -> f b
forall a b. a -> b -> a
const
traverseWithKeyU :: (Applicative f) => (k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseWithKeyU :: (k -> a -> f b) -> MaxPQueue k a -> f (MaxPQueue k b)
traverseWithKeyU k -> a -> f b
f (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) b -> MaxPQueue k b
forall k a. MinPQueue (Down k) a -> MaxPQueue k a
MaxPQ (MinPQueue (Down k) b -> MaxPQueue k b)
-> f (MinPQueue (Down k) b) -> f (MaxPQueue k b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Down k -> a -> f b)
-> MinPQueue (Down k) a -> f (MinPQueue (Down k) b)
forall (f :: * -> *) k a b.
Applicative f =>
(k -> a -> f b) -> MinPQueue k a -> f (MinPQueue k b)
Q.traverseWithKeyU (k -> a -> f b
f (k -> a -> f b) -> (Down k -> k) -> Down k -> a -> f b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Down k -> k
forall a. Down a -> a
unDown) MinPQueue (Down k) a
q
keysU :: MaxPQueue k a -> [k]
keysU :: MaxPQueue k a -> [k]
keysU = ((k, a) -> k) -> [(k, a)] -> [k]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (k, a) -> k
forall a b. (a, b) -> a
fst ([(k, a)] -> [k])
-> (MaxPQueue k a -> [(k, a)]) -> MaxPQueue k a -> [k]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MaxPQueue k a -> [(k, a)]
forall k a. MaxPQueue k a -> [(k, a)]
toListU
elemsU :: MaxPQueue k a -> [a]
elemsU :: MaxPQueue k a -> [a]
elemsU = ((k, a) -> a) -> [(k, a)] -> [a]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (k, a) -> a
forall a b. (a, b) -> b
snd ([(k, a)] -> [a])
-> (MaxPQueue k a -> [(k, a)]) -> MaxPQueue k a -> [a]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. MaxPQueue k a -> [(k, a)]
forall k a. MaxPQueue k a -> [(k, a)]
toListU
assocsU :: MaxPQueue k a -> [(k, a)]
assocsU :: MaxPQueue k a -> [(k, a)]
assocsU = MaxPQueue k a -> [(k, a)]
forall k a. MaxPQueue k a -> [(k, a)]
toListU
toListU :: MaxPQueue k a -> [(k, a)]
toListU :: MaxPQueue k a -> [(k, a)]
toListU (MaxPQ MinPQueue (Down k) a
q) = ((Down k, a) -> (k, a)) -> [(Down k, a)] -> [(k, a)]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Down k -> k) -> (Down k, a) -> (k, a)
forall a b c. (a -> b) -> (a, c) -> (b, c)
first' Down k -> k
forall a. Down a -> a
unDown) (MinPQueue (Down k) a -> [(Down k, a)]
forall k a. MinPQueue k a -> [(k, a)]
Q.toListU MinPQueue (Down k) a
q)
seqSpine :: MaxPQueue k a -> b -> b
seqSpine :: MaxPQueue k a -> b -> b
seqSpine (MaxPQ MinPQueue (Down k) a
q) = MinPQueue (Down k) a -> b -> b
forall k a b. MinPQueue k a -> b -> b
Q.seqSpine MinPQueue (Down k) a
q