Skip to content

Add FunctorFilter and TraverseFilter#2405

Merged
LukaJCB merged 15 commits intotypelevel:masterfrom LukaJCB:filter-classesSep 3, 2018

Commits

Commits on Aug 15, 2018

Commits on Aug 16, 2018

Commits on Aug 17, 2018

Commits on Aug 28, 2018

Commits on Sep 2, 2018

Commits on Sep 3, 2018