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

Draft optics implementation #13

Closed
wants to merge 31 commits into from
Closed

Draft optics implementation #13

wants to merge 31 commits into from

Commits on Jul 11, 2022

  1. Typo

    @AriFordsham
    AriFordsham committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    18c5e64 View commit details
    Browse the repository at this point in the history

  2. Initial lenses

    @AriFordsham
    AriFordsham committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    66a7a95 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. Initial optics

    @AriFordsham
    AriFordsham committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    faa00e6 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2022

  1. PChoice

    @AriFordsham
    AriFordsham committed Jul 18, 2022
    Configuration menu
    Copy the full SHA
    bccf8f8 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2022

  1. Pair and Either optics lenses with new Profunctor and Lens hierarchy

    @AriFordsham
    AriFordsham committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    15a03d5 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

  1. Runner for Optional

    @AriFordsham
    AriFordsham committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    617d645 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. Traversal attempt

    @AriFordsham
    AriFordsham committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    bf6b34b View commit details
    Browse the repository at this point in the history

  2. Fixed instances

    @AriFordsham
    AriFordsham committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    8da1769 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2022

  1. Explicit CPSs - typing problem

    @AriFordsham
    AriFordsham committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    fe87fd6 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2022

  1. continuation-based optics

    @AriFordsham
    AriFordsham committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    db1ce86 View commit details
    Browse the repository at this point in the history

  2. Fix

    @AriFordsham
    AriFordsham committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    40da02f View commit details
    Browse the repository at this point in the history

  3. Cleanup

    @AriFordsham
    AriFordsham committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    26997df View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. Current progress

    @AriFordsham
    AriFordsham committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    855aeaa View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into ari/optics

    @AriFordsham
    AriFordsham committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    d88799e View commit details
    Browse the repository at this point in the history

  3. Traversals with List

    @AriFordsham
    AriFordsham committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    a0ad1a3 View commit details
    Browse the repository at this point in the history

  4. Formatting

    @AriFordsham
    AriFordsham committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    605ea8a View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into ari/optics

    @AriFordsham
    AriFordsham committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    9fb654e View commit details
    Browse the repository at this point in the history

  6. Updates

    @AriFordsham
    AriFordsham committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    b4e64f5 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2022

  1. PList traversal

    @AriFordsham
    AriFordsham committed Aug 21, 2022
    Configuration menu
    Copy the full SHA
    80556fe View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. Prototype Haskell Fix Traversal combinator 

    Not actually a traversal, but allows easy definition of one.

With example of use
    @AriFordsham
    AriFordsham committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    85c16dc View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. Fix transcribed to Plutarch

    @AriFordsham
    AriFordsham committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    1dacc89 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2022

  1. Merge branch 'master' into ari/optics

    @AriFordsham
    AriFordsham committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    26d80c8 View commit details
    Browse the repository at this point in the history

  2. Current progress

    @AriFordsham
    AriFordsham committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    39b3667 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. Merge branch 'ari/simplified-generics' into ari/optics

    @AriFordsham
    AriFordsham committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    987abc0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'ari/simplified-generics' into ari/optics

    @AriFordsham
    AriFordsham committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    2d4a2ff View commit details
    Browse the repository at this point in the history

  3. Current progress

    @AriFordsham
    AriFordsham committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    0b876d6 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2022

  1. Merge branch 'ari/simplified-generics' into ari/optics

    @AriFordsham
    AriFordsham committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    39845aa View commit details
    Browse the repository at this point in the history

  2. Current progress

    @AriFordsham
    AriFordsham committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    8719e13 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'ari/simplified-generics' into ari/optics

    @AriFordsham
    AriFordsham committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    3589196 View commit details
    Browse the repository at this point in the history

  4. Implemented pconstrained

    @AriFordsham
    AriFordsham committed Sep 7, 2022
    Configuration menu
    Copy the full SHA
    32877e5 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2022

  1. Completed traverse

    @AriFordsham
    AriFordsham committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    050479a View commit details
    Browse the repository at this point in the history