Code

Imperative Traverse#1614

Code

Draft

Radvendii wants to merge 14 commits intomastertweag/nickel:masterfrom imperative-traversetweag/nickel:imperative-traverseCopy head branch name to clipboard

+417-431

Commits

Commits on Oct 16, 2023

• make traverse for RichTerms imperative

  Radvendii

  committed
  4a65cc8

• improvements, comments, etc

  Radvendii

  committed
  681d90a

• same treatment for traverse_ref

  Radvendii

  committed
  80edb2a

• rearrange

  Radvendii

  committed
  a97e89d

• todos

  Radvendii

  committed
  b788eb5

• add miri (and nightly) devShell

  Radvendii

  committed
  521cebb

• make work for stacked borrows

  Radvendii

  committed
  a3ebbcd

Commits on Oct 17, 2023

• restructure into Traverse1

  Radvendii

  committed
  4f9f0b7

• bring traverse_1 in line with traverse_ref_1

  Radvendii

  committed
  67f21e3

• order of usages shouldn't matter

  Radvendii

  committed
  9ed4f0e

• comment

  Radvendii

  committed
  7e88d14

• use as_any crate to get rid of AsAny instances

  Radvendii

  committed
  079422f

Commits on Oct 18, 2023

• unify Traverse implementations

  Radvendii

  committed
  08e46d1

Commits on Oct 19, 2023

• Traverse1 -> GetChildren, with cleaner interface

  Radvendii

  committed
  142f646