Data.Queue.Indexed.Skew

Size-indexed skew heaps.

Documentation

data Skew n a where

A size-indexed skew heap.

Constructors

Empty :: Skew 0 a

Node :: a -> Skew n a -> Skew m a -> Skew ((1 + n) + m) a

Instances

Ord a => MeldableIndexedQueue Skew a

Methods

merge :: Skew n a -> Skew m a -> Skew (n + m) a

Ord a => IndexedQueue Skew a

Methods

empty :: Skew 0 a

minView :: Skew (1 + n) a -> (a, Skew n a)

singleton :: a -> Skew 1 a

insert :: a -> Skew n a -> Skew (1 + n) a

minViewMay :: Skew n a -> ((Nat ~ n) 0 -> b) -> (forall m. (Nat ~ (1 + m)) n => a -> Skew m a -> b) -> b

NFData a => NFData (Skew n a)

Methods

rnf :: Skew n a -> ()