WIP: refactor DPIA traversals - #107

Draft

umazalakain wants to merge 12 commits into

mainfrom

Commits on Feb 11, 2021

Move monad trait into utils
umazalakain
committed
5f81b9d
Refactor VisitAndRebuild into traverse
umazalakain
committed
21bbeaf
Add macro support for Primitive.traverse
umazalakain
committed
cf16ef4
Solve most of the issues with the macro
umazalakain
committed
452fa7c
Temporary workaround for monads: make visit and rebuild always pure
umazalakain
committed
8d4c7eb
Make monads covariant on their contained type
umazalakain
committed
90436c6

Commits on Feb 12, 2021

Allow traverse on primitives to be monadic
umazalakain
committed
44ebce1
Fix covariance in tests
umazalakain
committed
83c5754
Get rid of unnecessary casts
umazalakain
committed
ddecfb9
Translate substitute
umazalakain
committed
c84a1d1
Route NatIdentifiers directly through nat
umazalakain
committed
22fb2cc

Commits on Mar 26, 2021

Merge branch 'master' into new-traversal
umazalakain
committed
3b37c8a