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

Better utilizing GADT bounds for HKTs #13323

Merged
merged 14 commits into from
Aug 31, 2021
Merged

Better utilizing GADT bounds for HKTs #13323

merged 14 commits into from
Aug 31, 2021

Commits on Aug 8, 2021

  1. Approximate GADT lower bound for HKTs

    @Linyxus
    Linyxus committed Aug 8, 2021
    Configuration menu
    Copy the full SHA
    65b171c View commit details
    Browse the repository at this point in the history

  2. Properly record the usage of GADT bounds

    @Linyxus
    Linyxus committed Aug 8, 2021
    Configuration menu
    Copy the full SHA
    23f2d75 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2021

  1. Fix the injectivity issue

    @Linyxus
    Linyxus committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    e4edcea View commit details
    Browse the repository at this point in the history

  2. Add pos testcase

    @Linyxus
    Linyxus committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    ab6aa68 View commit details
    Browse the repository at this point in the history

  3. Add neg test

    @Linyxus
    Linyxus committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    196033e View commit details
    Browse the repository at this point in the history

  4. Update pos test

    @Linyxus
    Linyxus committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    d551238 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2021

  1. Rename HKGadt state and use primitive boolean

    @Linyxus
    Linyxus committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    7cda5b5 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2021

  1. Fix touchHKGadt

    @Linyxus
    Linyxus committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    dfbe8d4 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2021

  1. Utilize frozenGadt instead of using a new state variable

    @Linyxus
    Linyxus committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    abb4155 View commit details
    Browse the repository at this point in the history

  2. Remove unused import

    @Linyxus
    Linyxus committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    28c6381 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2021

  1. Remove workaround

    @Linyxus
    Linyxus committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    2da3c58 View commit details
    Browse the repository at this point in the history

  2. Fix inFrozenGadtIf

    @Linyxus
    Linyxus committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    0b323dc View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2021

  1. Also approximate with HKT's GADT higher bounds

    @Linyxus
    Linyxus committed Aug 29, 2021
    Configuration menu
    Copy the full SHA
    8b45a00 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2021

  1. Remove redundant braces

    @Linyxus
    Linyxus committed Aug 30, 2021
    Configuration menu
    Copy the full SHA
    d1a04e2 View commit details
    Browse the repository at this point in the history