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

Implement a new typeclass hierarchy (again) #64

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

Implement a new typeclass hierarchy (again) #64

wants to merge 15 commits into from

Commits on Apr 17, 2023

  1. Rename ProductProfunctor -> SemiproductProfunctor

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    2d4262b View commit details
    Browse the repository at this point in the history

  2. Remove reference to ProductContravariant from doc comment

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    d8fc1d1 View commit details
    Browse the repository at this point in the history

  3. Reintroduce ProductProfunctor class 

    It represents "`SemiProductProfunctor` with a unit".
    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    a460333 View commit details
    Browse the repository at this point in the history

  4. Add manual ProductProfunctor instances

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    3d96301 View commit details
    Browse the repository at this point in the history

  5. Rename unital methods on SemiProductProfunctor and deprecate old

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    31589d0 View commit details
    Browse the repository at this point in the history

  6. Reorganise methods on SemiProductProfunctor 

    This places all three main ways of viewing this class on equal
footing:

* The "tupling profunctors" perspective:
  `p a b -> p a' b' -> p (a, a') (b, b')`

* The "applicative output" perspective:
  `p x (a -> b) -> p x a -> p x b`

* The "divisible input" perspective:
  `(a -> (b, c)) -> p b x -> p c x -> p a x`
    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    f756736 View commit details
    Browse the repository at this point in the history

  7. Add divisedP as analogue to divided from contravariant

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    0ddc1d8 View commit details
    Browse the repository at this point in the history

  8. Add conqueredP as analogue to conquered from contravariant

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    673409a View commit details
    Browse the repository at this point in the history

  9. Rename SumProfunctor to SemisumProfunctor

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    43d1f05 View commit details
    Browse the repository at this point in the history

  10. Reintroduce SumProfunctor

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    917972e View commit details
    Browse the repository at this point in the history

  11. Add decideP to SemisumProfunctor

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    cc0691b View commit details
    Browse the repository at this point in the history

  12. Add decidedP as analogue to decided from semigroupoids

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    562e842 View commit details
    Browse the repository at this point in the history

  13. Add concludedP as analogue to conclude from semigroupoids

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    48c43e6 View commit details
    Browse the repository at this point in the history

  14. Fix documentation for SemiproductProfunctor

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    9812e73 View commit details
    Browse the repository at this point in the history

  15. Clean up redundant comments and rewrite module haddock

    @endgame
    endgame committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    a8daae9 View commit details
    Browse the repository at this point in the history