| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Unused.Check
Description
Check an Agda project for unused code.
Synopsis
- checkUnused :: FilePath -> Roots -> IO (Either Error Unused)
- checkUnusedLocal :: FilePath -> QName -> IO (Either Error UnusedItems)
Documentation
Arguments
| :: FilePath | The project root path. |
| -> Roots | The public entry points for the project. |
| -> IO (Either Error Unused) |
Check an Agda file and its dependencies for unused code.