Has the unicode Foldable syntax disappeared in scalaz-7?

[Chris Marshall]

I can't find it: at least this means the hated ∈: will disappear (*), but I am a user of ∀ and ∃

Chris

(*) well, I hate it, anyway

[Runar Bjarnason]

I say add them back.

--
You received this message because you are subscribed to the Google Groups "scalaz" group.
To post to this group, send email to sca...@googlegroups.com.
To unsubscribe from this group, send email to scalaz+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/scalaz?hl=en.

[Chris Marshall]

Can we think and take a vote on who uses  ∈:  ?

To my mind, this is a clear implication of "Set contains"; except it is Order N and works on any Foldable. I know that a mathematical Set and a scala (O(1) or O(log N)) Set are not the same thing, but from a practical perspective, this is not an association I want anyone to accidentally make in a program. I once suggested that this is migrated to be /∈: 

I have my own impl of  ∈: (based on a PredicateW) and the name clash is a constant pain

Chris