TypeReduce

io.dylemma.spac.TypeReduce
See theTypeReduce companion object
trait TypeReduce[-In1, -In2]

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 Object
trait Matchable
class Any

Members list

Type members

Types

type Out

Value members

Abstract methods

def apply(in1: In1, in2: In2): Out