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

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

Name
1 (Type/Class)	Agda.Unused.Types.Name
2 (Data Constructor)	Agda.Unused.Types.Name
nameIds	Agda.Unused.Types.Name
NamePart	Agda.Unused.Types.Name
nameParts	Agda.Unused.Types.Name
NoRange	Agda.Unused.Types.Range

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