creditmonad-1.0.0: Reasoning about amortized time complexity

Index - A

act 
1 (Function)Test.Credit.Queue.Base
2 (Function)Test.Credit.RandomAccess.Base
3 (Function)Test.Credit.Sortable.Base
actionTest.Credit
AddTest.Credit.Sortable.Base
addTest.Credit.Sortable.Base
AddSegTest.Credit.Sortable.MergeSort
addSeg 
1 (Function)Test.Credit.Sortable.MergeSort
2 (Function)Test.Credit.Sortable.Scheduled
allZerosTest.Credit.Heap.Binomial
appTest.Credit.Queue.Physicists
appendTest.Credit.Finger
AppRevTest.Credit.Queue.Physicists
AssertionFailedControl.Monad.Credit