agda-unused-0.1.0: src/Agda/Unused.hs

{- |
Module: Agda.Unused

Definitions and interface for the 'Unused' type, which represents a collection
of unused Agda code structures.
-}
module Agda.Unused
  ( Unused(..)
  , UnusedItems(..)
  ) where

import Agda.Unused.Types.Range
  (Range, RangeInfo)

-- ## Types

-- | A collection of unused items and files.
data Unused
  = Unused
  { unusedItems
    :: UnusedItems
  , unusedPaths
    :: [FilePath]
  } deriving Show

-- | A collection of unused items.
newtype UnusedItems
  = UnusedItems
  { unusedItemsList
    :: [(Range, RangeInfo)]
  } deriving Show