creditmonad-1.0.0: Reasoning about amortized time complexity

Index

act 
1 (Function)Test.Credit.Queue.Base
2 (Function)Test.Credit.RandomAccess.Base
3 (Function)Test.Credit.Sortable.Base
actionTest.Credit
AddTest.Credit.Sortable.Base
addTest.Credit.Sortable.Base
AddSegTest.Credit.Sortable.MergeSort
addSeg 
1 (Function)Test.Credit.Sortable.MergeSort
2 (Function)Test.Credit.Sortable.Scheduled
allZerosTest.Credit.Heap.Binomial
appTest.Credit.Queue.Physicists
appendTest.Credit.Finger
AppRevTest.Credit.Queue.Physicists
AssertionFailedControl.Monad.Credit
Batched 
1 (Type/Class)Test.Credit.Queue.Batched
2 (Data Constructor)Test.Credit.Queue.Batched
BDTest.Credit.Deque.Base
BDeque 
1 (Type/Class)Test.Credit.Deque.Bankers
2 (Data Constructor)Test.Credit.Deque.Bankers
bdequeTest.Credit.Deque.Bankers
BHTest.Credit.Heap.Base
BigTest.Credit.Deque.SimpleCat
biggerTest.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
BLazyConTest.Credit.Queue.Bootstrapped
BloomTest.Credit
BootstrappedTest.Credit.Queue.Bootstrapped
BoundedDequeTest.Credit.Deque.Base
BoundedHeapTest.Credit.Heap.Base
BoundedQueueTest.Credit.Queue.Base
BoundedRandomAccessTest.Credit.RandomAccess.Base
BoundedSortableTest.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
BThunkTest.Credit.Queue.Bootstrapped
CTest.Credit.Deque.Catenable
cTest.Credit.Deque.Streams
CatDequeTest.Credit.Deque.Catenable
CellControl.Monad.Credit
checkTest.Credit.Queue.Physicists
checkCreditsTest.Credit
checkCreditsMemoryTest.Credit
checkFTest.Credit.Queue.Bootstrapped
checkQTest.Credit.Queue.Bootstrapped
checkwTest.Credit.Queue.Physicists
CLazyConTest.Credit.Deque.Catenable
ClosedCurrentControl.Monad.Credit
CmpdTest.Credit.Deque.ImplicitCat
cmpdTest.Credit.Deque.ImplicitCat
cmpdDangerTest.Credit.Deque.ImplicitCat
CmpdElemTest.Credit.Deque.ImplicitCat
ConcatTest.Credit.Deque.Base
concatTest.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
costSnocTest.Credit.Deque.Catenable
costUnconsTest.Credit.Deque.Catenable
CounterMControl.Monad.Credit
CounterTControl.Monad.Credit
createTest.Credit
CreditControl.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
creditAllToControl.Monad.Credit
CreditMControl.Monad.Credit
CreditTControl.Monad.Credit
creditWithControl.Monad.Credit
DTest.Credit.Deque.Base
dangerTest.Credit.Deque.SimpleCat
dangerousTest.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
DataStructureTest.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
deep0Test.Credit.Finger
deepDangerTest.Credit.Deque.ImplicitCat
deepLTest.Credit.Finger
deepNTest.Credit.Finger
deepRTest.Credit.Finger
delayControl.Monad.Credit
DequeTest.Credit.Deque.Base
DequeIsTest.Credit.Deque.SimpleCat
DequeOpTest.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
dischargeFirstTest.Credit.Deque.Catenable
dischargeThunkTest.Credit.Deque.Catenable
dropUntilTest.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
EmTest.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
ErrorControl.Monad.Credit
evalTest.Credit.Deque.Streams
evaloneTest.Credit.Queue.Streams
execTest.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
execAllTest.Credit.Sortable.Scheduled
fTest.Credit.Queue.Bootstrapped
FConsTest.Credit.Finger
findFirstThunkTest.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
FingerTreeTest.Credit.Finger
FInitTest.Credit.Finger
FLazyConTest.Credit.Finger
flenTest.Credit.Queue.Bankers
forceControl.Monad.Credit
forceAllTest.Credit.Finger
foundTest.Credit.Finger
FPureTest.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
FSnocTest.Credit.Finger
FTailTest.Credit.Finger
genTreeTest.Credit
ghostTest.Credit.Queue.Bootstrapped
ghostfTest.Credit.Deque.Bankers
ghostrTest.Credit.Deque.Bankers
glueTest.Credit.Finger
HTest.Credit.Heap.Base
hasAtLeastControl.Monad.Credit
HasStepControl.Monad.Credit
hcostTest.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
HeapOpTest.Credit.Heap.Base
icreditWithTest.Credit.Deque.ImplicitCat
idxTest.Credit.RandomAccess.Base
ifIndirectTest.Credit.Queue.Streams
ILazyTest.Credit.Deque.ImplicitCat
ILazyCon 
1 (Type/Class)Test.Credit.Deque.ImplicitCat
2 (Type/Class)Test.Credit.Queue.Implicit
ImplicitTest.Credit.Queue.Implicit
ImplicitCatTest.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
initTest.Credit.Finger
InsertTest.Credit.Heap.Base
insertTest.Credit.Heap.Base
insTree 
1 (Function)Test.Credit.Heap.Binomial
2 (Function)Test.Credit.Heap.Scheduled
InvalidAccountControl.Monad.Credit
InvalidTickControl.Monad.Credit
IPayTest.Credit.Deque.ImplicitCat
IPureTest.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
ISnocTest.Credit.Queue.Implicit
isTwoTest.Credit.Finger
ITailTest.Credit.Queue.Implicit
Key 
1 (Type/Class)Test.Credit.Finger
2 (Data Constructor)Test.Credit.Finger
lastTest.Credit.Finger
Lazy 
1 (Type/Class)Control.Monad.Credit
2 (Data Constructor)Control.Monad.Credit
lazymatchControl.Monad.Credit
LazyPairingTest.Credit.Heap.LazyPairing
lazyqueueTest.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
lenfmTest.Credit.Queue.Bootstrapped
lengthTest.Credit.Finger
lenr 
1 (Function)Test.Credit.Deque.Realtime
2 (Function)Test.Credit.Deque.Bankers
3 (Function)Test.Credit.Queue.Bootstrapped
linearTest.Credit
linearizeControl.Monad.Credit
LinkTest.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
LinkAllTest.Credit.Deque.Catenable
linkAllTest.Credit.Deque.Catenable
log2Test.Credit
logstarTest.Credit
LookupTest.Credit.RandomAccess.Base
lookupTest.Credit.RandomAccess.Base
lookupTree 
1 (Function)Test.Credit.RandomAccess.Binary
2 (Function)Test.Credit.RandomAccess.Zeroless
3 (Function)Test.Credit.Finger
mTest.Credit.Queue.Bootstrapped
map1Test.Credit.Finger
mapNTest.Credit.Finger
measureTest.Credit.Finger
MeasuredTest.Credit.Finger
measurementTest.Credit.Finger
measureOfSmallerTest.Credit.Finger
MemoryControl.Monad.Credit
MemoryCellControl.Monad.Credit
MemoryStructureControl.Monad.Credit
MergeTest.Credit.Heap.Base
mergeTest.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
MInftyTest.Credit.Finger
mkMCellControl.Monad.Credit
mkMListControl.Monad.Credit
MLazyConTest.Credit.Sortable.MergeSort
MonadCountControl.Monad.Credit
MonadCreditControl.Monad.Credit
MonadInheritControl.Monad.Credit
MonadLazyControl.Monad.Credit
MonadMemoryControl.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
NilTest.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
NoKeyTest.Credit.Finger
normTest.Credit.RandomAccess.Base
normalizeTest.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
OutOfCreditsControl.Monad.Credit
PairTest.Credit.Finger
pairTest.Credit.Finger
PairingTest.Credit.Heap.Pairing
PairingHeapTest.Credit.Heap.Pairing
PathTest.Credit
PennantTest.Credit
PhysicistsTest.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
prettyCellControl.Monad.Credit
prettyStructureControl.Monad.Credit
prettyThunkControl.Monad.Credit
Prio 
1 (Type/Class)Test.Credit.Finger
2 (Data Constructor)Test.Credit.Finger
psiTest.Credit.Sortable.MergeSort
PThunk 
1 (Type/Class)Test.Credit.Heap.LazyPairing
2 (Type/Class)Test.Credit.Queue.Physicists
PureTest.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
QueueOpTest.Credit.Queue.Base
rTest.Credit.Queue.Bootstrapped
RA 
1 (Type/Class)Test.Credit.RandomAccess.Base
2 (Data Constructor)Test.Credit.RandomAccess.Base
RandomTest.Credit
RandomAccessTest.Credit.RandomAccess.Base
RandomAccessOpTest.Credit.RandomAccess.Base
rankTest.Credit.Heap.Binomial
RDeque 
1 (Type/Class)Test.Credit.Deque.Realtime
2 (Data Constructor)Test.Credit.Deque.Realtime
rdequeTest.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
replaceHeadTest.Credit.Deque.ImplicitCat
replaceLastTest.Credit.Deque.ImplicitCat
RevTest.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
revOneStreamTest.Credit.Heap.Scheduled
rlenTest.Credit.Queue.Bankers
RootTest.Credit.Heap.Pairing
rootTest.Credit.Heap.Binomial
RQueue 
1 (Type/Class)Test.Credit.Queue.Realtime
2 (Data Constructor)Test.Credit.Queue.Realtime
rqueueTest.Credit.Queue.Realtime
runCounterMControl.Monad.Credit
runCounterTControl.Monad.Credit
runCreditMControl.Monad.Credit
runCreditTControl.Monad.Credit
runTreeTest.Credit
runTreeMemoryTest.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
scheduleTest.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
scostTest.Credit.Sortable.Base
seekFirstThunkTest.Credit.Deque.Catenable
sfTest.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
shareTest.Credit.Deque.ImplicitCat
showImplicitTest.Credit.Queue.Implicit
showThunkTest.Credit.Queue.Implicit
SimpleTest.Credit.Deque.ImplicitCat
SimpleCatTest.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
SingleTest.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
SmallTest.Credit.Deque.SimpleCat
smallerTest.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
SortTest.Credit.Sortable.Base
sortTest.Credit.Sortable.Base
SortableTest.Credit.Sortable.Base
SortableOpTest.Credit.Sortable.Base
Split 
1 (Type/Class)Test.Credit.Finger
2 (Data Constructor)Test.Credit.Finger
splitTest.Credit.Finger
splitAtTest.Credit.Finger
splitDigitTest.Credit.Finger
SplitMinTest.Credit.Heap.Base
splitMinTest.Credit.Heap.Base
splitTreeTest.Credit.Finger
srTest.Credit.Deque.Realtime
SRevDropTest.Credit.Deque.Streams
SReverseTest.Credit.Queue.Streams
STakeTest.Credit.Deque.Streams
stepControl.Monad.Credit
SThunkTest.Credit.Queue.Streams
StrategyTest.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
streamToListTest.Credit.Sortable.Scheduled
TailTest.Credit.Queue.Physicists
tail 
1 (Function)Test.Credit.Queue.Implicit
2 (Function)Test.Credit.Finger
takeUntilTest.Credit.Finger
testTest.Credit.Queue.Streams
Three 
1 (Data Constructor)Test.Credit.RandomAccess.Zeroless
2 (Data Constructor)Test.Credit.Finger
ThunkControl.Monad.Credit
tickControl.Monad.Credit
TicksControl.Monad.Credit
toDigitTest.Credit.Finger
toList 
1 (Function)Test.Credit.Queue.Streams
2 (Function)Test.Credit.Finger
tooSmallTest.Credit.Deque.SimpleCat
toTreeTest.Credit.Finger
toTuplesTest.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
treeToListTest.Credit.Finger
TripleTest.Credit.Finger
tripleTest.Credit.Finger
TupleTest.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
unBinaryRATest.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
UnsnocTest.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
unZerolessRATest.Credit.RandomAccess.Zeroless
UpdateTest.Credit.RandomAccess.Base
updateTest.Credit.RandomAccess.Base
updateTree 
1 (Function)Test.Credit.RandomAccess.Binary
2 (Function)Test.Credit.RandomAccess.Zeroless
UserErrorControl.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