Code

Add FrozenSet and FrozenBTreeSet#80

Code

Closed

DJ-Laser wants to merge 4 commits intoManishearth:masterManishearth/elsa:masterfrom DJ-Laser:FrozenSetDJ-Laser/elsa:FrozenSetCopy head branch name to clipboard

+415

Commits

Commits on Nov 9, 2024

• Implement set versions of FrozenHashMap and FrozenBTreeMap

  DJ-Laser

  committed
  71dce11

  Copy full SHA for 71dce11

Commits on Nov 10, 2024

• optimize btreeset insert to not clone

  DJ-Laser

  committed
  77e71fb

  Copy full SHA for 77e71fb

• remove hashbrown dep for hashset

  DJ-Laser

  committed
  53f81a9

  Copy full SHA for 53f81a9

• fix up doctests

  DJ-Laser

  committed
  df805ef

  Copy full SHA for df805ef