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

Documentation

A collection of unused items and files.

Constructors

Unused
Fields unusedFiles :: [FilePath] unusedItems :: UnusedItems

Instances details

Show Unused Source #
Instance details Defined in Agda.Unused Methods showsPrec :: Int -> Unused -> ShowS # show :: Unused -> String # showList :: [Unused] -> ShowS #

A collection of unused items.

Constructors

UnusedItems
Fields unusedItemsList :: [(Range, RangeInfo)]

Instances details

Show UnusedItems Source #
Instance details Defined in Agda.Unused Methods showsPrec :: Int -> UnusedItems -> ShowS # show :: UnusedItems -> String # showList :: [UnusedItems] -> ShowS #

Options required by check functions.

Constructors

UnusedOptions
Fields unusedOptionsInclude :: [FilePath] unusedOptionsLibraries :: [Text] unusedOptionsLibrariesFile :: Maybe FilePath unusedOptionsUseLibraries :: Bool unusedOptionsUseDefaultLibraries :: Bool

Instances details

Show UnusedOptions Source #
Instance details Defined in Agda.Unused Methods showsPrec :: Int -> UnusedOptions -> ShowS # show :: UnusedOptions -> String # showList :: [UnusedOptions] -> ShowS #