Code

Use Set for nub ord#1

Code

Closed

MonoidMusician wants to merge 8 commits intomilesfrain:nub-ordmilesfrain/purescript-lists:nub-ordfrom MonoidMusician:nub-ordMonoidMusician/purescript-lists:nub-ordCopy head branch name to clipboard

+185-77

Commits

Commits on Jan 12, 2021

• Copy Map from Data.Map.Internal

  MonoidMusician

  committed
  8a6cc41

  Copy full SHA for 8a6cc41

• Specialize to Set

  MonoidMusician

  committed
  178f1a2

  Copy full SHA for 178f1a2

• Change to insertAndLookup function

  MonoidMusician

  committed
  7a39c9c

  Copy full SHA for 7a39c9c

• Implement nub using Set

  MonoidMusician

  committed
  7be77fd

  Copy full SHA for 7be77fd

• Remove unused functions

  MonoidMusician

  committed
  1273282

  Copy full SHA for 1273282

Commits on Jan 13, 2021

• Add benchmarking for nub

  milesfrain

  committed
  c1373c2

  Copy full SHA for c1373c2

• add benchmarking results

  milesfrain

  committed
  a93bb42

  Copy full SHA for a93bb42

• Make stack-safe

  MonoidMusician

  committed
  4115b8e

  Copy full SHA for 4115b8e