io.dylemma.spac.TypeReduce
See theTypeReduce companion object
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) }
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
In this article