Parameterize this type tag with args
if it describes an unapplied type lambda
Parameterize this type tag with args
if it describes an unapplied type lambda
If there are less args
given than this type takes parameters, it will remain a type
lambda taking remaining arguments:
F[?, ?, ?].combine(A, B) = F[A, B, ?]
Parameterize this type tag with args
if it describes an unapplied type lambda
Parameterize this type tag with args
if it describes an unapplied type lambda
The resulting type lambda will take parameters in places where args
was None:
F[?, ?, ?].combine(Some(A), None, Some(C)) = F[A, ?, C]
Print internal structures state
Print internal structures state
Class or type-constructor name of this type, WITH package name, but without prefix names
Fully-qualified rendering of a type, including packages and prefix types.
Fully-qualified rendering of a type, including packages and prefix types. Use toString for a rendering that omits package names
Short class or type-constructor name of this type, without package or prefix names
Render to string, omitting package names
Render to string, omitting package names
Extract arguments applied to this type constructor
Strip all args from type tag of parameterized type and its supertypes Useful for very rough type-constructor / class-only comparisons.
Strip all args from type tag of parameterized type and its supertypes Useful for very rough type-constructor / class-only comparisons.
NOTE: This DOES NOT RESTORE TYPE CONSTRUCTOR/LAMBDA and is NOT equivalent to .typeConstructor call in scala-reflect
(Since version ) see corresponding Javadoc for more information.