TypeLength

perspective.derivation.TypeLength
See theTypeLength companion trait
object TypeLength

Attributes

Companion
trait
Source
TypeLength.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TypeLength.type

Members list

Type members

Classlikes

case class TypeLengthImpl[A, Length0 <: Int](length: Length0) extends TypeLength[A]

Attributes

Source
TypeLength.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait TypeLength[A]
class Object
trait Matchable
class Any
Show all

Types

type Aux[A, Length0 <: Int] = TypeLength[A] { type Length = Length0; }

Attributes

Source
TypeLength.scala

Value members

Concrete methods

def tupleFromMirrorAndLength[A, T <: Tuple](using length: TypeLength[A], m: Of[A] { type MirroredElemTypes = T; }): Aux[T, length.Length]

Attributes

Source
TypeLength.scala

Givens

Givens

inline given fromMirror[A](using m: Of[A]): Aux[A, Size[m.MirroredElemLabels]]

Attributes

Source
TypeLength.scala
inline given fromTuple[T <: Tuple]: Aux[T, Size[T]]

Attributes

Source
TypeLength.scala
given valueOf[A](using typeLength: TypeLength[A]): ValueOf[typeLength.Length]

Attributes

Source
TypeLength.scala