focus-1.0.1.3: A general abstraction for manipulating elements of container data structures

Index

adjustFocus
adjustMFocus
alterFocus
alterMFocus
casesFocus
casesMFocus
ChangeFocus
deleteFocus
extractingChangeFocus
extractingInputFocus
Focus 
1 (Type/Class)Focus
2 (Data Constructor)Focus
insertFocus
insertMFocus
insertOrMergeFocus
insertOrMergeMFocus
LeaveFocus
lookupFocus
lookupAndDeleteFocus
lookupWithDefaultFocus
lookupWithDefaultMFocus
mappingInputFocus
memberFocus
onTVarValueFocus
projectingChangeFocus
RemoveFocus
SetFocus
testingIfInsertsFocus
testingIfModifiesFocus
testingIfRemovesFocus
testingSizeChangeFocus
unitCasesFocus
unitCasesMFocus
updateFocus
updateMFocus