<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><span style="background-color: rgba(255, 255, 255, 0);">IIRC what we discussed was synthesizing members of type Optional<Payload> which could then be checked against nil. </span><div><span style="background-color: rgba(255, 255, 255, 0);"><br></span></div><div><span style="background-color: rgba(255, 255, 255, 0);">if _ = x.failure { ... }</span></div><div><span style="background-color: rgba(255, 255, 255, 0);">if x.failure != nil { ... }</span></div><div><span style="background-color: rgba(255, 255, 255, 0);">if let r = x.success {...}</span></div><div><span style="background-color: rgba(255, 255, 255, 0);"><br></span></div><div><span style="background-color: rgba(255, 255, 255, 0);">IMO synthesizing predicates would be a huge missed opportunity by comparison</span><br></div><br><div id="AppleMailSignature">Sent from my iPhone</div><div><br>On Dec 20, 2017, at 1:31 PM, Chris Lattner via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br><br></div><blockquote type="cite"><div><meta http-equiv="Content-Type" content="text/html charset=utf-8">In the past, we’ve discussed synthesizing predicate members onto enums. E.g. given:<div class=""><br class=""></div><div class="">enum E {</div><div class=""> case X</div><div class=""> case Y(Int)</div><div class="">}</div><div class=""><br class=""></div><div class="">you’d get something like:</div><div class=""><br class=""></div><div class="">extension E {</div><div class=""> func isX() -> Bool { return self == .X }</div><div class=""> func getY() -> Int? { … }</div><div class="">}</div><div class=""><br class=""></div><div class="">which would solve the client side of this nicely.</div><div class=""><br class=""></div><div class="">-Chris</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Dec 20, 2017, at 11:24 AM, Ethan Diamond via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Sorry all for attaching the original post to the Non-Exhaustive enums thread. I"m moving it down to it's own thread. <div class=""><div class=""><br class=""></div><div class="">My understanding is I'm not allowed to write up a proposal unless I have the time to implement it. Is that still true? This is a major pain point for me to avoid having to write things like this:</div><div class=""><div class="">
<br class="webkit-block-placeholder"></div><p class="inbox-inbox-p1">if<span class="inbox-inbox-s1"> </span>case<span class="inbox-inbox-s1"> .</span><span class="inbox-inbox-s2">search</span><span class="inbox-inbox-s1"> = presenter.</span><span class="inbox-inbox-s2">state</span><span class="inbox-inbox-s1"> { </span>return<span class="inbox-inbox-s1"> </span>true<span class="inbox-inbox-s1"> } </span>else<span class="inbox-inbox-s1"> { </span>return<span class="inbox-inbox-s1"> </span>false<span class="inbox-inbox-s1"> }</span></p></div><div class="">Side note: Thanks Kevin, didn't know you could nest enums in switches like that. Super helpful!<br class=""></div><div class=""><br class=""></div><div class="">------------------------------------------------------</div><div class=""><pre style="white-space:pre-wrap" class="">I thought I would add another case that isn’t possible with current syntax (so far as I’m aware). You can’t negate the comparison to do something for all cases except a particular case. You have to have an empty if block and use the else block, or have an empty case in a switch statement and use the default.
enum Enum {
case a(param: String)
case b(param: String)
case c(param: String)
}
let enumeration: Enum = .a(param: "Hi")
if !(case .a = enumeration) {
// Do something
}
— Charles
><i class=""> On Dec 20, 2017, at 9:55 AM, Kevin Nattinger via swift-evolution <<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>> wrote:
</i>><i class="">
</i>><i class=""> I agree this would be useful. At the moment I have to hack around it with things like `var isFoo: Bool { if case .foo = self …`* with cases I commonly need, but this is definitely a feature that has come up before and I support. It is potentially related to getting the values through an accessor, which has also come up several times.
</i>><i class="">
</i>><i class=""> Sidenote, your `switch` example is actually trivial with existing syntax:
</i>><i class="">
</i>><i class=""> switch enumeration {
</i>><i class=""> case .a(.c(let param)): // or just .a(.c) if you don't need the value
</i>><i class=""> print(param)
</i>><i class=""> default:
</i>><i class=""> break
</i>><i class=""> }
</i>><i class="">
</i>><i class=""> I use this from time to time switching over, e.g., optional enums.
</i>><i class="">
</i>><i class=""> *: ugliest syntax ever, and it can't even be used as a standalone expression.
</i>><i class="">
</i>><i class="">
</i>>><i class=""> On Dec 20, 2017, at 8:44 AM, Ethan Diamond via swift-evolution <<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a> <mailto:<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>>> wrote:
</i>>><i class="">
</i>>><i class=""> Hello everyone,
</i>>><i class="">
</i>>><i class=""> One major pain point I've run into with Swift is the inability to evaluate the case of an enum that has associated values in a way that just returns a bool. We've been given the ability in a switch statement:
</i>>><i class="">
</i>>><i class=""> enum Enum {
</i>>><i class=""> case a(param: String)
</i>>><i class=""> case b(param: String)
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> let enumeration: Enum = a(param: "Hi")
</i>>><i class=""> switch enumeration {
</i>>><i class=""> case a:
</i>>><i class=""> // Do something
</i>>><i class=""> case b:
</i>>><i class=""> // Do something
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> We'e been given the ability in the context of an if statement:
</i>>><i class="">
</i>>><i class=""> enum Enum {
</i>>><i class=""> case a(param: String)
</i>>><i class=""> case b(param: String)
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> let enumeration: Enum = a(param: "Hi")
</i>>><i class="">
</i>>><i class=""> if case .a = enumeration {
</i>>><i class=""> // Do something
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> But without a basic was of getting a bool for if an enum is a given case, here's a list of things I can't do:
</i>>><i class="">
</i>>><i class=""> Where statements:
</i>>><i class="">
</i>>><i class=""> enum Enum {
</i>>><i class=""> case a(param: Enum2)
</i>>><i class=""> case b(param: Enum2)
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> enum Enum2 {
</i>>><i class=""> case c(param: String)
</i>>><i class=""> case d(param: String)
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> let enumeration: Enum = a(param: "Hi")
</i>>><i class=""> switch enumeration {
</i>>><i class=""> case a(let inner) where [INNER CASE IS .c]
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> ---------
</i>>><i class="">
</i>>><i class=""> Filter an array for a certain case:
</i>>><i class="">
</i>>><i class=""> Expertly explained by Erica Sadun here: <a href="http://ericasadun.com/2017/01/31/challenge-filtering-associated-value-enumeration-arrays/" class="">http://ericasadun.com/2017/01/31/challenge-filtering-associated-value-enumeration-arrays/</a> <<a href="http://ericasadun.com/2017/01/31/challenge-filtering-associated-value-enumeration-arrays/" class="">http://ericasadun.com/2017/01/31/challenge-filtering-associated-value-enumeration-arrays/</a>>
</i>>><i class="">
</i>>><i class=""> ---------
</i>>><i class="">
</i>>><i class=""> Nicely set a UIButton to hidden if an enum is a certain case:
</i>>><i class="">
</i>>><i class=""> enum State {
</i>>><i class=""> case `default`
</i>>><i class=""> case searching(results: [Result])
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> myButton.isHidden = [STATE IS .searching]
</i>>><i class="">
</i>>><i class=""> ---------
</i>>><i class="">
</i>>><i class=""> I've run into this issue a ton of times because I tend to represent my views a State enums. I haven't seen anything on the board for plans for solving this issue, thought. Has there been any discussion about addressing it? Ideally I'd be able to do this:
</i>>><i class="">
</i>>><i class=""> enum Enum {
</i>>><i class=""> case a(param: String)
</i>>><i class=""> case b(param: String)
</i>>><i class=""> }
</i>>><i class="">
</i>>><i class=""> let enumeration: Enum = a(param: "Hi")
</i>>><i class="">
</i>>><i class=""> case .a = enumeration // Bool
</i>>><i class=""> case .a(let param) = enumeration // Bool, assigns "Hi" to "param"
</i>>><i class="">
</i>>><i class=""> Thanks!
</i>>><i class=""> Ethan
</i>>><i class="">
</i>>><i class=""> _______________________________________________
</i>>><i class=""> swift-evolution mailing list
</i>>><i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a> <mailto:<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>>
</i>>><i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a>
</i>><i class="">
</i>><i class=""> _______________________________________________
</i>><i class=""> swift-evolution mailing list
</i>><i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>
</i>><i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></i></pre></div></div></div>
_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class=""></div></blockquote></div><br class=""></div></div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>swift-evolution mailing list</span><br><span><a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a></span><br><span><a href="https://lists.swift.org/mailman/listinfo/swift-evolution">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br></div></blockquote></body></html>