| Access | Agda.Unused.Types.Access |
| access | Agda.Unused.Types.Access |
| AccessContext | Agda.Unused.Types.Context |
| accessContextConstructor | Agda.Unused.Types.Context |
| accessContextDefine | Agda.Unused.Types.Context |
| accessContextDefineFields | Agda.Unused.Types.Context |
| accessContextField | Agda.Unused.Types.Context |
| accessContextImport | Agda.Unused.Types.Context |
| accessContextInsertRangeAll | Agda.Unused.Types.Context |
| accessContextItem | Agda.Unused.Types.Context |
| accessContextLookup | Agda.Unused.Types.Context |
| accessContextLookupDefining | Agda.Unused.Types.Context |
| accessContextLookupModule | Agda.Unused.Types.Context |
| accessContextLookupSpecial | Agda.Unused.Types.Context |
| accessContextMatch | Agda.Unused.Types.Context |
| accessContextModule | Agda.Unused.Types.Context |
| accessContextModule' | Agda.Unused.Types.Context |
| accessContextPattern | Agda.Unused.Types.Context |
| accessContextRanges | Agda.Unused.Types.Context |
| accessContextUnion | Agda.Unused.Types.Context |
| AccessModule | |
| 1 (Type/Class) | Agda.Unused.Types.Context |
| 2 (Data Constructor) | Agda.Unused.Types.Context |
| askGlobalMain | Agda.Unused.Monad.Reader |
| askIncludes | Agda.Unused.Monad.Reader |
| askLocal | Agda.Unused.Monad.Reader |
| askRoot | Agda.Unused.Monad.Reader |
| askSkip | Agda.Unused.Monad.Reader |
| Blocked | Agda.Unused.Monad.State |
| Checked | Agda.Unused.Monad.State |
| checkUnused | Agda.Unused.Check |
| checkUnusedGlobal | Agda.Unused.Check |
| checkUnusedWith | Agda.Unused.Check |
| Context | Agda.Unused.Types.Context |
| contextDelete | Agda.Unused.Types.Context |
| contextDeleteModule | Agda.Unused.Types.Context |
| contextInsertRangeAll | Agda.Unused.Types.Context |
| contextItem | Agda.Unused.Types.Context |
| contextLookupItem | Agda.Unused.Types.Context |
| contextLookupModule | Agda.Unused.Types.Context |
| contextModule | Agda.Unused.Types.Context |
| contextRanges | Agda.Unused.Types.Context |
| Environment | |
| 1 (Type/Class) | Agda.Unused.Monad.Reader |
| 2 (Data Constructor) | Agda.Unused.Monad.Reader |
| environmentIncludes | Agda.Unused.Monad.Reader |
| environmentMode | Agda.Unused.Monad.Reader |
| environmentRoot | Agda.Unused.Monad.Reader |
| Error | Agda.Unused.Monad.Error |
| ErrorAmbiguous | Agda.Unused.Monad.Error |
| ErrorConstructor | Agda.Unused.Monad.Error |
| ErrorCyclic | Agda.Unused.Monad.Error |
| ErrorDeclaration | Agda.Unused.Monad.Error |
| ErrorFile | Agda.Unused.Monad.Error |
| ErrorFind | Agda.Unused.Monad.Error |
| ErrorFixity | Agda.Unused.Monad.Error |
| ErrorGlobal | Agda.Unused.Monad.Error |
| ErrorInclude | Agda.Unused.Monad.Error |
| ErrorInternal | Agda.Unused.Monad.Error |
| ErrorMacro | Agda.Unused.Monad.Error |
| ErrorModuleName | Agda.Unused.Monad.Error |
| ErrorName | Agda.Unused.Monad.Error |
| ErrorOpen | Agda.Unused.Monad.Error |
| ErrorParse | Agda.Unused.Monad.Error |
| ErrorPolarity | Agda.Unused.Monad.Error |
| ErrorRenaming | Agda.Unused.Monad.Error |
| ErrorRoot | Agda.Unused.Monad.Error |
| ErrorUnexpected | Agda.Unused.Monad.Error |
| ErrorUnsupported | Agda.Unused.Monad.Error |
| fromAccess | Agda.Unused.Types.Access |
| fromAsName | Agda.Unused.Types.Name |
| fromContext | Agda.Unused.Types.Context |
| fromModuleName | Agda.Unused.Types.Name |
| fromName | Agda.Unused.Types.Name |
| fromNameRange | Agda.Unused.Types.Name |
| fromQName | Agda.Unused.Types.Name |
| fromQNameRange | Agda.Unused.Types.Name |
| getModule | Agda.Unused.Monad.State |
| getRange | Agda.Unused.Types.Range |
| getSources | Agda.Unused.Monad.State |
| Global | Agda.Unused.Monad.Reader |
| GlobalMain | Agda.Unused.Monad.Reader |
| Hole | Agda.Unused.Types.Name |
| Id | Agda.Unused.Types.Name |
| InternalError | Agda.Unused.Monad.Error |
| Item | Agda.Unused.Types.Context |
| liftLookup | Agda.Unused.Monad.Error |
| liftMaybe | Agda.Unused.Utils |
| Local | Agda.Unused.Monad.Reader |
| localGlobal | Agda.Unused.Monad.Reader |
| localSkip | Agda.Unused.Monad.Reader |
| LookupAmbiguous | Agda.Unused.Types.Context |
| LookupError | Agda.Unused.Types.Context |
| LookupNotFound | Agda.Unused.Types.Context |
| mapLeft | Agda.Unused.Utils |
| matchOperators | Agda.Unused.Types.Name |
| Mode | Agda.Unused.Monad.Reader |
| modifyBlock | Agda.Unused.Monad.State |
| modifyCheck | Agda.Unused.Monad.State |
| modifyDelete | Agda.Unused.Monad.State |
| modifyInsert | Agda.Unused.Monad.State |
| modifySources | Agda.Unused.Monad.State |
| Module | |
| 1 (Type/Class) | Agda.Unused.Types.Context |
| 2 (Data Constructor) | Agda.Unused.Types.Context |
| moduleRanges | Agda.Unused.Types.Context |
| ModuleState | Agda.Unused.Monad.State |
| Name | |
| 1 (Type/Class) | Agda.Unused.Types.Name |
| 2 (Data Constructor) | Agda.Unused.Types.Name |
| nameIds | Agda.Unused.Types.Name |
| NamePart | Agda.Unused.Types.Name |
| nameParts | Agda.Unused.Types.Name |
| NoRange | Agda.Unused.Types.Range |
| pathQName | Agda.Unused.Types.Name |
| printError | Agda.Unused.Print |
| printNothing | Agda.Unused.Print |
| printUnused | Agda.Unused.Print |
| printUnusedItems | Agda.Unused.Print |
| Private | Agda.Unused.Types.Access |
| Public | Agda.Unused.Types.Access |
| QName | |
| 1 (Type/Class) | Agda.Unused.Types.Name |
| 2 (Data Constructor) | Agda.Unused.Types.Name |
| qNamePath | Agda.Unused.Types.Name |
| Qual | Agda.Unused.Types.Name |
| Range | |
| 1 (Data Constructor) | Agda.Unused.Types.Range |
| 2 (Type/Class) | Agda.Unused.Types.Range |
| Range' | Agda.Unused.Types.Range |
| rangeContains | Agda.Unused.Types.Range |
| RangeData | Agda.Unused.Types.Range |
| RangeDefinition | Agda.Unused.Types.Range |
| RangeImport | Agda.Unused.Types.Range |
| RangeImportItem | Agda.Unused.Types.Range |
| RangeInfo | Agda.Unused.Types.Range |
| RangeModule | Agda.Unused.Types.Range |
| RangeModuleItem | Agda.Unused.Types.Range |
| RangeMutual | Agda.Unused.Types.Range |
| RangeNamed | Agda.Unused.Types.Range |
| RangeOpen | Agda.Unused.Types.Range |
| RangeOpenItem | Agda.Unused.Types.Range |
| rangePath | Agda.Unused.Types.Range |
| RangePatternSynonym | Agda.Unused.Types.Range |
| RangePostulate | Agda.Unused.Types.Range |
| RangeRecord | Agda.Unused.Types.Range |
| RangeRecordConstructor | Agda.Unused.Types.Range |
| RangeType | Agda.Unused.Types.Range |
| RangeVariable | Agda.Unused.Types.Range |
| Skip | Agda.Unused.Monad.Reader |
| State | Agda.Unused.Monad.State |
| stateEmpty | Agda.Unused.Monad.State |
| stateItems | Agda.Unused.Monad.State |
| stateModules | Agda.Unused.Monad.State |
| stripPrefix | Agda.Unused.Types.Name |
| stripSuffix | Agda.Unused.Utils |
| toContext | Agda.Unused.Types.Context |
| toName | Agda.Unused.Types.Name |
| toQName | Agda.Unused.Types.Name |
| UnexpectedAbsurd | Agda.Unused.Monad.Error |
| UnexpectedAs | Agda.Unused.Monad.Error |
| UnexpectedDontCare | Agda.Unused.Monad.Error |
| UnexpectedEllipsis | Agda.Unused.Monad.Error |
| UnexpectedEqual | Agda.Unused.Monad.Error |
| UnexpectedError | Agda.Unused.Monad.Error |
| UnexpectedETel | Agda.Unused.Monad.Error |
| UnexpectedField | Agda.Unused.Monad.Error |
| UnexpectedNiceFunClause | Agda.Unused.Monad.Error |
| UnexpectedOpApp | Agda.Unused.Monad.Error |
| UnexpectedOpAppP | Agda.Unused.Monad.Error |
| UnsupportedError | Agda.Unused.Monad.Error |
| UnsupportedMacro | Agda.Unused.Monad.Error |
| UnsupportedUnquote | Agda.Unused.Monad.Error |
| Unused | |
| 1 (Type/Class) | Agda.Unused |
| 2 (Data Constructor) | Agda.Unused |
| unusedFiles | Agda.Unused |
| UnusedItems | |
| 1 (Type/Class) | Agda.Unused |
| 2 (Data Constructor) | Agda.Unused |
| unusedItems | Agda.Unused |
| unusedItemsList | Agda.Unused |
| UnusedOptions | |
| 1 (Type/Class) | Agda.Unused |
| 2 (Data Constructor) | Agda.Unused |
| unusedOptionsInclude | Agda.Unused |
| unusedOptionsLibraries | Agda.Unused |
| unusedOptionsLibrariesFile | Agda.Unused |
| unusedOptionsUseDefaultLibraries | Agda.Unused |
| unusedOptionsUseLibraries | Agda.Unused |