termination-combinators-0.1: Termination combinators for forcing non-terminating algorithms to terminate

Index

alwaysTControl.Termination
boolTControl.Termination
ContinueControl.Termination
eitherTControl.Termination
FiniteControl.Termination
finiteMapTControl.Termination
finiteTControl.Termination
FixControl.Termination
fixTControl.Termination
gfixTControl.Termination
initHistoryControl.Termination
intTControl.Termination
pairTControl.Termination
RollControl.Termination
StopControl.Termination
testControl.Termination
TestResultControl.Termination
TTestControl.Termination
unitTControl.Termination
unrollControl.Termination
WellOrderedControl.Termination