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

Rebasing generic work #394

Merged
merged 19 commits into from
Mar 16, 2022
Merged

Rebasing generic work #394

merged 19 commits into from
Mar 16, 2022

Commits on Mar 14, 2022

  1. Unsatisfiable

    @treeowl @tbagrel1
    treeowl authored and tbagrel1 committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    23632d0 View commit details
    Browse the repository at this point in the history

  2. Generically, data functor

    @treeowl @tbagrel1
    treeowl authored and tbagrel1 committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    c3e775c View commit details
    Browse the repository at this point in the history

  3. Data applicative

    @treeowl @tbagrel1
    treeowl authored and tbagrel1 committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    87641ad View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2022

  1. Control functors/applicatives 

    Co-authored-by: David Feuer <David.Feuer@gmail.com>
    @sjoerdvisscher @treeowl
    sjoerdvisscher and treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    c28ed2b View commit details
    Browse the repository at this point in the history

  2. Merge traversable modules 

    To avoid orphans, put the generic deriving machinery
with the `Traversable` class.
    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    6029290 View commit details
    Browse the repository at this point in the history

  3. Traversable instances

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    5d18192 View commit details
    Browse the repository at this point in the history

  4. Consumable

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    6faf3e3 View commit details
    Browse the repository at this point in the history

  5. Dupable

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    6b99d44 View commit details
    Browse the repository at this point in the history

  6. Movable

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    42209f4 View commit details
    Browse the repository at this point in the history

  7. Remove some orphans; use more coercions

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    d11dfee View commit details
    Browse the repository at this point in the history

  8. Make it compile

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    73b528d View commit details
    Browse the repository at this point in the history

  9. Format

    @aspiwack @treeowl
    aspiwack authored and treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    ca8cd51 View commit details
    Browse the repository at this point in the history

  10. Address some comments

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    be6cd6e View commit details
    Browse the repository at this point in the history

  11. More coercions

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    96b8040 View commit details
    Browse the repository at this point in the history

  12. Fix formatting

    @tbagrel1 @treeowl
    tbagrel1 authored and treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    bfa6163 View commit details
    Browse the repository at this point in the history

  13. Naming convention fixes + Classes for tuples up to n=5 

    - `Consumable`, `Dupable` and `Movable` uniformly implemented for tuples up to
n=5
- Fix some names/imports according to the project conventions
    @tbagrel1 @treeowl
    tbagrel1 authored and treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    b8d04c2 View commit details
    Browse the repository at this point in the history

  14. Simpler unsatisfiable

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    d46dbb5 View commit details
    Browse the repository at this point in the history

  15. Small comment

    @treeowl
    treeowl committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    c6dcb70 View commit details
    Browse the repository at this point in the history

  16. Fix formatting

    @tbagrel1
    tbagrel1 committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    9b3127e View commit details
    Browse the repository at this point in the history