| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Unused.Check
Description
Check an Agda project for unused code.
Synopsis
- checkUnused :: UnusedOptions -> FilePath -> IO (Either Error UnusedItems)
- checkUnusedGlobal :: UnusedOptions -> FilePath -> IO (Either Error Unused)
- checkUnusedWith :: Mode -> UnusedOptions -> FilePath -> IO (Either Error UnusedItems)
Documentation
Arguments
| :: UnusedOptions | Options to use. |
| -> FilePath | Absolute path of the file to check. |
| -> IO (Either Error UnusedItems) |
Check an Agda file and its dependencies for unused code, excluding public items that could be imported elsewhere.
Arguments
| :: UnusedOptions | Options to use. |
| -> FilePath | Absolute path of the file to check. |
| -> IO (Either Error Unused) |
Check an Agda file and its dependencies for unused code, including public items in dependencies, as well as files.
The given file should consist only of import statements; it serves as a full description of the public interface of the project.
Arguments
| :: Mode | The check mode to use. |
| -> UnusedOptions | Options to use. |
| -> FilePath | Absolute path of the file to check. |
| -> IO (Either Error UnusedItems) |
Check an Agda file and its dependencies for unused code, using the specified check mode.