Zulip Chat Archive

Stream: new members

Topic: Flatten Set

view this post on Zulip Marcus Rossel (Jan 10 2021 at 21:53):

How would one go about flattening nested : set (set α) into flat : set α, where flat should be the union over all sets in nested?

view this post on Zulip Yakov Pechersky (Jan 10 2021 at 22:01):

I think that's sUnion

view this post on Zulip Adam Topaz (Jan 10 2021 at 22:13):

If you have an unnatural love of monads, I guess you can use mjoin. But you should probably use sUnion (which also has a nice notation associated with it).

Last updated: May 10 2021 at 23:11 UTC