Closed i-am-tom closed 7 years ago
This commit adds four new functions: partitionDefaultFilter, partitionDefaultFilterMap, filterDefaultPartition, and filterDefaultPartitionMap. Granted, the partition-by-filter functions aren't too efficient, but they should at least be correct!
partitionDefaultFilter
partitionDefaultFilterMap
filterDefaultPartition
filterDefaultPartitionMap
This commit adds four new functions:
partitionDefaultFilter
,partitionDefaultFilterMap
,filterDefaultPartition
, andfilterDefaultPartitionMap
. Granted, the partition-by-filter functions aren't too efficient, but they should at least be correct!