Data.Queue.Indexed.Erased

Erase the size parameter on a size-indexed heap, using existentials.

Documentation

data ErasedSize f a

This type contains a size-indexed heap, however the size index is hidden. This allows it to act like a standard heap, while maintaining the proven invariants of the size-indexed version.

Constructors

ErasedSize

Fields

• runErasedSize :: f n a

Instances

MeldableIndexedQueue h a => MeldableQueue (ErasedSize h) a

Methods

merge :: ErasedSize h a -> ErasedSize h a -> ErasedSize h a

fromFoldable :: Foldable f => f a -> ErasedSize h a

IndexedQueue h a => Queue (ErasedSize h) a

Methods

minView :: ErasedSize h a -> Maybe (a, ErasedSize h a)

insert :: a -> ErasedSize h a -> ErasedSize h a

empty :: ErasedSize h a

singleton :: a -> ErasedSize h a

toList :: ErasedSize h a -> [a]

fromList :: [a] -> ErasedSize h a

heapSort :: p (ErasedSize h) -> [a] -> [a]