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

Index - E

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