Something I'm doing at the moment would benefit from a mirror to mappend: a |-| b |+| b === a |+| b that would be satisfied by Sets and Maps
@d6 @seanparsons Well, you get one if you use (Set[A], Set[A]) (see http://en.wikipedia.org/wiki/Grothendieck_group …). I think I use it one of Spire's examples.
-
-
@d6@seanparsons Note that Map's are only commutative if the value's semigroup is commutative. -
@tixxit@seanparsons Makes me wish for a set that isn't a container, honestly :/
End of conversation
New conversation -
-
-
@tixxit@seanparsons Sure. You can also use Either[Set[V], Set[V]] to simulate U \ V and V. -
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.