creditmonad-1.0.0: Reasoning about amortized time complexity
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
Z
All
Index - D
D
Test.Credit.Deque.Base
danger
Test.Credit.Deque.SimpleCat
dangerous
Test.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
DataStructure
Test.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
deep0
Test.Credit.Finger
deepDanger
Test.Credit.Deque.ImplicitCat
deepL
Test.Credit.Finger
deepN
Test.Credit.Finger
deepR
Test.Credit.Finger
delay
Control.Monad.Credit
Deque
Test.Credit.Deque.Base
DequeIs
Test.Credit.Deque.SimpleCat
DequeOp
Test.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
dischargeFirst
Test.Credit.Deque.Catenable
dischargeThunk
Test.Credit.Deque.Catenable
dropUntil
Test.Credit.Finger