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

Add NonEmptyMap #2141

Merged
merged 16 commits into from
Mar 16, 2018
Merged

Add NonEmptyMap #2141

merged 16 commits into from
Mar 16, 2018

Commits on Jan 8, 2018

  1. Add NonEmptyMap

    Luka Jacobowitz committed Jan 8, 2018
    Configuration menu
    Copy the full SHA
    bab788b View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2018

  1. Add more docs

    Luka Jacobowitz committed Jan 15, 2018
    Configuration menu
    Copy the full SHA
    31ecdac View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2018

  1. Move to newtype encoding

    Luka Jacobowitz committed Jan 31, 2018
    Configuration menu
    Copy the full SHA
    8a2b024 View commit details
    Browse the repository at this point in the history

  2. Rename NonEmptyMap#get to not conflict with Reducible.get

    Luka Jacobowitz committed Jan 31, 2018
    Configuration menu
    Copy the full SHA
    aa4ca5e View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2018

  1. Fix 2.11 and 2.10 compilation

    Luka Jacobowitz committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    7525ca8 View commit details
    Browse the repository at this point in the history

  2. Fix 2.10 as well

    Luka Jacobowitz committed Feb 1, 2018
    Configuration menu
    Copy the full SHA
    f116d96 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2018

  1. Remove semilattice instance

    Luka Jacobowitz committed Feb 2, 2018
    Configuration menu
    Copy the full SHA
    387dec1 View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2018

  1. Extra tests

    Luka Jacobowitz committed Feb 4, 2018
    Configuration menu
    Copy the full SHA
    5811a50 View commit details
    Browse the repository at this point in the history

  2. Add groupByNem to NonEmptyList

    Luka Jacobowitz committed Feb 4, 2018
    Configuration menu
    Copy the full SHA
    d3d1635 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2018

  1. Hide more newtype machinery

    Luka Jacobowitz committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    cf586b3 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2018

  1. Move newtype to its own file

    Luka Jacobowitz committed Feb 7, 2018
    Configuration menu
    Copy the full SHA
    e764237 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2018

  1. Address feedback

    Luka Jacobowitz committed Feb 12, 2018
    Configuration menu
    Copy the full SHA
    f231d68 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2018

  1. Remove context bounds

    Luka Jacobowitz committed Mar 11, 2018
    Configuration menu
    Copy the full SHA
    0e07055 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2018

  1. Make newtype private

    Luka Jacobowitz committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    22c471c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into add-nonemptymap

    Luka Jacobowitz committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    e63f01f View commit details
    Browse the repository at this point in the history

  3. keys now returns a NonEmptySet

    Luka Jacobowitz committed Mar 14, 2018
    Configuration menu
    Copy the full SHA
    60327b1 View commit details
    Browse the repository at this point in the history