<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 &nbsp;members of type Optional&lt;Payload&gt; which could then be checked against nil.&nbsp;</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 &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; 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. &nbsp;E.g. given:<div class=""><br class=""></div><div class="">enum E {</div><div class="">&nbsp; case X</div><div class="">&nbsp; 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="">&nbsp; func isX() -&gt; Bool { return self == .X }</div><div class="">&nbsp; func getY() -&gt; 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 &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; 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.&nbsp;<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

&gt;<i class=""> On Dec 20, 2017, at 9:55 AM, Kevin Nattinger via swift-evolution &lt;<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>&gt; wrote:
</i>&gt;<i class=""> 
</i>&gt;<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>&gt;<i class=""> 
</i>&gt;<i class=""> Sidenote, your `switch` example is actually trivial with existing syntax:
</i>&gt;<i class=""> 
</i>&gt;<i class=""> switch enumeration {
</i>&gt;<i class=""> case .a(.c(let param)): // or just .a(.c) if you don't need the value
</i>&gt;<i class="">     print(param)
</i>&gt;<i class=""> default:
</i>&gt;<i class="">     break
</i>&gt;<i class=""> }
</i>&gt;<i class=""> 
</i>&gt;<i class=""> I use this from time to time switching over, e.g., optional enums.
</i>&gt;<i class=""> 
</i>&gt;<i class=""> *: ugliest syntax ever, and it can't even be used as a standalone expression.
</i>&gt;<i class=""> 
</i>&gt;<i class=""> 
</i>&gt;&gt;<i class=""> On Dec 20, 2017, at 8:44 AM, Ethan Diamond via swift-evolution &lt;<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a> &lt;mailto:<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>&gt;&gt; wrote:
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> Hello everyone,
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<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>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> enum Enum {
</i>&gt;&gt;<i class="">    case a(param: String)
</i>&gt;&gt;<i class="">    case b(param: String)
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> let enumeration: Enum = a(param: "Hi")
</i>&gt;&gt;<i class=""> switch enumeration {
</i>&gt;&gt;<i class="">     case a:
</i>&gt;&gt;<i class="">       // Do something
</i>&gt;&gt;<i class="">     case b:
</i>&gt;&gt;<i class="">       // Do something
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> We'e been given the ability in the context of an if statement:
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> enum Enum {
</i>&gt;&gt;<i class="">    case a(param: String)
</i>&gt;&gt;<i class="">    case b(param: String)
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> let enumeration: Enum = a(param: "Hi")
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> if case .a = enumeration { 
</i>&gt;&gt;<i class="">     // Do something
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<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>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> Where statements:
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> enum Enum {
</i>&gt;&gt;<i class="">    case a(param: Enum2)
</i>&gt;&gt;<i class="">    case b(param: Enum2)
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> enum Enum2 {
</i>&gt;&gt;<i class="">     case c(param: String)
</i>&gt;&gt;<i class="">     case d(param: String)
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> let enumeration: Enum = a(param: "Hi")
</i>&gt;&gt;<i class=""> switch enumeration {
</i>&gt;&gt;<i class="">     case a(let inner) where [INNER CASE IS .c]
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> ---------
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> Filter an array for a certain case:
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<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> &lt;<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>&gt;
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> ---------
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> Nicely set a UIButton to hidden if an enum is a certain case:
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> enum State {
</i>&gt;&gt;<i class="">     case `default`
</i>&gt;&gt;<i class="">     case searching(results: [Result])
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> myButton.isHidden = [STATE IS .searching]
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> ---------
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<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>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> enum Enum {
</i>&gt;&gt;<i class="">    case a(param: String)
</i>&gt;&gt;<i class="">    case b(param: String)
</i>&gt;&gt;<i class=""> }
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> let enumeration: Enum = a(param: "Hi")
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> case .a = enumeration // Bool
</i>&gt;&gt;<i class=""> case .a(let param) = enumeration // Bool, assigns "Hi" to "param"
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> Thanks!
</i>&gt;&gt;<i class=""> Ethan
</i>&gt;&gt;<i class=""> 
</i>&gt;&gt;<i class=""> _______________________________________________
</i>&gt;&gt;<i class=""> swift-evolution mailing list
</i>&gt;&gt;<i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a> &lt;mailto:<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>&gt;
</i>&gt;&gt;<i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a>
</i>&gt;<i class=""> 
</i>&gt;<i class=""> _______________________________________________
</i>&gt;<i class=""> swift-evolution mailing list
</i>&gt;<i class=""> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">swift-evolution at swift.org</a>
</i>&gt;<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>