Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Unused
Description
Definitions and interface for the Unused
type, which represents a collection
of unused Agda code structures.
Synopsis
- data Unused = Unused {}
- newtype UnusedItems = UnusedItems {
- unusedItemsList :: [(Range, RangeInfo)]
- data UnusedOptions = UnusedOptions {}
Documentation
A collection of unused items and files.
Constructors
Unused | |
Fields
|
newtype UnusedItems Source #
A collection of unused items.
Constructors
UnusedItems | |
Fields
|
Instances
Show UnusedItems Source # | |
Defined in Agda.Unused Methods showsPrec :: Int -> UnusedItems -> ShowS # show :: UnusedItems -> String # showList :: [UnusedItems] -> ShowS # |
data UnusedOptions Source #
Options required by check functions.
Constructors
UnusedOptions | |
Instances
Show UnusedOptions Source # | |
Defined in Agda.Unused Methods showsPrec :: Int -> UnusedOptions -> ShowS # show :: UnusedOptions -> String # showList :: [UnusedOptions] -> ShowS # |