Data.Queue.Skew

Skew heaps.

Documentation

newtype Skew a

A simple, unchecked skew heap.

Constructors

Skew

Fields

• runSkew :: Tree a

Instances

Functor Skew

Methods

fmap :: (a -> b) -> Skew a -> Skew b

(<$) :: a -> Skew b -> Skew a

Foldable Skew

Methods

fold :: Monoid m => Skew m -> m

foldMap :: Monoid m => (a -> m) -> Skew a -> m

foldr :: (a -> b -> b) -> b -> Skew a -> b

foldr' :: (a -> b -> b) -> b -> Skew a -> b

foldl :: (b -> a -> b) -> b -> Skew a -> b

foldl' :: (b -> a -> b) -> b -> Skew a -> b

foldr1 :: (a -> a -> a) -> Skew a -> a

foldl1 :: (a -> a -> a) -> Skew a -> a

toList :: Skew a -> [a]

null :: Skew a -> Bool

length :: Skew a -> Int

elem :: Eq a => a -> Skew a -> Bool

maximum :: Ord a => Skew a -> a

minimum :: Ord a => Skew a -> a

sum :: Num a => Skew a -> a

product :: Num a => Skew a -> a

Traversable Skew

Methods

traverse :: Applicative f => (a -> f b) -> Skew a -> f (Skew b)

sequenceA :: Applicative f => Skew (f a) -> f (Skew a)

mapM :: Monad m => (a -> m b) -> Skew a -> m (Skew b)

sequence :: Monad m => Skew (m a) -> m (Skew a)

Generic1 Skew

Associated Types

type Rep1 (Skew :: * -> *) :: * -> *

Methods

from1 :: Skew a -> Rep1 Skew a

to1 :: Rep1 Skew a -> Skew a

Ord a => MeldableQueue Skew a

Methods

merge :: Skew a -> Skew a -> Skew a

fromFoldable :: Foldable f => f a -> Skew a

Ord a => Queue Skew a

Methods

minView :: Skew a -> Maybe (a, Skew a)

insert :: a -> Skew a -> Skew a

empty :: Skew a

singleton :: a -> Skew a

toList :: Skew a -> [a]

fromList :: [a] -> Skew a

heapSort :: p Skew -> [a] -> [a]

Ord a => Eq (Skew a)

Methods

(==) :: Skew a -> Skew a -> Bool

(/=) :: Skew a -> Skew a -> Bool

Data a => Data (Skew a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skew a -> c (Skew a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Skew a)

toConstr :: Skew a -> Constr

dataTypeOf :: Skew a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Skew a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Skew a))

gmapT :: (forall b. Data b => b -> b) -> Skew a -> Skew a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skew a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skew a -> r

gmapQ :: (forall d. Data d => d -> u) -> Skew a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skew a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skew a -> m (Skew a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skew a -> m (Skew a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skew a -> m (Skew a)

Ord a => Ord (Skew a)

Methods

compare :: Skew a -> Skew a -> Ordering

(<) :: Skew a -> Skew a -> Bool

(<=) :: Skew a -> Skew a -> Bool

(>) :: Skew a -> Skew a -> Bool

(>=) :: Skew a -> Skew a -> Bool

max :: Skew a -> Skew a -> Skew a

min :: Skew a -> Skew a -> Skew a

(Read a, Ord a) => Read (Skew a)

Methods

readsPrec :: Int -> ReadS (Skew a)

readList :: ReadS [Skew a]

readPrec :: ReadPrec (Skew a)

readListPrec :: ReadPrec [Skew a]

(Show a, Ord a) => Show (Skew a)

Methods

showsPrec :: Int -> Skew a -> ShowS

show :: Skew a -> String

showList :: [Skew a] -> ShowS

Generic (Skew a)

Associated Types

type Rep (Skew a) :: * -> *

Methods

from :: Skew a -> Rep (Skew a) x

to :: Rep (Skew a) x -> Skew a

Ord a => Monoid (Skew a)

Methods

mempty :: Skew a

mappend :: Skew a -> Skew a -> Skew a

mconcat :: [Skew a] -> Skew a

NFData a => NFData (Skew a)

Methods

rnf :: Skew a -> ()

type Rep1 Skew

type Rep1 Skew = D1 (MetaData "Skew" "Data.Queue.Skew" "type-indexed-queues-0.2.0.0-8uqeMba477nJxPUanpLvxV" True) (C1 (MetaCons "Skew" PrefixI True) (S1 (MetaSel (Just Symbol "runSkew") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 Tree)))

type Rep (Skew a)

type Rep (Skew a) = D1 (MetaData "Skew" "Data.Queue.Skew" "type-indexed-queues-0.2.0.0-8uqeMba477nJxPUanpLvxV" True) (C1 (MetaCons "Skew" PrefixI True) (S1 (MetaSel (Just Symbol "runSkew") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Tree a))))