spac-core/io.dylemma.spac/TypeReduce

TypeReduce

object TypeReduce extends LowPriorityTypeReduceImplicits
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[In1, In2, O2] = TypeReduce[In1, In2] { type Out = O2; }

Implicits

Implicits

implicit def flattenLeftUnit[T]: Aux[Unit, T, T]
implicit def flattenRightUnit[T]: Aux[T, Unit, T]
implicit val flattenTwoUnits: Aux[Unit, Unit, Unit]

Inherited implicits

implicit def noopFlatten[L, R]: Aux[L, R, (L, R)]