Type-level tuple reduction function that treats Unit
as an Identity.
For example:
TypeReduce[(Unit, Unit)]{ type Out = Unit }
TypeReduce[(T, Unit)]{ type Out = T }
TypeReduce[(Unit, T)]{ type Out = T }
TypeReduce[(L, R)]{ type Out = (L, R) }
- Companion:
- object
class Object
trait Matchable
class Any