Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-01-30 | Implemented `Remove` and `Partition` higher order list functions | Adrian Kummerlaender | |
* `Remove` is a basic `Filter` alias that negates its predicate * `Partition` builds on both `Remove` and `Filter` to return both the elements satisfying a predicate and those which don't | |||
2015-01-30 | Separated `Map` and `Filter` | Adrian Kummerlaender | |
* there is no reason to keep them in the same header |