creditmonad-1.0.0: Reasoning about amortized time complexity

Index - D

DTest.Credit.Deque.Base
dangerTest.Credit.Deque.SimpleCat
dangerousTest.Credit.Deque.SimpleCat
dappendL 
1 (Function)Test.Credit.Deque.SimpleCat
2 (Function)Test.Credit.Deque.ImplicitCat
dappendR 
1 (Function)Test.Credit.Deque.SimpleCat
2 (Function)Test.Credit.Deque.ImplicitCat
DataStructureTest.Credit
Deep 
1 (Data Constructor)Test.Credit.Deque.SimpleCat
2 (Data Constructor)Test.Credit.Deque.ImplicitCat
3 (Data Constructor)Test.Credit.Queue.Implicit
4 (Data Constructor)Test.Credit.Finger
deep 
1 (Function)Test.Credit.Deque.SimpleCat
2 (Function)Test.Credit.Deque.ImplicitCat
3 (Function)Test.Credit.Queue.Implicit
4 (Function)Test.Credit.Finger
deep'Test.Credit.Finger
deep0Test.Credit.Finger
deepDangerTest.Credit.Deque.ImplicitCat
deepLTest.Credit.Finger
deepNTest.Credit.Finger
deepRTest.Credit.Finger
delayControl.Monad.Credit
DequeTest.Credit.Deque.Base
DequeIsTest.Credit.Deque.SimpleCat
DequeOpTest.Credit.Deque.Base
Digit 
1 (Type/Class)Test.Credit.Heap.Scheduled
2 (Type/Class)Test.Credit.Queue.Implicit
3 (Type/Class)Test.Credit.RandomAccess.Binary
4 (Type/Class)Test.Credit.RandomAccess.Zeroless
5 (Type/Class)Test.Credit.Finger
dischargeFirstTest.Credit.Deque.Catenable
dischargeThunkTest.Credit.Deque.Catenable
dropUntilTest.Credit.Finger