agda-unused-0.2.0: Check for unused code in an Agda project.

Safe Haskell	None
Language	Haskell2010

Agda.Unused.Print

Description

Printing functions for unused items and errors.

Synopsis

printError :: Error -> Text
printUnused :: Unused -> Maybe Text
printUnusedItems :: UnusedItems -> Maybe Text
printNothing :: Text

Documentation

printError :: Error -> Text Source #

Print an error.

printUnused :: Unused -> Maybe Text Source #

Print a collection of unused items and files.

printUnusedItems :: UnusedItems -> Maybe Text Source #

Print a collection of unused items.

printNothing :: Text Source #

Print a message indicating that no unused code was found.