TypeUtils

A decorator that provides methods on types that are needed in the transformer pipeline.

If this is a generic tuple with element types, compare the arity and return:

• -1, if the generic tuple is small (<= MaxTupleArity)
• 1, if the generic tuple is large (> MaxTupleArity)
• 0 if this isn't a generic tuple with element types

A decorator that provides methods on types that are needed in the transformer pipeline.

Is this type a checked exception? This is the case if the type derives from Exception but not from RuntimeException. According to that definition Throwable is unchecked. That makes sense since you should neither throw nor catch Throwable anyway, so we should not define a capability to do so.

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

Is this a generic tuple but not already an instance of one of Tuple1..22?

Is this a generic tuple with an arity above 22?

A decorator that provides methods on types that are needed in the transformer pipeline.

Is this a generic tuple that would fit into the range 1..22? In this case we need to cast it to make the TupleN members accessible. This works only for generic tuples of known size up to 22.

Is this a type deriving only from transparent classes?

Is this a large generic tuple and is pat TupleXXL? TupleXXL.unapplySeq extracts values of type TupleXXL but large scrutinee terms are typed as large generic tuples. This allows them to hold on to their precise element types, but it means type-wise, the terms don't conform to the extractor's parameter type, so this method identifies case.

The TermRef referring to the companion of the underlying class reference of this type, while keeping the same prefix.

A decorator that provides methods on types that are needed in the transformer pipeline.

Is this type a methodic type that takes implicit parameters (both old and new) at some point?

Is this type a methodic type that takes at least one parameter?

The *: equivalent of an instance of a Tuple class

The element types of this tuple type, which can be made up of EmptyTuple, TupleX and *: pairs

The element types of this tuple type, which can be made up of EmptyTuple, TupleX and *: pairs

A decorator that provides methods on types that are needed in the transformer pipeline.