perspective.derivation.TypeLength
See theTypeLength companion trait
object TypeLength
Attributes
- Companion
- trait
- Source
- TypeLength.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass 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 Serializabletrait Producttrait Equalstrait TypeLength[A]class Objecttrait Matchableclass AnyShow all
Types
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
Attributes
- Source
- TypeLength.scala
Attributes
- Source
- TypeLength.scala
Attributes
- Source
- TypeLength.scala
In this article