agda-unused-0.1.0: Check for unused code in an Agda project.
Safe HaskellNone
LanguageHaskell2010

Agda.Unused.Types.Root

Description

Data types representing public entry points for an Agda project.

Synopsis

Types

data Root Source #

A public entry point for an Agda project.

Constructors

Root 

Fields

Instances

Instances details
Show Root Source # 
Instance details

Defined in Agda.Unused.Types.Root

Methods

showsPrec :: Int -> Root -> ShowS #

show :: Root -> String #

showList :: [Root] -> ShowS #

data Roots Source #

A collection of public entry points for an Agda project.

Constructors

Roots 

Fields

Instances

Instances details
Show Roots Source # 
Instance details

Defined in Agda.Unused.Types.Root

Methods

showsPrec :: Int -> Roots -> ShowS #

show :: Roots -> String #

showList :: [Roots] -> ShowS #

Construction

fromList :: [Either QName Root] -> Roots Source #

Construct a collection of roots from a list of elements.