TypeGuard

class TypeGuard

The type used in a type check expression, e.g. istype, hastype.

The actual expression result type is ScalarValues::Boolean.

%3 TypeGuard TypeGuard syside.TypeGuard
Members defined in TypeGuard (1 member)

value

RW

The type guarded by this expression result.

Attributes

property value: syside.Type

The type guarded by this expression result.

This is the type that is to be used for inferring filter expression output types, rather than any of the input types.

Used in