Harmonize AllZip with All #138
Comments
|
Presumably, you mean adding a function like I agree that this would be good as well. In principle, I'd even like to just make |
|
Yes, such a function, making sure it can build the necessary evidence.
…On Tue, Apr 13, 2021, 2:25 AM Andres Löh ***@***.***> wrote:
Presumably, you mean adding a function like cpara_SList to AllZip?
I agree that this would be good as well.
In principle, I'd even like to just make AllZip c xs ys a synonym for All
(Uncurry c) (Zip xs ys) (which would explain the name choice), but I
currently don't see a way to do that while retaining the SameShapeAs
trick which improves inference.
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#138 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAOOF7PMLSQ4II3HRFQ3S4TTIPPVFANCNFSM42RSQCFQ>
.
|
kosmikus
added a commit
that referenced
this issue
Jun 20, 2021
Also add a cpara-like function for AllZip as suggested in #138.
|
I've done this in #142. I haven't yet tested some other libs whether they compile ok with this change. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Allcomes with a method to use its constraints recursively;AllZipdoes not. Presumably one of those designs is better and should be used for both.The text was updated successfully, but these errors were encountered: