Note: information on this page refers to Ceylon 1.0, not to the current release.

Not yet implemented

satisfies operator

The non-associating, binary prefix satisfies operator is used to test whether its left-hand operand is satisfies its right-hand operand.

Usage 

void m(Type<Anything> x) {
    Boolean satisfaction = satisfies String Iterator;
}

Description

Definition

The satisfies operator is defined as follows:

lhs.satisfiesType(rhs);

See the language specification for more details.

Polymorphism

TODO The satisfies operator is polymorphic. The meaning of satisfies depends on the Type interface.

Type

The result type of the satisfies operator is Boolean.

See also