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

merged 31 commits into from
Sep 25, 2024

Commits on Aug 23, 2024

  1. Initial commit for adding a map container.

    @Matthew-Mosior
    Matthew-Mosior committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    90f5a37 View commit details
    Browse the repository at this point in the history

  2. Cleaning up and adding documentation.

    @Matthew-Mosior
    Matthew-Mosior committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    e9fe5b4 View commit details
    Browse the repository at this point in the history

  3. Removing Data.Internal.Map.idr from modules.

    @Matthew-Mosior
    Matthew-Mosior committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    47f5727 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2024

  1. Fixing whitespace linting, and change Ints to Nats.

    @Matthew-Mosior
    Matthew-Mosior committed Aug 24, 2024
    Configuration menu
    Copy the full SHA
    e9fd3ff View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Adding fromList function.

    @Matthew-Mosior
    Matthew-Mosior committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    8346347 View commit details
    Browse the repository at this point in the history

  2. Updating containers.ipkg with Data.Map.Internal module, and adding sh… 

    …ow interface for Map k v.
    @Matthew-Mosior
    Matthew-Mosior committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c36e3e0 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Reordering pragmas at top of src/Data/Map/Internal.idr and removing u… 

    …nnecessary Show implementation for Map k v.
    @Matthew-Mosior
    Matthew-Mosior committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    0560751 View commit details
    Browse the repository at this point in the history

  2. Making fromList total.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    0cf19b1 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. Fixing export modifiers and adding custom show implementations.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    a282eb8 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Adding terminating (via structural recursion) version of fromList, an… 

    …d fixing size function.
    @Matthew-Mosior
    Matthew-Mosior committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    dfa0eaa View commit details
    Browse the repository at this point in the history

  2. Cleaning up fromList function.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    75ccfaf View commit details
    Browse the repository at this point in the history

  3. Removing unnecessary code for size function.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    6f15af0 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2024

  1. Adding more performant fromList implementation.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    3b321f5 View commit details
    Browse the repository at this point in the history

  2. Further optimizing fromList implementation.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    85f5a53 View commit details
    Browse the repository at this point in the history

  3. Adding export modifiers for functions missing them.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    2845075 View commit details
    Browse the repository at this point in the history

  4. Altering show interface.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    d669756 View commit details
    Browse the repository at this point in the history

  5. Adding profiling for map.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    4a25372 View commit details
    Browse the repository at this point in the history

  6. Updating authors section of containers.ipkg and profile.ipkg.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    ae34995 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Updating insert/delete profiling cases.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    75b9604 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Adding internals for Set implementation.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    86afed2 View commit details
    Browse the repository at this point in the history

  2. Adding punctuation for documentation of map and set singleton functions.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    256efbf View commit details
    Browse the repository at this point in the history

  3. Updating containers.ipkg to include Data.Set.Internal.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    ba8e09f View commit details
    Browse the repository at this point in the history

  4. Completing implementation for Set, small doc fix to Map, adding Data.… 

    …Set to containers.ipkg.
    @Matthew-Mosior
    Matthew-Mosior committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    f59b235 View commit details
    Browse the repository at this point in the history

  5. Adding initial set profiling.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    9aa5b72 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Adding elab reflection derived interfaces for Set.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    89497b1 View commit details
    Browse the repository at this point in the history

  2. Fixing small doc issue with merge.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    93fead5 View commit details
    Browse the repository at this point in the history

  3. Adding final (for now) profiling cases.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    851e587 View commit details
    Browse the repository at this point in the history

  4. Adding member (contains) profiling, and optimizing intersection, unio… 

    …n, and difference.
    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    a611212 View commit details
    Browse the repository at this point in the history

  5. Adding last optimizations to Map and Set insert and delete.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    4128c3a View commit details
    Browse the repository at this point in the history

  6. Adding partial annotations to non-total functions.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    5586d97 View commit details
    Browse the repository at this point in the history

  7. Fixing linting issues.

    @Matthew-Mosior
    Matthew-Mosior committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    953a4ce View commit details
    Browse the repository at this point in the history