Code

[ new ] Seq#12

Code

Merged

stefan-hoeck merged 12 commits intoidris-community:mainidris-community/idris2-containers:mainfrom Matthew-Mosior:seqMatthew-Mosior/idris2-containers:seqCopy head branch name to clipboardJan 8, 2025

+1,133-11

Commits

Commits on Jan 4, 2025

• Adding BoundedQueue.

  Matthew-Mosior

  committed
  0d7edc4

  Copy full SHA for 0d7edc4

• Fixing linting.

  Matthew-Mosior

  committed
  cca6240

  Copy full SHA for cca6240

Commits on Jan 5, 2025

• Fixing sizing.

  Matthew-Mosior

  committed
  e268aa1

  Copy full SHA for e268aa1

• Fixing enqueue algorithm.

  Matthew-Mosior

  committed
  b05ce5a

  Copy full SHA for b05ce5a

• Fixing linting.

  Matthew-Mosior

  committed
  e8b58be

  Copy full SHA for e8b58be

Commits on Jan 6, 2025

• Fixing algorithm for prepend and enqueue.

  Matthew-Mosior

  committed
  eadbe78

  Copy full SHA for eadbe78

• Adding totalsize field to BoundedQueue in order to differentiate between impossible states.

  Matthew-Mosior

  committed
  279a32e

  Copy full SHA for 279a32e

• Adding Seq based BoundedQueue implementation.

  Matthew-Mosior

  committed
  f094db5

  Copy full SHA for f094db5

• Updating container.ipkg with Seq modules.

  Matthew-Mosior

  committed
  e1b87e9

  Copy full SHA for e1b87e9

• Update doc strings.

  Matthew-Mosior

  committed
  e5aa248

  Copy full SHA for e5aa248

Commits on Jan 8, 2025

• Removing BoundedQueue from Seq PR.

  Matthew-Mosior

  committed
  9c3ef51

  Copy full SHA for 9c3ef51

• Removing BoundedQueue from containers.ipkg.

  Matthew-Mosior

  committed
  9869991

  Copy full SHA for 9869991