agda-unused-0.1.0: Check for unused code in an Agda project.

Index

AccessAgda.Unused.Types.Access
accessAgda.Unused.Types.Access
AccessContextAgda.Unused.Types.Context
accessContextDefineAgda.Unused.Types.Context
accessContextImportAgda.Unused.Types.Context
accessContextInsertRangeAllAgda.Unused.Types.Context
accessContextItemAgda.Unused.Types.Context
accessContextLookupAgda.Unused.Types.Context
accessContextLookupDefiningAgda.Unused.Types.Context
accessContextLookupModuleAgda.Unused.Types.Context
accessContextLookupSpecialAgda.Unused.Types.Context
accessContextMatchAgda.Unused.Types.Context
accessContextModuleAgda.Unused.Types.Context
accessContextModule'Agda.Unused.Types.Context
accessContextUnionAgda.Unused.Types.Context
AccessModule 
1 (Type/Class)Agda.Unused.Types.Context
2 (Data Constructor)Agda.Unused.Types.Context
askLocalAgda.Unused.Monad.Reader
askRootAgda.Unused.Monad.Reader
askSkipAgda.Unused.Monad.Reader
BlockedAgda.Unused.Monad.State
CheckedAgda.Unused.Monad.State
checkUnusedAgda.Unused.Check
checkUnusedLocalAgda.Unused.Check
ContextAgda.Unused.Types.Context
contextDeleteAgda.Unused.Types.Context
contextDeleteModuleAgda.Unused.Types.Context
contextInsertRangeAgda.Unused.Types.Context
contextInsertRangeAllAgda.Unused.Types.Context
contextInsertRangeModuleAgda.Unused.Types.Context
contextItemAgda.Unused.Types.Context
contextLookupAgda.Unused.Types.Context
contextLookupItemAgda.Unused.Types.Context
contextLookupModuleAgda.Unused.Types.Context
contextModuleAgda.Unused.Types.Context
contextRangesAgda.Unused.Types.Context
contextRenameAgda.Unused.Types.Context
contextRenameModuleAgda.Unused.Types.Context
Environment 
1 (Type/Class)Agda.Unused.Monad.Reader
2 (Data Constructor)Agda.Unused.Monad.Reader
environmentLocalAgda.Unused.Monad.Reader
environmentRootAgda.Unused.Monad.Reader
environmentSkipAgda.Unused.Monad.Reader
ErrorAgda.Unused.Monad.Error
ErrorAmbiguousAgda.Unused.Monad.Error
ErrorConstructorAgda.Unused.Monad.Error
ErrorCyclicAgda.Unused.Monad.Error
ErrorDeclarationAgda.Unused.Monad.Error
ErrorFileAgda.Unused.Monad.Error
ErrorFixityAgda.Unused.Monad.Error
ErrorInternalAgda.Unused.Monad.Error
ErrorMacroAgda.Unused.Monad.Error
ErrorNameAgda.Unused.Monad.Error
ErrorOpenAgda.Unused.Monad.Error
ErrorParseAgda.Unused.Monad.Error
ErrorPolarityAgda.Unused.Monad.Error
ErrorRenamingAgda.Unused.Monad.Error
ErrorRootAgda.Unused.Monad.Error
ErrorUnexpectedAgda.Unused.Monad.Error
ErrorUnsupportedAgda.Unused.Monad.Error
fromAccessAgda.Unused.Types.Access
fromAsNameAgda.Unused.Types.Name
fromContextAgda.Unused.Types.Context
fromListAgda.Unused.Types.Root
fromNameAgda.Unused.Types.Name
fromNameRangeAgda.Unused.Types.Name
fromQNameAgda.Unused.Types.Name
fromQNameRangeAgda.Unused.Types.Name
getRangeAgda.Unused.Types.Range
HoleAgda.Unused.Types.Name
IdAgda.Unused.Types.Name
InternalErrorAgda.Unused.Monad.Error
isBuiltinAgda.Unused.Types.Name
ItemAgda.Unused.Types.Context
itemAgda.Unused.Types.Context
itemConstructorAgda.Unused.Types.Context
itemPatternAgda.Unused.Types.Context
liftLookupAgda.Unused.Monad.Error
liftMaybeAgda.Unused.Utils
localSkipAgda.Unused.Monad.Reader
LookupAmbiguousAgda.Unused.Types.Context
LookupErrorAgda.Unused.Types.Context
LookupNotFoundAgda.Unused.Types.Context
mapDeletesAgda.Unused.Utils
mapLeftAgda.Unused.Utils
mapUpdateKeyAgda.Unused.Utils
matchOperatorsAgda.Unused.Types.Name
modifyDeleteAgda.Unused.Monad.State
modifyInsertAgda.Unused.Monad.State
Module 
1 (Type/Class)Agda.Unused.Types.Context
2 (Data Constructor)Agda.Unused.Types.Context
moduleRangesAgda.Unused.Types.Context
ModuleStateAgda.Unused.Monad.State
Name 
1 (Type/Class)Agda.Unused.Types.Name
2 (Data Constructor)Agda.Unused.Types.Name
nameIdsAgda.Unused.Types.Name
NamePartAgda.Unused.Types.Name
namePartsAgda.Unused.Types.Name
NoRangeAgda.Unused.Types.Range
parseConfigAgda.Unused.Parse
pathQNameAgda.Unused.Types.Name
printErrorAgda.Unused.Print
printNothingAgda.Unused.Print
printUnusedAgda.Unused.Print
printUnusedItemsAgda.Unused.Print
PrivateAgda.Unused.Types.Access
PublicAgda.Unused.Types.Access
QName 
1 (Type/Class)Agda.Unused.Types.Name
2 (Data Constructor)Agda.Unused.Types.Name
qNamePathAgda.Unused.Types.Name
QualAgda.Unused.Types.Name
Range 
1 (Data Constructor)Agda.Unused.Types.Range
2 (Type/Class)Agda.Unused.Types.Range
Range'Agda.Unused.Types.Range
rangeContainsAgda.Unused.Types.Range
RangeDataAgda.Unused.Types.Range
RangeDefinitionAgda.Unused.Types.Range
RangeImportAgda.Unused.Types.Range
RangeImportItemAgda.Unused.Types.Range
RangeInfoAgda.Unused.Types.Range
RangeModuleAgda.Unused.Types.Range
RangeModuleItemAgda.Unused.Types.Range
RangeMutualAgda.Unused.Types.Range
RangeNamedAgda.Unused.Types.Range
RangeOpenAgda.Unused.Types.Range
RangeOpenItemAgda.Unused.Types.Range
RangePatternSynonymAgda.Unused.Types.Range
RangePostulateAgda.Unused.Types.Range
RangeRecordAgda.Unused.Types.Range
RangeRecordConstructorAgda.Unused.Types.Range
RangeTypeAgda.Unused.Types.Range
RangeVariableAgda.Unused.Types.Range
Root 
1 (Type/Class)Agda.Unused.Types.Root
2 (Data Constructor)Agda.Unused.Types.Root
rootFileAgda.Unused.Types.Root
rootNamesAgda.Unused.Types.Root
Roots 
1 (Type/Class)Agda.Unused.Types.Root
2 (Data Constructor)Agda.Unused.Types.Root
rootsCheckAgda.Unused.Types.Root
rootsIgnoreAgda.Unused.Types.Root
StateAgda.Unused.Monad.State
stateBlockAgda.Unused.Monad.State
stateCheckAgda.Unused.Monad.State
stateEmptyAgda.Unused.Monad.State
stateItemsAgda.Unused.Monad.State
stateLookupAgda.Unused.Monad.State
stateModulesAgda.Unused.Monad.State
stripPrefixAgda.Unused.Types.Name
stripSuffixAgda.Unused.Utils
toContextAgda.Unused.Types.Context
UnexpectedAbsurdAgda.Unused.Monad.Error
UnexpectedAsAgda.Unused.Monad.Error
UnexpectedDontCareAgda.Unused.Monad.Error
UnexpectedEllipsisAgda.Unused.Monad.Error
UnexpectedEqualAgda.Unused.Monad.Error
UnexpectedErrorAgda.Unused.Monad.Error
UnexpectedETelAgda.Unused.Monad.Error
UnexpectedFieldAgda.Unused.Monad.Error
UnexpectedNiceFunClauseAgda.Unused.Monad.Error
UnexpectedOpAppAgda.Unused.Monad.Error
UnexpectedOpAppPAgda.Unused.Monad.Error
UnsupportedErrorAgda.Unused.Monad.Error
UnsupportedMacroAgda.Unused.Monad.Error
UnsupportedUnquoteAgda.Unused.Monad.Error
Unused 
1 (Type/Class)Agda.Unused
2 (Data Constructor)Agda.Unused
UnusedItems 
1 (Type/Class)Agda.Unused
2 (Data Constructor)Agda.Unused
unusedItemsAgda.Unused
unusedItemsListAgda.Unused
unusedPathsAgda.Unused