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

Index

AccessAgda.Unused.Types.Access
accessAgda.Unused.Types.Access
AccessContextAgda.Unused.Types.Context
accessContextConstructorAgda.Unused.Types.Context
accessContextDefineAgda.Unused.Types.Context
accessContextDefineFieldsAgda.Unused.Types.Context
accessContextFieldAgda.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
accessContextPatternAgda.Unused.Types.Context
accessContextRangesAgda.Unused.Types.Context
accessContextUnionAgda.Unused.Types.Context
AccessModule 
1 (Type/Class)Agda.Unused.Types.Context
2 (Data Constructor)Agda.Unused.Types.Context
askGlobalMainAgda.Unused.Monad.Reader
askIncludesAgda.Unused.Monad.Reader
askLocalAgda.Unused.Monad.Reader
askRootAgda.Unused.Monad.Reader
askSkipAgda.Unused.Monad.Reader
BlockedAgda.Unused.Monad.State
CheckedAgda.Unused.Monad.State
checkUnusedAgda.Unused.Check
checkUnusedGlobalAgda.Unused.Check
checkUnusedWithAgda.Unused.Check
ContextAgda.Unused.Types.Context
contextDeleteAgda.Unused.Types.Context
contextDeleteModuleAgda.Unused.Types.Context
contextInsertRangeAllAgda.Unused.Types.Context
contextItemAgda.Unused.Types.Context
contextLookupItemAgda.Unused.Types.Context
contextLookupModuleAgda.Unused.Types.Context
contextModuleAgda.Unused.Types.Context
contextRangesAgda.Unused.Types.Context
Environment 
1 (Type/Class)Agda.Unused.Monad.Reader
2 (Data Constructor)Agda.Unused.Monad.Reader
environmentIncludesAgda.Unused.Monad.Reader
environmentModeAgda.Unused.Monad.Reader
environmentRootAgda.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
ErrorFindAgda.Unused.Monad.Error
ErrorFixityAgda.Unused.Monad.Error
ErrorGlobalAgda.Unused.Monad.Error
ErrorIncludeAgda.Unused.Monad.Error
ErrorInternalAgda.Unused.Monad.Error
ErrorMacroAgda.Unused.Monad.Error
ErrorModuleNameAgda.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
fromModuleNameAgda.Unused.Types.Name
fromNameAgda.Unused.Types.Name
fromNameRangeAgda.Unused.Types.Name
fromQNameAgda.Unused.Types.Name
fromQNameRangeAgda.Unused.Types.Name
getModuleAgda.Unused.Monad.State
getRangeAgda.Unused.Types.Range
getSourcesAgda.Unused.Monad.State
GlobalAgda.Unused.Monad.Reader
GlobalMainAgda.Unused.Monad.Reader
HoleAgda.Unused.Types.Name
IdAgda.Unused.Types.Name
InternalErrorAgda.Unused.Monad.Error
ItemAgda.Unused.Types.Context
liftLookupAgda.Unused.Monad.Error
liftMaybeAgda.Unused.Utils
LocalAgda.Unused.Monad.Reader
localGlobalAgda.Unused.Monad.Reader
localSkipAgda.Unused.Monad.Reader
LookupAmbiguousAgda.Unused.Types.Context
LookupErrorAgda.Unused.Types.Context
LookupNotFoundAgda.Unused.Types.Context
mapLeftAgda.Unused.Utils
matchOperatorsAgda.Unused.Types.Name
ModeAgda.Unused.Monad.Reader
modifyBlockAgda.Unused.Monad.State
modifyCheckAgda.Unused.Monad.State
modifyDeleteAgda.Unused.Monad.State
modifyInsertAgda.Unused.Monad.State
modifySourcesAgda.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
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
rangePathAgda.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
SkipAgda.Unused.Monad.Reader
StateAgda.Unused.Monad.State
stateEmptyAgda.Unused.Monad.State
stateItemsAgda.Unused.Monad.State
stateModulesAgda.Unused.Monad.State
stripPrefixAgda.Unused.Types.Name
stripSuffixAgda.Unused.Utils
toContextAgda.Unused.Types.Context
toNameAgda.Unused.Types.Name
toQNameAgda.Unused.Types.Name
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
unusedFilesAgda.Unused
UnusedItems 
1 (Type/Class)Agda.Unused
2 (Data Constructor)Agda.Unused
unusedItemsAgda.Unused
unusedItemsListAgda.Unused
UnusedOptions 
1 (Type/Class)Agda.Unused
2 (Data Constructor)Agda.Unused
unusedOptionsIncludeAgda.Unused
unusedOptionsLibrariesAgda.Unused
unusedOptionsLibrariesFileAgda.Unused
unusedOptionsUseDefaultLibrariesAgda.Unused
unusedOptionsUseLibrariesAgda.Unused