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

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 - U

unBinaryRA	Test.Credit.RandomAccess.Binary
Uncons
1 (Data Constructor)	Test.Credit.Deque.Base
2 (Data Constructor)	Test.Credit.Queue.Base
3 (Data Constructor)	Test.Credit.RandomAccess.Base
uncons
1 (Function)	Test.Credit.Deque.Base
2 (Function)	Test.Credit.Queue.Base
3 (Function)	Test.Credit.RandomAccess.Base
4 (Function)	Test.Credit.Finger
uncons'
1 (Function)	Test.Credit.Deque.SimpleCat
2 (Function)	Test.Credit.Deque.ImplicitCat
3 (Function)	Test.Credit.Queue.Bootstrapped
uncons''	Test.Credit.Queue.Bootstrapped
unconsTree
1 (Function)	Test.Credit.RandomAccess.Binary
2 (Function)	Test.Credit.RandomAccess.Zeroless
Unsnoc	Test.Credit.Deque.Base
unsnoc
1 (Function)	Test.Credit.Deque.Base
2 (Function)	Test.Credit.Finger
unsnoc'
1 (Function)	Test.Credit.Deque.SimpleCat
2 (Function)	Test.Credit.Deque.ImplicitCat
unZerolessRA	Test.Credit.RandomAccess.Zeroless
Update	Test.Credit.RandomAccess.Base
update	Test.Credit.RandomAccess.Base
updateTree
1 (Function)	Test.Credit.RandomAccess.Binary
2 (Function)	Test.Credit.RandomAccess.Zeroless
UserError	Control.Monad.Credit