Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ new ] Map and Set #3

Merged
merged 31 commits into from
Sep 25, 2024
Merged

[ new ] Map and Set #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
90f5a37
Initial commit for adding a map container.
Matthew-Mosior Aug 23, 2024
e9fe5b4
Cleaning up and adding documentation.
Matthew-Mosior Aug 23, 2024
47f5727
Removing Data.Internal.Map.idr from modules.
Matthew-Mosior Aug 23, 2024
e9fd3ff
Fixing whitespace linting, and change Ints to Nats.
Matthew-Mosior Aug 24, 2024
8346347
Adding fromList function.
Matthew-Mosior Aug 29, 2024
c36e3e0
Updating containers.ipkg with Data.Map.Internal module, and adding sh…
Matthew-Mosior Aug 29, 2024
0560751
Reordering pragmas at top of src/Data/Map/Internal.idr and removing u…
Matthew-Mosior Sep 5, 2024
0cf19b1
Making fromList total.
Matthew-Mosior Sep 5, 2024
a282eb8
Fixing export modifiers and adding custom show implementations.
Matthew-Mosior Sep 10, 2024
dfa0eaa
Adding terminating (via structural recursion) version of fromList, an…
Matthew-Mosior Sep 13, 2024
75ccfaf
Cleaning up fromList function.
Matthew-Mosior Sep 13, 2024
6f15af0
Removing unnecessary code for size function.
Matthew-Mosior Sep 13, 2024
3b321f5
Adding more performant fromList implementation.
Matthew-Mosior Sep 14, 2024
85f5a53
Further optimizing fromList implementation.
Matthew-Mosior Sep 14, 2024
2845075
Adding export modifiers for functions missing them.
Matthew-Mosior Sep 14, 2024
d669756
Altering show interface.
Matthew-Mosior Sep 14, 2024
4a25372
Adding profiling for map.
Matthew-Mosior Sep 14, 2024
ae34995
Updating authors section of containers.ipkg and profile.ipkg.
Matthew-Mosior Sep 14, 2024
75b9604
Updating insert/delete profiling cases.
Matthew-Mosior Sep 17, 2024
86afed2
Adding internals for Set implementation.
Matthew-Mosior Sep 18, 2024
256efbf
Adding punctuation for documentation of map and set singleton functions.
Matthew-Mosior Sep 18, 2024
ba8e09f
Updating containers.ipkg to include Data.Set.Internal.
Matthew-Mosior Sep 18, 2024
f59b235
Completing implementation for Set, small doc fix to Map, adding Data.…
Matthew-Mosior Sep 18, 2024
9aa5b72
Adding initial set profiling.
Matthew-Mosior Sep 18, 2024
89497b1
Adding elab reflection derived interfaces for Set.
Matthew-Mosior Sep 19, 2024
93fead5
Fixing small doc issue with merge.
Matthew-Mosior Sep 19, 2024
851e587
Adding final (for now) profiling cases.
Matthew-Mosior Sep 19, 2024
a611212
Adding member (contains) profiling, and optimizing intersection, unio…
Matthew-Mosior Sep 19, 2024
4128c3a
Adding last optimizations to Map and Set insert and delete.
Matthew-Mosior Sep 19, 2024
5586d97
Adding partial annotations to non-total functions.
Matthew-Mosior Sep 19, 2024
953a4ce
Fixing linting issues.
Matthew-Mosior Sep 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
# idris2-containers
Basic Tree and Queue data types
Assorted concrete container types
8 changes: 6 additions & 2 deletions containers.ipkg
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,15 @@
package containers

authors = "stefan-hoeck"
authors = "stefan-hoeck and matthew-mosior"
brief = "Basic Tree and Queue data structures"
version = 0.6.0
sourcedir = "src"
depends = base >= 0.6.0
, elab-util

modules = Data.Queue
modules = Data.Map
, Data.Map.Internal
, Data.Set
, Data.Set.Internal
, Data.Queue
, Data.Tree
11 changes: 11 additions & 0 deletions profile/profile.ipkg
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
package containers-profile

authors = "stefan-hoeck and matthew-mosior"
version = 0.7.0
sourcedir = "src"
depends = containers
, elab-util
, profiler

executable = "profile-containers"
main = Main
Loading
Loading