Safe Haskell | None |
---|---|
Language | Haskell2010 |
Erase the size parameter on a size-indexed heap, using existentials.
- data ErasedSize f a = ErasedSize {
- runErasedSize :: f n a
Documentation
data ErasedSize f a Source #
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.
ErasedSize | |
|
MeldableIndexedQueue h a => MeldableQueue (ErasedSize h) a Source # | |
IndexedQueue h a => Queue (ErasedSize h) a Source # | |