JvmType

Any reference type (String, case classes, etc.).

Scala Boolean / Java boolean.

Scala Byte / Java byte.

Scala Char / Java char.

Scala Double / Java double.

Scala Float / Java float.

Implicit instances for all 8 JVM primitive types and a low-priority fallback.

A type class that records at compile time which JVM type A maps to.

Invariant in A, so primitive evidence cannot accidentally satisfy Infer[Nothing] and fallback evidence cannot drive output inference toward Any when the precise primitive type is available.

Adding (implicit jt: JvmType.Infer[A]) to a method is always source-compatible — it never fails to resolve.

Scala Int / Java int.

Scala Long / Java long.

Scala Short / Java short.

The names of the product elements.

The name of the type.

Returns the JvmType for the given ordinal index (0–8).