View Source Dialyxir.FilterMap (Dialyxir v1.4.6)
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.
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.
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.