type-indexed-queues-0.2.0.0: Queues with verified and unverified versions.

Safe HaskellNone
LanguageHaskell2010

Data.Queue.Splay

Description

Simple splay heaps.

Synopsis

Documentation

newtype Splay a Source #

A simple splay heap. Based on this.

Constructors

Splay 

Fields

Instances

Functor Splay Source # 

Methods

fmap :: (a -> b) -> Splay a -> Splay b #

(<$) :: a -> Splay b -> Splay a #

Ord a => MeldableQueue Splay a Source # 

Methods

merge :: Splay a -> Splay a -> Splay a Source #

fromFoldable :: Foldable f => f a -> Splay a Source #

Ord a => Queue Splay a Source # 

Methods

minView :: Splay a -> Maybe (a, Splay a) Source #

insert :: a -> Splay a -> Splay a Source #

empty :: Splay a Source #

singleton :: a -> Splay a Source #

toList :: Splay a -> [a] Source #

fromList :: [a] -> Splay a Source #

heapSort :: p Splay -> [a] -> [a] Source #

Ord a => Eq (Splay a) Source # 

Methods

(==) :: Splay a -> Splay a -> Bool #

(/=) :: Splay a -> Splay a -> Bool #

Ord a => Ord (Splay a) Source # 

Methods

compare :: Splay a -> Splay a -> Ordering #

(<) :: Splay a -> Splay a -> Bool #

(<=) :: Splay a -> Splay a -> Bool #

(>) :: Splay a -> Splay a -> Bool #

(>=) :: Splay a -> Splay a -> Bool #

max :: Splay a -> Splay a -> Splay a #

min :: Splay a -> Splay a -> Splay a #

(Read a, Ord a) => Read (Splay a) Source # 
(Show a, Ord a) => Show (Splay a) Source # 

Methods

showsPrec :: Int -> Splay a -> ShowS #

show :: Splay a -> String #

showList :: [Splay a] -> ShowS #

Ord a => Monoid (Splay a) Source # 

Methods

mempty :: Splay a #

mappend :: Splay a -> Splay a -> Splay a #

mconcat :: [Splay a] -> Splay a #

NFData a => NFData (Splay a) Source # 

Methods

rnf :: Splay a -> () #