Heap

Definitions

interface Heap : (Type -> Type) -> Type

Parameters: h
Methods:

empty : Ord a => h a

isEmpty : Ord a => h a -> Bool

insert : Ord a => a -> h a -> h a

merge : Ord a => h a -> h a -> h a

findMin : Ord a => h a -> a

deleteMin : Ord a => h a -> h a

empty : Heap h => Ord a => h a

Totality: total
Visibility: public export

isEmpty : Heap h => Ord a => h a -> Bool

Totality: total
Visibility: public export

insert : Heap h => Ord a => a -> h a -> h a

Totality: total
Visibility: public export

merge : Heap h => Ord a => h a -> h a -> h a

Totality: total
Visibility: public export

findMin : Heap h => Ord a => h a -> a

Totality: total
Visibility: public export

deleteMin : Heap h => Ord a => h a -> h a

Totality: total
Visibility: public export