BootstrapHeap

Definitions

data BootstrapHeap : (Type -> Type) -> Type -> Type

Totality: not strictly positive
Visibility: export
Constructors:

E : BootstrapHeap h a

H : a -> h (BootstrapHeap h a) -> BootstrapHeap h a

Hints:

Eq a => Eq (BootstrapHeap h a)

Heap h => Heap (BootstrapHeap h)

Ord a => Ord (BootstrapHeap h a)