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 - B
Batched
1 (Type/Class)
Test.Credit.Queue.Batched
2 (Data Constructor)
Test.Credit.Queue.Batched
BD
Test.Credit.Deque.Base
BDeque
1 (Type/Class)
Test.Credit.Deque.Bankers
2 (Data Constructor)
Test.Credit.Deque.Bankers
bdeque
Test.Credit.Deque.Bankers
BH
Test.Credit.Heap.Base
Big
Test.Credit.Deque.SimpleCat
bigger
Test.Credit.Finger
BinaryRA
1 (Type/Class)
Test.Credit.RandomAccess.Binary
2 (Data Constructor)
Test.Credit.RandomAccess.Binary
Binomial
1 (Type/Class)
Test.Credit.Heap.Binomial
2 (Data Constructor)
Test.Credit.Heap.Binomial
BLazyCon
Test.Credit.Queue.Bootstrapped
Bloom
Test.Credit
Bootstrapped
Test.Credit.Queue.Bootstrapped
BoundedDeque
Test.Credit.Deque.Base
BoundedHeap
Test.Credit.Heap.Base
BoundedQueue
Test.Credit.Queue.Base
BoundedRandomAccess
Test.Credit.RandomAccess.Base
BoundedSortable
Test.Credit.Sortable.Base
BQueue
1 (Data Constructor)
Test.Credit.Queue.Bootstrapped
2 (Type/Class)
Test.Credit.Queue.Bankers
3 (Data Constructor)
Test.Credit.Queue.Bankers
bqueue
1 (Function)
Test.Credit.Queue.Batched
2 (Function)
Test.Credit.Queue.Bankers
BThunk
Test.Credit.Queue.Bootstrapped