creditmonad-1.0.0: Reasoning about amortized time complexity
Contents
Index
Index
act
1 (Function)
Test.Credit.Queue.Base
2 (Function)
Test.Credit.RandomAccess.Base
3 (Function)
Test.Credit.Sortable.Base
action
Test.Credit
Add
Test.Credit.Sortable.Base
add
Test.Credit.Sortable.Base
AddSeg
Test.Credit.Sortable.MergeSort
addSeg
1 (Function)
Test.Credit.Sortable.MergeSort
2 (Function)
Test.Credit.Sortable.Scheduled
allZeros
Test.Credit.Heap.Binomial
app
Test.Credit.Queue.Physicists
append
Test.Credit.Finger
AppRev
Test.Credit.Queue.Physicists
AssertionFailed
Control.Monad.Credit
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
C
Test.Credit.Deque.Catenable
c
Test.Credit.Deque.Streams
CatDeque
Test.Credit.Deque.Catenable
Cell
Control.Monad.Credit
check
Test.Credit.Queue.Physicists
checkCredits
Test.Credit
checkCreditsMemory
Test.Credit
checkF
Test.Credit.Queue.Bootstrapped
checkQ
Test.Credit.Queue.Bootstrapped
checkw
Test.Credit.Queue.Physicists
CLazyCon
Test.Credit.Deque.Catenable
ClosedCurrent
Control.Monad.Credit
Cmpd
Test.Credit.Deque.ImplicitCat
cmpd
Test.Credit.Deque.ImplicitCat
cmpdDanger
Test.Credit.Deque.ImplicitCat
CmpdElem
Test.Credit.Deque.ImplicitCat
Concat
Test.Credit.Deque.Base
concat
Test.Credit.Deque.Base
concat'
1 (Function)
Test.Credit.Deque.SimpleCat
2 (Function)
Test.Credit.Deque.ImplicitCat
3 (Function)
Test.Credit.Deque.Catenable
4 (Function)
Test.Credit.Finger
Cons
1 (Data Constructor)
Test.Credit.Deque.Base
2 (Data Constructor)
Test.Credit.RandomAccess.Base
cons
1 (Function)
Test.Credit.Deque.Base
2 (Function)
Test.Credit.RandomAccess.Base
3 (Function)
Test.Credit.Finger
cons'
Test.Credit.Finger
consTree
1 (Function)
Test.Credit.RandomAccess.Binary
2 (Function)
Test.Credit.RandomAccess.Zeroless
cost
1 (Function)
Test.Credit.Deque.SimpleCat
2 (Function)
Test.Credit.Deque.ImplicitCat
costSnoc
Test.Credit.Deque.Catenable
costUncons
Test.Credit.Deque.Catenable
CounterM
Control.Monad.Credit
CounterT
Control.Monad.Credit
create
Test.Credit
Credit
Control.Monad.Credit
credit
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
creditAllTo
Control.Monad.Credit
CreditM
Control.Monad.Credit
CreditT
Control.Monad.Credit
creditWith
Control.Monad.Credit
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
E
1 (Data Constructor)
Test.Credit.Queue.Base
2 (Data Constructor)
Test.Credit.Deque.Catenable
3 (Data Constructor)
Test.Credit.RandomAccess.Base
4 (Data Constructor)
Test.Credit.Sortable.Base
Elem
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
Em
Test.Credit.Heap.LazyPairing
Empty
1 (Data Constructor)
Test.Credit.Heap.LazyPairing
2 (Data Constructor)
Test.Credit.Heap.Pairing
3 (Data Constructor)
Test.Credit.Queue.Bootstrapped
4 (Data Constructor)
Test.Credit.Queue.Physicists
5 (Data Constructor)
Test.Credit.Finger
6 (Data Constructor)
Test.Credit.Sortable.MergeSort
empty
1 (Function)
Test.Credit.Deque.Base
2 (Function)
Test.Credit.Heap.Base
3 (Function)
Test.Credit.Queue.Base
4 (Function)
Test.Credit.RandomAccess.Base
5 (Function)
Test.Credit.Sortable.Base
6 (Function)
Test.Credit.Finger
Error
Control.Monad.Credit
eval
Test.Credit.Deque.Streams
evalone
Test.Credit.Queue.Streams
exec
Test.Credit.Heap.Scheduled
exec1
1 (Function)
Test.Credit.Deque.Realtime
2 (Function)
Test.Credit.Sortable.Scheduled
exec2
1 (Function)
Test.Credit.Deque.Realtime
2 (Function)
Test.Credit.Sortable.Scheduled
execAll
Test.Credit.Sortable.Scheduled
f
Test.Credit.Queue.Bootstrapped
FCons
Test.Credit.Finger
findFirstThunk
Test.Credit.Deque.Catenable
FingerDeque
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
FingerHeap
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
FingerRA
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
FingerSort
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
FingerTree
Test.Credit.Finger
FInit
Test.Credit.Finger
FLazyCon
Test.Credit.Finger
flen
Test.Credit.Queue.Bankers
force
Control.Monad.Credit
forceAll
Test.Credit.Finger
found
Test.Credit.Finger
FPure
Test.Credit.Finger
front
1 (Function)
Test.Credit.Deque.Realtime
2 (Function)
Test.Credit.Deque.Bankers
3 (Function)
Test.Credit.Queue.Realtime
4 (Function)
Test.Credit.Queue.Bankers
FSnoc
Test.Credit.Finger
FTail
Test.Credit.Finger
genTree
Test.Credit
ghost
Test.Credit.Queue.Bootstrapped
ghostf
Test.Credit.Deque.Bankers
ghostr
Test.Credit.Deque.Bankers
glue
Test.Credit.Finger
H
Test.Credit.Heap.Base
hasAtLeast
Control.Monad.Credit
HasStep
Control.Monad.Credit
hcost
Test.Credit.Heap.Base
head
1 (Function)
Test.Credit.Queue.Implicit
2 (Function)
Test.Credit.Finger
Heap
1 (Type/Class)
Test.Credit.Heap.Base
2 (Data Constructor)
Test.Credit.Heap.LazyPairing
3 (Data Constructor)
Test.Credit.Heap.Pairing
HeapOp
Test.Credit.Heap.Base
icreditWith
Test.Credit.Deque.ImplicitCat
idx
Test.Credit.RandomAccess.Base
ifIndirect
Test.Credit.Queue.Streams
ILazy
Test.Credit.Deque.ImplicitCat
ILazyCon
1 (Type/Class)
Test.Credit.Deque.ImplicitCat
2 (Type/Class)
Test.Credit.Queue.Implicit
Implicit
Test.Credit.Queue.Implicit
ImplicitCat
Test.Credit.Deque.ImplicitCat
indirect
1 (Function)
Test.Credit.Deque.Realtime
2 (Function)
Test.Credit.Deque.Bankers
3 (Function)
Test.Credit.Heap.Scheduled
4 (Function)
Test.Credit.Queue.Realtime
5 (Function)
Test.Credit.RandomAccess.Binary
6 (Function)
Test.Credit.RandomAccess.Zeroless
7 (Function)
Test.Credit.Sortable.Scheduled
init
Test.Credit.Finger
Insert
Test.Credit.Heap.Base
insert
Test.Credit.Heap.Base
insTree
1 (Function)
Test.Credit.Heap.Binomial
2 (Function)
Test.Credit.Heap.Scheduled
InvalidAccount
Control.Monad.Credit
InvalidTick
Control.Monad.Credit
IPay
Test.Credit.Deque.ImplicitCat
IPure
Test.Credit.Queue.Implicit
isEmpty
1 (Function)
Test.Credit.Deque.Bankers
2 (Function)
Test.Credit.Deque.SimpleCat
3 (Function)
Test.Credit.Deque.ImplicitCat
4 (Function)
Test.Credit.Queue.Implicit
5 (Function)
Test.Credit.Queue.Bankers
6 (Function)
Test.Credit.Finger
ISnoc
Test.Credit.Queue.Implicit
isTwo
Test.Credit.Finger
ITail
Test.Credit.Queue.Implicit
Key
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
last
Test.Credit.Finger
Lazy
1 (Type/Class)
Control.Monad.Credit
2 (Data Constructor)
Control.Monad.Credit
lazymatch
Control.Monad.Credit
LazyPairing
Test.Credit.Heap.LazyPairing
lazyqueue
Test.Credit.Queue.Bankers
Leaf
1 (Data Constructor)
Test.Credit.RandomAccess.Binary
2 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
lenf
1 (Function)
Test.Credit.Deque.Realtime
2 (Function)
Test.Credit.Deque.Bankers
lenfm
Test.Credit.Queue.Bootstrapped
length
Test.Credit.Finger
lenr
1 (Function)
Test.Credit.Deque.Realtime
2 (Function)
Test.Credit.Deque.Bankers
3 (Function)
Test.Credit.Queue.Bootstrapped
linear
Test.Credit
linearize
Control.Monad.Credit
Link
Test.Credit.Heap.LazyPairing
link
1 (Function)
Test.Credit.Heap.Binomial
2 (Function)
Test.Credit.Heap.LazyPairing
3 (Function)
Test.Credit.Heap.Pairing
4 (Function)
Test.Credit.Heap.Scheduled
5 (Function)
Test.Credit.Deque.Catenable
6 (Function)
Test.Credit.RandomAccess.Binary
7 (Function)
Test.Credit.RandomAccess.Zeroless
LinkAll
Test.Credit.Deque.Catenable
linkAll
Test.Credit.Deque.Catenable
log2
Test.Credit
logstar
Test.Credit
Lookup
Test.Credit.RandomAccess.Base
lookup
Test.Credit.RandomAccess.Base
lookupTree
1 (Function)
Test.Credit.RandomAccess.Binary
2 (Function)
Test.Credit.RandomAccess.Zeroless
3 (Function)
Test.Credit.Finger
m
Test.Credit.Queue.Bootstrapped
map1
Test.Credit.Finger
mapN
Test.Credit.Finger
measure
Test.Credit.Finger
Measured
Test.Credit.Finger
measurement
Test.Credit.Finger
measureOfSmaller
Test.Credit.Finger
Memory
Control.Monad.Credit
MemoryCell
Control.Monad.Credit
MemoryStructure
Control.Monad.Credit
Merge
Test.Credit.Heap.Base
merge
Test.Credit.Heap.Base
mergePairs
1 (Function)
Test.Credit.Heap.LazyPairing
2 (Function)
Test.Credit.Heap.Pairing
MergeSort
1 (Type/Class)
Test.Credit.Sortable.MergeSort
2 (Data Constructor)
Test.Credit.Sortable.MergeSort
MInfty
Test.Credit.Finger
mkMCell
Control.Monad.Credit
mkMList
Control.Monad.Credit
MLazyCon
Test.Credit.Sortable.MergeSort
MonadCount
Control.Monad.Credit
MonadCredit
Control.Monad.Credit
MonadInherit
Control.Monad.Credit
MonadLazy
Control.Monad.Credit
MonadMemory
Control.Monad.Credit
mrg
1 (Function)
Test.Credit.Heap.Binomial
2 (Function)
Test.Credit.Heap.Scheduled
3 (Function)
Test.Credit.Sortable.MergeSort
4 (Function)
Test.Credit.Sortable.Scheduled
mrgAll
1 (Function)
Test.Credit.Sortable.MergeSort
2 (Function)
Test.Credit.Sortable.Scheduled
NEHeap
1 (Type/Class)
Test.Credit.Heap.LazyPairing
2 (Data Constructor)
Test.Credit.Heap.LazyPairing
NEQueue
1 (Type/Class)
Test.Credit.Queue.Bootstrapped
2 (Data Constructor)
Test.Credit.Queue.Bootstrapped
Nil
Test.Credit.Heap.Pairing
Node
1 (Data Constructor)
Test.Credit.Heap.Binomial
2 (Data Constructor)
Test.Credit.Heap.Scheduled
3 (Data Constructor)
Test.Credit.RandomAccess.Binary
4 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
NoKey
Test.Credit.Finger
norm
Test.Credit.RandomAccess.Base
normalize
Test.Credit.Heap.Scheduled
One
1 (Data Constructor)
Test.Credit.Heap.Scheduled
2 (Data Constructor)
Test.Credit.Queue.Implicit
3 (Data Constructor)
Test.Credit.RandomAccess.Binary
4 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
5 (Data Constructor)
Test.Credit.Finger
OutOfCredits
Control.Monad.Credit
Pair
Test.Credit.Finger
pair
Test.Credit.Finger
Pairing
Test.Credit.Heap.Pairing
PairingHeap
Test.Credit.Heap.Pairing
Path
Test.Credit
Pennant
Test.Credit
Physicists
Test.Credit.Queue.Physicists
PLazyCon
1 (Type/Class)
Test.Credit.Heap.LazyPairing
2 (Type/Class)
Test.Credit.Queue.Physicists
PrettyCell
1 (Type/Class)
Control.Monad.Credit
2 (Data Constructor)
Control.Monad.Credit
prettyCell
Control.Monad.Credit
prettyStructure
Control.Monad.Credit
prettyThunk
Control.Monad.Credit
Prio
1 (Type/Class)
Test.Credit.Finger
2 (Data Constructor)
Test.Credit.Finger
psi
Test.Credit.Sortable.MergeSort
PThunk
1 (Type/Class)
Test.Credit.Heap.LazyPairing
2 (Type/Class)
Test.Credit.Queue.Physicists
Pure
Test.Credit.Deque.Catenable
Q
1 (Type/Class)
Test.Credit.Queue.Base
2 (Data Constructor)
Test.Credit.Queue.Base
qcost
1 (Function)
Test.Credit.Deque.Base
2 (Function)
Test.Credit.Queue.Base
3 (Function)
Test.Credit.RandomAccess.Base
Queue
1 (Type/Class)
Test.Credit.Queue.Base
2 (Data Constructor)
Test.Credit.Queue.Physicists
QueueOp
Test.Credit.Queue.Base
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
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
Tail
Test.Credit.Queue.Physicists
tail
1 (Function)
Test.Credit.Queue.Implicit
2 (Function)
Test.Credit.Finger
takeUntil
Test.Credit.Finger
test
Test.Credit.Queue.Streams
Three
1 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
2 (Data Constructor)
Test.Credit.Finger
Thunk
Control.Monad.Credit
tick
Control.Monad.Credit
Ticks
Control.Monad.Credit
toDigit
Test.Credit.Finger
toList
1 (Function)
Test.Credit.Queue.Streams
2 (Function)
Test.Credit.Finger
tooSmall
Test.Credit.Deque.SimpleCat
toTree
Test.Credit.Finger
toTuples
Test.Credit.Finger
Tree
1 (Type/Class)
Test.Credit.Heap.Binomial
2 (Type/Class)
Test.Credit.Heap.Scheduled
3 (Type/Class)
Test.Credit.RandomAccess.Binary
4 (Type/Class)
Test.Credit.RandomAccess.Zeroless
treeToList
Test.Credit.Finger
Triple
Test.Credit.Finger
triple
Test.Credit.Finger
Tuple
Test.Credit.Finger
Two
1 (Data Constructor)
Test.Credit.Queue.Implicit
2 (Data Constructor)
Test.Credit.RandomAccess.Binary
3 (Data Constructor)
Test.Credit.RandomAccess.Zeroless
4 (Data Constructor)
Test.Credit.Finger
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
Zero
1 (Data Constructor)
Test.Credit.Heap.Scheduled
2 (Data Constructor)
Test.Credit.Queue.Implicit
3 (Data Constructor)
Test.Credit.RandomAccess.Binary
ZerolessRA
1 (Type/Class)
Test.Credit.RandomAccess.Zeroless
2 (Data Constructor)
Test.Credit.RandomAccess.Zeroless