Value Enumeration Reference


                    
                    
                    equality(_:_:)

A constraint specifying that lhs is equal to rhs, defined at site.

Swift

case equality(_: AnyType, _: AnyType)

Show on GitHub


                    
                    
                    instance(_:_:)

A constraint specifying that lhs is an instance of rhs, defined at site.

Swift

case instance(_: AnyExprID, _: AnyType)

Show on GitHub


                    
                    
                    conformance(_:_:)

A constraint specifying that lhs conforms to trait rhs, defined at site.

Swift

case conformance(_: AnyType, _: TraitType)

Show on GitHub


                    
                    
                    predicate(_:)

A constraint specifying that the payload evaluates to true.

Swift

case predicate(AnyExprID)

Show on GitHub