You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Any, All, First, Last, Sum, and Product are all useful type/constructor names and it's very rare that I would use the newtype instead of just calling the function of the same name.
The only times that I've ever referred to these things in P is when I have to hide them so I can use the name for one of my own types/constructors.
Have other people found the same thing?
I would like to propose removing them and freeing up the names.
This will be a breaking change that will cause a little bit of churn, for one thing all the places where I have:
importPhiding (All) -- etc
The text was updated successfully, but these errors were encountered:
Any
,All
,First
,Last
,Sum
, andProduct
are all useful type/constructor names and it's very rare that I would use the newtype instead of just calling the function of the same name.The only times that I've ever referred to these things in P is when I have to hide them so I can use the name for one of my own types/constructors.
Have other people found the same thing?
I would like to propose removing them and freeing up the names.
This will be a breaking change that will cause a little bit of churn, for one thing all the places where I have:
The text was updated successfully, but these errors were encountered: