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

Generalize patterns for free foil #16

Merged
merged 18 commits into from
Aug 17, 2024
Merged

Generalize patterns for free foil #16

merged 18 commits into from
Aug 17, 2024

Commits on Jun 20, 2024

  1. Generalize with(Re)freshPattern functions

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    36fbb27 View commit details
    Browse the repository at this point in the history

  2. Generalize extendScopePattern

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    1424051 View commit details
    Browse the repository at this point in the history

  3. Generalize namesOfPattern

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    f2b3137 View commit details
    Browse the repository at this point in the history

  4. Generalize unsinkNamePattern

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    ee5b0f7 View commit details
    Browse the repository at this point in the history

  5. Generalize assertExt and assertDistinct

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    d694d6e View commit details
    Browse the repository at this point in the history

  6. Derive withPattern via Template Haskell

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    400f338 View commit details
    Browse the repository at this point in the history

  7. Allow deriving scope-safe patterns separately

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    ed986c4 View commit details
    Browse the repository at this point in the history

  8. Add scope-safe patterns to free foil

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    99e86e5 View commit details
    Browse the repository at this point in the history

  9. Fix mkToFoilPattern

    @fizruk
    fizruk committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    383a61d View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Add UnifiablePattern class and add pattern support in FreeFoilTH

    @fizruk
    fizruk committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    5234512 View commit details
    Browse the repository at this point in the history

  2. Complete safe (but perhaps not super efficient) support for patterns … 

    …in the free foil
    @fizruk
    fizruk committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    fbf7dcb View commit details
    Browse the repository at this point in the history

  3. Add/update documentation for the foil

    @fizruk
    fizruk committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    08576ed View commit details
    Browse the repository at this point in the history

  4. Update documentation in lambda-pi

    @fizruk
    fizruk committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    22f1598 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. Update README

    @fizruk
    fizruk committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    bf3648a View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Derive UnifiablePattern

    @fizruk
    fizruk committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    f67747b View commit details
    Browse the repository at this point in the history

  2. Update/improve generated documentation

    @fizruk
    fizruk committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    bcab548 View commit details
    Browse the repository at this point in the history

  3. Update README

    @fizruk
    fizruk committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    f28def3 View commit details
    Browse the repository at this point in the history

  4. Slightly improve documentation of withPattern

    @fizruk
    fizruk committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    e57f51f View commit details
    Browse the repository at this point in the history