Agda.Unused

Definitions and interface for the Unused type, which represents a collection of unused Agda code structures.

Documentation

data Unused

A collection of unused items and files.

Constructors

Unused

Fields

• unusedFiles :: [FilePath]
• unusedItems :: UnusedItems

Instances

Show Unused

Defined in Agda.Unused

Methods

showsPrec :: Int -> Unused -> ShowS

show :: Unused -> String

showList :: [Unused] -> ShowS

newtype UnusedItems

A collection of unused items.

Constructors

UnusedItems

Fields

• unusedItemsList :: [(Range, RangeInfo)]

Instances

Show UnusedItems

Defined in Agda.Unused

Methods

showsPrec :: Int -> UnusedItems -> ShowS

show :: UnusedItems -> String

showList :: [UnusedItems] -> ShowS

data UnusedOptions

Options required by check functions.

Constructors

UnusedOptions

Fields

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

Instances

Show UnusedOptions

Defined in Agda.Unused

Methods

showsPrec :: Int -> UnusedOptions -> ShowS

show :: UnusedOptions -> String

showList :: [UnusedOptions] -> ShowS