Dialyxir.FilterMap (Dialyxir v1.4.4) 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.