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
Outof an implicitly availableWitness[T]instance is the widen type ofT, and theapplymethod explicitly converts aTto anOut.E.g. if
TisWitness.2,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 }}