creditmonad-1.0.0: Reasoning about amortized time complexity

Index - H

HTest.Credit.Heap.Base
hasAtLeastControl.Monad.Credit
HasStepControl.Monad.Credit
hcostTest.Credit.Heap.Base
head 
1 (Function)Test.Credit.Queue.Implicit
2 (Function)Test.Credit.Finger
Heap 
1 (Type/Class)Test.Credit.Heap.Base
2 (Data Constructor)Test.Credit.Heap.LazyPairing
3 (Data Constructor)Test.Credit.Heap.Pairing
HeapOpTest.Credit.Heap.Base