shapeless
Provides the widen type of a singleton type.
Type member Out of an implicitly available Witness[T] instance is the widen type of T, and the apply method explicitly converts a T to an Out.
Out
Witness[T]
T
apply
E.g. if T is Witness.2.T, Out is Int.
Witness.2
Witness.
, Out
,
Int
It somehow complements Witness, providing the corresponding non-witnessed standard type, if any.
Witness
Example of use, {{ val w = Widen[Witness.2.T] // w.Out is Int // w(2) is typed as Int }}
2
Provides the widen type of a singleton type.
Type member
Out
of an implicitly availableWitness[T]
instance is the widen type ofT
, and theapply
method explicitly converts aT
to anOut
.E.g. if
T
is
.TWitness.
2
is,
OutInt
.It somehow complements
Witness
, providing the corresponding non-witnessed standard type, if any.Example of use, {{ val w = Widen[Witness.
2
.T] // w.Out is Int // w(2) is typed as Int }}