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

Heterogeneous Sets #3

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

Heterogeneous Sets #3

wants to merge 15 commits into from

Commits on Jun 30, 2019

  1. First two structs for ordered sets

    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    78969fa View commit details
    Browse the repository at this point in the history

  2. Fresh start on OrderedSet

    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    a039135 View commit details
    Browse the repository at this point in the history

  3. Arbitrary length admitted

    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    1bb3fbe View commit details
    Browse the repository at this point in the history

  4. Add membership check to avoid duplicates

    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    62737cc View commit details
    Browse the repository at this point in the history

  5. Refactor test

    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    0517d2e View commit details
    Browse the repository at this point in the history

  6. Basic union implementation, missing recursion

    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    6e30bf9 View commit details
    Browse the repository at this point in the history

  7. Recursive union, even if the order is not exactly what I'd like to ha… 

    …ve...
    LukeMathWalker committed Jun 30, 2019
    Configuration menu
    Copy the full SHA
    cfc9c7d View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2019

  1. Avoid overflowing at compile time

    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    bacc87d View commit details
    Browse the repository at this point in the history

  2. Embed requirement into the OrderedHSet trait implementation for Cons

    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    75ad9b3 View commit details
    Browse the repository at this point in the history

  3. Remove LabeledValue to make it possible to use OrderedHSet with value… 

    …-less HLists
    @LukeMathWalker
    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    98e5e13 View commit details
    Browse the repository at this point in the history

  4. Use Nil without saving it in a variable

    @LukeMathWalker
    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    31c3068 View commit details
    Browse the repository at this point in the history

  5. Weaken the Sized bound

    @LukeMathWalker
    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    174fc92 View commit details
    Browse the repository at this point in the history

  6. Add docs

    @LukeMathWalker
    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    49b52e8 View commit details
    Browse the repository at this point in the history

  7. Add more docs

    @LukeMathWalker
    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    eaf8787 View commit details
    Browse the repository at this point in the history

  8. Typo

    @LukeMathWalker
    LukeMathWalker committed Jul 1, 2019
    Configuration menu
    Copy the full SHA
    58957b2 View commit details
    Browse the repository at this point in the history