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

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

Skip	Agda.Unused.Monad.Reader
State	Agda.Unused.Monad.State
stateEmpty	Agda.Unused.Monad.State
stateItems	Agda.Unused.Monad.State
stateModules	Agda.Unused.Monad.State
stripPrefix	Agda.Unused.Types.Name
stripSuffix	Agda.Unused.Utils

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