creditmonad-1.0.0: Reasoning about amortized time complexity (Index - R)

creditmonad-1.0.0: Reasoning about amortized time complexity

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
Z
All

Index - R

r	Test.Credit.Queue.Bootstrapped
RA
1 (Type/Class)	Test.Credit.RandomAccess.Base
2 (Data Constructor)	Test.Credit.RandomAccess.Base
Random	Test.Credit
RandomAccess	Test.Credit.RandomAccess.Base
RandomAccessOp	Test.Credit.RandomAccess.Base
rank	Test.Credit.Heap.Binomial
RDeque
1 (Type/Class)	Test.Credit.Deque.Realtime
2 (Data Constructor)	Test.Credit.Deque.Realtime
rdeque	Test.Credit.Deque.Realtime
rear
1 (Function)	Test.Credit.Deque.Realtime
2 (Function)	Test.Credit.Deque.Bankers
3 (Function)	Test.Credit.Queue.Realtime
4 (Function)	Test.Credit.Queue.Bankers
removeMinTree
1 (Function)	Test.Credit.Heap.Binomial
2 (Function)	Test.Credit.Heap.Scheduled
replaceHead	Test.Credit.Deque.ImplicitCat
replaceLast	Test.Credit.Deque.ImplicitCat
Rev	Test.Credit.Queue.Bootstrapped
rev
1 (Function)	Test.Credit.Heap.Binomial
2 (Function)	Test.Credit.Queue.Batched
3 (Function)	Test.Credit.Queue.Bootstrapped
4 (Function)	Test.Credit.Queue.Physicists
5 (Function)	Test.Credit.Finger
6 (Function)	Test.Credit.Sortable.Scheduled
revOneStream	Test.Credit.Heap.Scheduled
rlen	Test.Credit.Queue.Bankers
Root	Test.Credit.Heap.Pairing
root	Test.Credit.Heap.Binomial
RQueue
1 (Type/Class)	Test.Credit.Queue.Realtime
2 (Data Constructor)	Test.Credit.Queue.Realtime
rqueue	Test.Credit.Queue.Realtime
runCounterM	Control.Monad.Credit
runCounterT	Control.Monad.Credit
runCreditM	Control.Monad.Credit
runCreditT	Control.Monad.Credit
runTree	Test.Credit
runTreeMemory	Test.Credit