agda-unused-0.1.0: Check for unused code in an Agda project. (Index - C)

agda-unused-0.1.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 - C

Checked	Agda.Unused.Monad.State
checkUnused	Agda.Unused.Check
checkUnusedLocal	Agda.Unused.Check
Context	Agda.Unused.Types.Context
contextDelete	Agda.Unused.Types.Context
contextDeleteModule	Agda.Unused.Types.Context
contextInsertRange	Agda.Unused.Types.Context
contextInsertRangeAll	Agda.Unused.Types.Context
contextInsertRangeModule	Agda.Unused.Types.Context
contextItem	Agda.Unused.Types.Context
contextLookup	Agda.Unused.Types.Context
contextLookupItem	Agda.Unused.Types.Context
contextLookupModule	Agda.Unused.Types.Context
contextModule	Agda.Unused.Types.Context
contextRanges	Agda.Unused.Types.Context
contextRename	Agda.Unused.Types.Context
contextRenameModule	Agda.Unused.Types.Context