diff options
| author | Adrian Kummerlaender | 2015-01-30 19:07:22 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-01-30 19:07:22 +0100 |
| commit | e176dbe160eff01d172a11e7a191f756d4c87712 (patch) | |
| tree | 4f1da0fd7421e4e17a5cc1cec73d09f66f3d095b /src/function | |
| parent | 5f98c3eb62f3085a69f8df36de663bb7c6107341 (diff) | |
| download | TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.tar TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.tar.gz TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.tar.bz2 TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.tar.lz TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.tar.xz TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.tar.zst TypeAsValue-e176dbe160eff01d172a11e7a191f756d4c87712.zip | |
Separated `Map` and `Filter`
* there is no reason to keep them in the same header
Diffstat (limited to 'src/function')
0 files changed, 0 insertions, 0 deletions