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

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 - R

Range
1 (Data Constructor)	Agda.Unused.Types.Range
2 (Type/Class)	Agda.Unused.Types.Range
Range'	Agda.Unused.Types.Range
rangeContains	Agda.Unused.Types.Range
RangeData	Agda.Unused.Types.Range
RangeDefinition	Agda.Unused.Types.Range
RangeImport	Agda.Unused.Types.Range
RangeImportItem	Agda.Unused.Types.Range
RangeInfo	Agda.Unused.Types.Range
RangeModule	Agda.Unused.Types.Range
RangeModuleItem	Agda.Unused.Types.Range
RangeMutual	Agda.Unused.Types.Range
RangeNamed	Agda.Unused.Types.Range
RangeOpen	Agda.Unused.Types.Range
RangeOpenItem	Agda.Unused.Types.Range
RangePatternSynonym	Agda.Unused.Types.Range
RangePostulate	Agda.Unused.Types.Range
RangeRecord	Agda.Unused.Types.Range
RangeRecordConstructor	Agda.Unused.Types.Range
RangeType	Agda.Unused.Types.Range
RangeVariable	Agda.Unused.Types.Range
Root
1 (Type/Class)	Agda.Unused.Types.Root
2 (Data Constructor)	Agda.Unused.Types.Root
rootFile	Agda.Unused.Types.Root
rootNames	Agda.Unused.Types.Root
Roots
1 (Type/Class)	Agda.Unused.Types.Root
2 (Data Constructor)	Agda.Unused.Types.Root
rootsCheck	Agda.Unused.Types.Root
rootsIgnore	Agda.Unused.Types.Root