Dialyxir.FilterMap (Dialyxir v1.4.5) View Source
A counters holding warnings to be skipped.
:counters
points to a Map
where the keys are warnings to be skipped and the value indicates
how often the warning was skipped.
Link to this section Summary
Functions
Retrieve the filters from a FilterMap
.
Fill a FilterMap
from an ignore file.
Increase usage count of a filter in FilterMap
.
Remove all non-allowed arguments from args
.
Check if a FilterMap
entry is unused.
List unused filters.
Determine if any filters were not used.
Link to this section Functions
Retrieve the filters from a FilterMap
.
Fill a FilterMap
from an ignore file.
Increase usage count of a filter in FilterMap
.
Remove all non-allowed arguments from args
.
Check if a FilterMap
entry is unused.
List unused filters.
Determine if any filters were not used.