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

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

Access	Agda.Unused.Types.Access
access	Agda.Unused.Types.Access
AccessContext	Agda.Unused.Types.Context
accessContextDefine	Agda.Unused.Types.Context
accessContextImport	Agda.Unused.Types.Context
accessContextInsertRangeAll	Agda.Unused.Types.Context
accessContextItem	Agda.Unused.Types.Context
accessContextLookup	Agda.Unused.Types.Context
accessContextLookupDefining	Agda.Unused.Types.Context
accessContextLookupModule	Agda.Unused.Types.Context
accessContextLookupSpecial	Agda.Unused.Types.Context
accessContextMatch	Agda.Unused.Types.Context
accessContextModule	Agda.Unused.Types.Context
accessContextModule'	Agda.Unused.Types.Context
accessContextUnion	Agda.Unused.Types.Context
AccessModule
1 (Type/Class)	Agda.Unused.Types.Context
2 (Data Constructor)	Agda.Unused.Types.Context
askLocal	Agda.Unused.Monad.Reader
askRoot	Agda.Unused.Monad.Reader
askSkip	Agda.Unused.Monad.Reader