Add FunctorFilter and TraverseFilter#2405
Merged
LukaJCB merged 15 commits intotypelevel:masterfrom LukaJCB:filter-classesSep 3, 2018
+722-20
Commits
Commits on Aug 15, 2018
- committedLuka Jacobowitz
Commits on Aug 16, 2018
- authored andLuka JacobowitzcommittedLuka Jacobowitz
- authored andLuka JacobowitzcommittedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committed
- authoredLuka Jacobowitz
- authoredLuka Jacobowitz
Commits on Aug 17, 2018
- committedLuka Jacobowitz
Commits on Aug 28, 2018
- committedLuka Jacobowitz
- committedLuka Jacobowitz
- committedLuka Jacobowitz
Commits on Sep 2, 2018
- authored andLuka JacobowitzcommittedLuka Jacobowitz
- committedLuka Jacobowitz
Commits on Sep 3, 2018
- committedLuka Jacobowitz