Skip to content

Commit

Permalink
Add: PSeq to coalton library
Browse files Browse the repository at this point in the history
Defining a few insances

into instance from foldables

Pseq in asd

Note about shifting capacity in rebalance-branches

Add Pseq tests

Fixed CST-SEARCH to accomodate arbitrary MIN-BRANCHING

Following Bagwell's presentation, while building I used a minimum
branching factor that was one less than the max-branching factor.
This guaranteed that the initial guess cumulative size table index for
an array index was at most 1 off from the real location.

Using different bounds requires a linear search from the guess up to
the real location.

Add: test branching invariants

Add Eq to Pseq

Fix Eq for PSeq

Add test not equal

compile-when all the situations for match1 macro

Removed unused functions

cleanup

Add Monoid instance for PSeq

Add Pseq to Docgen
  • Loading branch information
macrologist committed Jul 18, 2023
1 parent 6417404 commit 4d682d3
Show file tree
Hide file tree
Showing 5 changed files with 642 additions and 2 deletions.
2 changes: 2 additions & 0 deletions coalton.asd
Original file line number Diff line number Diff line change
Expand Up @@ -176,6 +176,7 @@
(:file "ord-tree")
(:file "ord-map")
(:file "monad/free")
(:file "pseq")
(:file "system")
(:file "prelude")))

Expand Down Expand Up @@ -315,5 +316,6 @@
(:file "class-tests")
(:file "list-tests")
(:file "red-black-tests")
(:file "pseq-tests")
(:file "unused-variables")
(:file "pattern-matching-tests")))
Loading

0 comments on commit 4d682d3

Please sign in to comment.