Re: [swift-users] Exceptional values in the Comparable protocol

2017-07-11 Thread Dave Abrahams via swift-users
on Tue Jul 11 2017, Martin R wrote: > Thank you for the clarification! Sure, happy to help! -- -Dave ___ swift-users mailing list swift-users@swift.org https://lists.swift.org/mailman/listinfo/swift-users

Re: [swift-users] Exceptional values in the Comparable protocol

2017-07-11 Thread Martin R via swift-users
Thank you for the clarification! > On 10. Jul 2017, at 23:29, Dave Abrahams via swift-users > wrote: > > > on Sun Jul 09 2017, Martin R wrote: > >> The Comparable protocol requires that < and == impose a strict total >> order: exactly one of a==b, ab must hold for all values a and b >> of a

Re: [swift-users] Exceptional values in the Comparable protocol

2017-07-10 Thread Dave Abrahams via swift-users
on Sun Jul 09 2017, Martin R wrote: > The Comparable protocol requires that < and == impose a strict total > order: exactly one of a==b, ab must hold for all values a and b > of a conforming type. > > But it is also noted that a conforming type may contain a subset of > „exceptional values“ whic

[swift-users] Exceptional values in the Comparable protocol

2017-07-09 Thread Martin R via swift-users
The Comparable protocol requires that < and == impose a strict total order: exactly one of a==b, ab must hold for all values a and b of a conforming type. But it is also noted that a conforming type may contain a subset of „exceptional values“ which do not take part in the strict total order (s