agda-unused-0.2.0: Check for unused code in an Agda project. (Index - U)

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

A
B
C
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
All

Index - U

UnexpectedAbsurd	Agda.Unused.Monad.Error
UnexpectedAs	Agda.Unused.Monad.Error
UnexpectedDontCare	Agda.Unused.Monad.Error
UnexpectedEllipsis	Agda.Unused.Monad.Error
UnexpectedEqual	Agda.Unused.Monad.Error
UnexpectedError	Agda.Unused.Monad.Error
UnexpectedETel	Agda.Unused.Monad.Error
UnexpectedField	Agda.Unused.Monad.Error
UnexpectedNiceFunClause	Agda.Unused.Monad.Error
UnexpectedOpApp	Agda.Unused.Monad.Error
UnexpectedOpAppP	Agda.Unused.Monad.Error
UnsupportedError	Agda.Unused.Monad.Error
UnsupportedMacro	Agda.Unused.Monad.Error
UnsupportedUnquote	Agda.Unused.Monad.Error
Unused
1 (Type/Class)	Agda.Unused
2 (Data Constructor)	Agda.Unused
unusedFiles	Agda.Unused
UnusedItems
1 (Type/Class)	Agda.Unused
2 (Data Constructor)	Agda.Unused
unusedItems	Agda.Unused
unusedItemsList	Agda.Unused
UnusedOptions
1 (Type/Class)	Agda.Unused
2 (Data Constructor)	Agda.Unused
unusedOptionsInclude	Agda.Unused
unusedOptionsLibraries	Agda.Unused
unusedOptionsLibrariesFile	Agda.Unused
unusedOptionsUseDefaultLibraries	Agda.Unused
unusedOptionsUseLibraries	Agda.Unused