creditmonad-1.0.0: Reasoning about amortized time complexity

Index - Q

Q 
1 (Type/Class)Test.Credit.Queue.Base
2 (Data Constructor)Test.Credit.Queue.Base
qcost 
1 (Function)Test.Credit.Deque.Base
2 (Function)Test.Credit.Queue.Base
3 (Function)Test.Credit.RandomAccess.Base
Queue 
1 (Type/Class)Test.Credit.Queue.Base
2 (Data Constructor)Test.Credit.Queue.Physicists
QueueOpTest.Credit.Queue.Base