Data.PQueue.Max

Documentation

data MaxQueue a

Instances

Ord a => Eq (MaxQueue a)

Ord a => Ord (MaxQueue a)

Construction

empty :: MaxQueue a

singleton :: a -> MaxQueue a

insert :: Ord a => a -> MaxQueue a -> MaxQueue a

union :: Ord a => MaxQueue a -> MaxQueue a -> MaxQueue a

unions :: Ord a => [MaxQueue a] -> MaxQueue a

Query

null :: MaxQueue a -> Bool

size :: MaxQueue a -> Int

Maximum view

findMax :: MaxQueue a -> a

getMax :: MaxQueue a -> Maybe a

deleteMax :: Ord a => MaxQueue a -> MaxQueue a

deleteFindMax :: Ord a => MaxQueue a -> (a, MaxQueue a)

maxView :: Ord a => MaxQueue a -> Maybe (a, MaxQueue a)

Traversal

Map

map :: Ord b => (a -> b) -> MaxQueue a -> MaxQueue b

mapMonotonic :: (a -> b) -> MaxQueue a -> MaxQueue b

Fold

foldr :: Ord a => (a -> b -> b) -> b -> MaxQueue a -> b

foldl :: Ord a => (b -> a -> b) -> b -> MaxQueue a -> b

Traverse

traverse :: (Applicative f, Ord a, Ord b) => (a -> f b) -> MaxQueue a -> f (MaxQueue b)

Subsets

Indexed

take :: Ord a => Int -> MaxQueue a -> [a]

drop :: Ord a => Int -> MaxQueue a -> MaxQueue a

splitAt :: Ord a => Int -> MaxQueue a -> ([a], MaxQueue a)

Predicates

takeWhile :: Ord a => (a -> Bool) -> MaxQueue a -> [a]

dropWhile :: Ord a => (a -> Bool) -> MaxQueue a -> MaxQueue a

span :: Ord a => (a -> Bool) -> MaxQueue a -> ([a], MaxQueue a)

break :: Ord a => (a -> Bool) -> MaxQueue a -> ([a], MaxQueue a)

Filter

filter :: Ord a => (a -> Bool) -> MaxQueue a -> MaxQueue a

partition :: Ord a => (a -> Bool) -> MaxQueue a -> (MaxQueue a, MaxQueue a)

List operations

Conversion from lists

fromList :: Ord a => [a] -> MaxQueue a

fromDescList :: [a] -> MaxQueue a

fromAscList :: [a] -> MaxQueue a

Conversion to lists

elems :: Ord a => MaxQueue a -> [a]

toList :: Ord a => MaxQueue a -> [a]

toDescList :: Ord a => MaxQueue a -> [a]

Conversion with MaxPQueue

pqueueKeys :: MaxPQueue k a -> MaxQueue k

Unordered operations

foldrU :: (a -> b -> b) -> b -> MaxQueue a -> b

foldlU :: (b -> a -> b) -> b -> MaxQueue a -> b

toListU :: Ord a => MaxQueue a -> [a]

Helper methods

seqSpine :: MaxQueue a -> b -> b