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

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

Access	Agda.Unused.Types.Access
access	Agda.Unused.Types.Access
AccessContext	Agda.Unused.Types.Context
accessContextConstructor	Agda.Unused.Types.Context
accessContextDefine	Agda.Unused.Types.Context
accessContextDefineFields	Agda.Unused.Types.Context
accessContextField	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
accessContextPattern	Agda.Unused.Types.Context
accessContextRanges	Agda.Unused.Types.Context
accessContextUnion	Agda.Unused.Types.Context
AccessModule
1 (Type/Class)	Agda.Unused.Types.Context
2 (Data Constructor)	Agda.Unused.Types.Context
askGlobalMain	Agda.Unused.Monad.Reader
askIncludes	Agda.Unused.Monad.Reader
askLocal	Agda.Unused.Monad.Reader
askRoot	Agda.Unused.Monad.Reader
askSkip	Agda.Unused.Monad.Reader