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

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result