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 - S
S
1 (Type/Class)
Test.Credit.Sortable.Base
2 (Data Constructor)
Test.Credit.Sortable.Base
SAppend
1 (Data Constructor)
Test.Credit.Deque.Streams
2 (Data Constructor)
Test.Credit.Queue.Streams
Schedule
1 (Type/Class)
Test.Credit.Heap.Scheduled
2 (Type/Class)
Test.Credit.Sortable.Scheduled
schedule
Test.Credit.Queue.Realtime
Scheduled
1 (Type/Class)
Test.Credit.Heap.Scheduled
2 (Data Constructor)
Test.Credit.Heap.Scheduled
SCons
1 (Data Constructor)
Test.Credit.Deque.Streams
2 (Data Constructor)
Test.Credit.Heap.Scheduled
3 (Data Constructor)
Test.Credit.Queue.Streams
4 (Data Constructor)
Test.Credit.RandomAccess.Binary
5 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
6 (Data Constructor)
Test.Credit.Sortable.Scheduled
scost
Test.Credit.Sortable.Base
seekFirstThunk
Test.Credit.Deque.Catenable
sf
Test.Credit.Deque.Realtime
Shallow
1 (Data Constructor)
Test.Credit.Deque.SimpleCat
2 (Data Constructor)
Test.Credit.Deque.ImplicitCat
3 (Data Constructor)
Test.Credit.Queue.Implicit
share
Test.Credit.Deque.ImplicitCat
showImplicit
Test.Credit.Queue.Implicit
showThunk
Test.Credit.Queue.Implicit
Simple
Test.Credit.Deque.ImplicitCat
SimpleCat
Test.Credit.Deque.SimpleCat
SIndirect
1 (Data Constructor)
Test.Credit.Deque.Streams
2 (Data Constructor)
Test.Credit.Heap.Scheduled
3 (Data Constructor)
Test.Credit.Queue.Streams
4 (Data Constructor)
Test.Credit.RandomAccess.Binary
5 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
6 (Data Constructor)
Test.Credit.Sortable.Scheduled
Single
Test.Credit.Finger
Size
1 (Type/Class)
Test.Credit
2 (Type/Class)
Test.Credit.Finger
3 (Data Constructor)
Test.Credit.Finger
size
1 (Function)
Test.Credit.Deque.Bankers
2 (Function)
Test.Credit.Heap.LazyPairing
3 (Function)
Test.Credit.Queue.Implicit
4 (Function)
Test.Credit.RandomAccess.Binary
5 (Function)
Test.Credit.RandomAccess.Zeroless
SLazyCon
1 (Type/Class)
Test.Credit.Deque.Streams
2 (Type/Class)
Test.Credit.Queue.Streams
Small
Test.Credit.Deque.SimpleCat
smaller
Test.Credit.Finger
smatch
1 (Function)
Test.Credit.Deque.Streams
2 (Function)
Test.Credit.Heap.Scheduled
3 (Function)
Test.Credit.Queue.Streams
4 (Function)
Test.Credit.RandomAccess.Binary
5 (Function)
Test.Credit.RandomAccess.Zeroless
6 (Function)
Test.Credit.Sortable.Scheduled
SMergeSort
1 (Type/Class)
Test.Credit.Sortable.Scheduled
2 (Data Constructor)
Test.Credit.Sortable.Scheduled
SNil
1 (Data Constructor)
Test.Credit.Deque.Streams
2 (Data Constructor)
Test.Credit.Heap.Scheduled
3 (Data Constructor)
Test.Credit.Queue.Streams
4 (Data Constructor)
Test.Credit.RandomAccess.Binary
5 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
6 (Data Constructor)
Test.Credit.Sortable.Scheduled
Snoc
1 (Data Constructor)
Test.Credit.Deque.Base
2 (Data Constructor)
Test.Credit.Queue.Base
snoc
1 (Function)
Test.Credit.Deque.Base
2 (Function)
Test.Credit.Queue.Base
3 (Function)
Test.Credit.Finger
snoc'
1 (Function)
Test.Credit.Queue.Bootstrapped
2 (Function)
Test.Credit.Queue.Implicit
3 (Function)
Test.Credit.Finger
Sort
Test.Credit.Sortable.Base
sort
Test.Credit.Sortable.Base
Sortable
Test.Credit.Sortable.Base
SortableOp
Test.Credit.Sortable.Base
Split
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
split
Test.Credit.Finger
splitAt
Test.Credit.Finger
splitDigit
Test.Credit.Finger
SplitMin
Test.Credit.Heap.Base
splitMin
Test.Credit.Heap.Base
splitTree
Test.Credit.Finger
sr
Test.Credit.Deque.Realtime
SRevDrop
Test.Credit.Deque.Streams
SReverse
Test.Credit.Queue.Streams
STake
Test.Credit.Deque.Streams
step
Control.Monad.Credit
SThunk
Test.Credit.Queue.Streams
Strategy
Test.Credit
Stream
1 (Type/Class)
Test.Credit.Deque.Streams
2 (Type/Class)
Test.Credit.Heap.Scheduled
3 (Type/Class)
Test.Credit.Queue.Streams
4 (Type/Class)
Test.Credit.RandomAccess.Binary
5 (Type/Class)
Test.Credit.RandomAccess.Zeroless
6 (Type/Class)
Test.Credit.Sortable.Scheduled
streamToList
Test.Credit.Sortable.Scheduled