scala-library-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
scala-library-bootstrapped/scala/scala.quoted/ToExpr

ToExpr

scala.quoted.ToExpr
See theToExpr companion trait
object ToExpr

Default given instances of ToExpr.

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ToExpr.type

Members list

Type members

Classlikes

object ArrayOfBooleanToExpr extends ToExpr[Array[Boolean]]

Default implementation of ToExpr[Array[Boolean]].

Default implementation of ToExpr[Array[Boolean]].

Attributes

Supertypes
trait ToExpr[Array[Boolean]]
class Object
trait Matchable
class Any
Self type
object ArrayOfByteToExpr extends ToExpr[Array[Byte]]

Default implementation of ToExpr[Array[Byte]].

Default implementation of ToExpr[Array[Byte]].

Attributes

Supertypes
trait ToExpr[Array[Byte]]
class Object
trait Matchable
class Any
Self type
object ArrayOfCharToExpr extends ToExpr[Array[Char]]

Default implementation of ToExpr[Array[Char]].

Default implementation of ToExpr[Array[Char]].

Attributes

Supertypes
trait ToExpr[Array[Char]]
class Object
trait Matchable
class Any
Self type
object ArrayOfDoubleToExpr extends ToExpr[Array[Double]]

Default implementation of ToExpr[Array[Double]].

Default implementation of ToExpr[Array[Double]].

Attributes

Supertypes
trait ToExpr[Array[Double]]
class Object
trait Matchable
class Any
Self type
object ArrayOfFloatToExpr extends ToExpr[Array[Float]]

Default implementation of ToExpr[Array[Float]].

Default implementation of ToExpr[Array[Float]].

Attributes

Supertypes
trait ToExpr[Array[Float]]
class Object
trait Matchable
class Any
Self type
object ArrayOfIntToExpr extends ToExpr[Array[Int]]

Default implementation of ToExpr[Array[Int]].

Default implementation of ToExpr[Array[Int]].

Attributes

Supertypes
trait ToExpr[Array[Int]]
class Object
trait Matchable
class Any
Self type
object ArrayOfLongToExpr extends ToExpr[Array[Long]]

Default implementation of ToExpr[Array[Long]].

Default implementation of ToExpr[Array[Long]].

Attributes

Supertypes
trait ToExpr[Array[Long]]
class Object
trait Matchable
class Any
Self type
object ArrayOfShortToExpr extends ToExpr[Array[Short]]

Default implementation of ToExpr[Array[Short]].

Default implementation of ToExpr[Array[Short]].

Attributes

Supertypes
trait ToExpr[Array[Short]]
class Object
trait Matchable
class Any
Self type
object BigDecimalToExpr extends ToExpr[BigDecimal]

Default implementation of ToExpr[BigDecimal using the default MathContext].

Default implementation of ToExpr[BigDecimal using the default MathContext].

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object BigIntToExpr extends ToExpr[BigInt]

Default implementation of ToExpr[BigInt].

Default implementation of ToExpr[BigInt].

Attributes

Supertypes
trait ToExpr[BigInt]
class Object
trait Matchable
class Any
Self type
object EmptyTupleToExpr extends ToExpr[EmptyTuple.type]

Default implementation of ToExpr[EmptyTuple.type].

Default implementation of ToExpr[EmptyTuple.type].

Attributes

Supertypes
trait ToExpr[EmptyTuple.type]
class Object
trait Matchable
class Any
Self type
object NilToExpr extends ToExpr[Nil.type]

Default implementation of ToExpr[Nil.type].

Default implementation of ToExpr[Nil.type].

Attributes

Supertypes
trait ToExpr[Nil.type]
class Object
trait Matchable
class Any
Self type
NilToExpr.type
object NoneToExpr extends ToExpr[None.type]

Default implementation of ToExpr[None.type].

Default implementation of ToExpr[None.type].

Attributes

Supertypes
trait ToExpr[None.type]
class Object
trait Matchable
class Any
Self type
NoneToExpr.type
object StringContextToExpr extends ToExpr[StringContext]

Default implementation of ToExpr[StringContext].

Default implementation of ToExpr[StringContext].

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Givens

Givens

given ArrayOfBooleanToExpr: ArrayOfBooleanToExpr

Default implementation of ToExpr[Array[Boolean]].

Default implementation of ToExpr[Array[Boolean]].

Attributes

given ArrayOfByteToExpr: ArrayOfByteToExpr

Default implementation of ToExpr[Array[Byte]].

Default implementation of ToExpr[Array[Byte]].

Attributes

given ArrayOfCharToExpr: ArrayOfCharToExpr

Default implementation of ToExpr[Array[Char]].

Default implementation of ToExpr[Array[Char]].

Attributes

given ArrayOfDoubleToExpr: ArrayOfDoubleToExpr

Default implementation of ToExpr[Array[Double]].

Default implementation of ToExpr[Array[Double]].

Attributes

given ArrayOfFloatToExpr: ArrayOfFloatToExpr

Default implementation of ToExpr[Array[Float]].

Default implementation of ToExpr[Array[Float]].

Attributes

given ArrayOfIntToExpr: ArrayOfIntToExpr

Default implementation of ToExpr[Array[Int]].

Default implementation of ToExpr[Array[Int]].

Attributes

given ArrayOfLongToExpr: ArrayOfLongToExpr

Default implementation of ToExpr[Array[Long]].

Default implementation of ToExpr[Array[Long]].

Attributes

given ArrayOfShortToExpr: ArrayOfShortToExpr

Default implementation of ToExpr[Array[Short]].

Default implementation of ToExpr[Array[Short]].

Attributes

given ArrayToExpr: [T : Type : ToExpr : ClassTag] => ArrayToExpr[T]

Default implementation of ToExpr[Array[T]].

Default implementation of ToExpr[Array[T]].

Attributes

given BigDecimalToExpr: BigDecimalToExpr

Default implementation of ToExpr[BigDecimal using the default MathContext].

Default implementation of ToExpr[BigDecimal using the default MathContext].

Attributes

given BigIntToExpr: BigIntToExpr

Default implementation of ToExpr[BigInt].

Default implementation of ToExpr[BigInt].

Attributes

given BooleanToExpr: [T <: Boolean] => BooleanToExpr[T]

Default implementation of ToExpr[Boolean].

Default implementation of ToExpr[Boolean].

Attributes

given ByteToExpr: [T <: Byte] => ByteToExpr[T]

Default implementation of ToExpr[Byte].

Default implementation of ToExpr[Byte].

Attributes

given CharToExpr: [T <: Char] => CharToExpr[T]

Default implementation of ToExpr[Char].

Default implementation of ToExpr[Char].

Attributes

given ClassTagToExpr: [T : Type] => ClassTagToExpr[T]

Default implementation of ToExpr[ClassTag[T]].

Default implementation of ToExpr[ClassTag[T]].

Attributes

given ClassToExpr: [T <: Class[_]] => ClassToExpr[T]

Default implementation of ToExpr[Class[T]].

Default implementation of ToExpr[Class[T]].

Attributes

given DoubleToExpr: [T <: Double] => DoubleToExpr[T]

Default implementation of ToExpr[Double].

Default implementation of ToExpr[Double].

Attributes

given EitherToExpr: [L : Type : ToExpr, R : Type : ToExpr] => EitherToExpr[L, R]

Default implementation of ToExpr[Either[L, R]].

Default implementation of ToExpr[Either[L, R]].

Attributes

given EmptyTupleToExpr: EmptyTupleToExpr

Default implementation of ToExpr[EmptyTuple.type].

Default implementation of ToExpr[EmptyTuple.type].

Attributes

given FloatToExpr: [T <: Float] => FloatToExpr[T]

Default implementation of ToExpr[Float].

Default implementation of ToExpr[Float].

Attributes

given IArrayToExpr: [T] => (Type[T], ToExpr[Array[T]]) => IArrayToExpr[T]

Default implementation of ToExpr[IArray[T]].

Default implementation of ToExpr[IArray[T]].

Attributes

given IntToExpr: [T <: Int] => IntToExpr[T]

Default implementation of ToExpr[Int].

Default implementation of ToExpr[Int].

Attributes

given LeftToExpr: [L : Type : ToExpr, R : Type] => LeftToExpr[L, R]

Default implementation of ToExpr[Left[L, R]].

Default implementation of ToExpr[Left[L, R]].

Attributes

given ListToExpr: [T : Type : ToExpr] => ListToExpr[T]

Default implementation of ToExpr[List[T]].

Default implementation of ToExpr[List[T]].

Attributes

given LongToExpr: [T <: Long] => LongToExpr[T]

Default implementation of ToExpr[Long].

Default implementation of ToExpr[Long].

Attributes

given MapToExpr: [T : Type : ToExpr, U : Type : ToExpr] => MapToExpr[T, U]

Default implementation of ToExpr[Map[T, U]].

Default implementation of ToExpr[Map[T, U]].

Attributes

given NilToExpr: NilToExpr

Default implementation of ToExpr[Nil.type].

Default implementation of ToExpr[Nil.type].

Attributes

given NoneToExpr: NoneToExpr

Default implementation of ToExpr[None.type].

Default implementation of ToExpr[None.type].

Attributes

given OptionToExpr: [T : Type : ToExpr] => OptionToExpr[T]

Default implementation of ToExpr[Option[T]].

Default implementation of ToExpr[Option[T]].

Attributes

given RightToExpr: [L : Type, R : Type : ToExpr] => RightToExpr[L, R]

Default implementation of ToExpr[Right[L, R]].

Default implementation of ToExpr[Right[L, R]].

Attributes

given SeqToExpr: [T : Type : ToExpr] => SeqToExpr[T]

Default implementation of ToExpr[Seq[T]].

Default implementation of ToExpr[Seq[T]].

Attributes

given SetToExpr: [T : Type : ToExpr] => SetToExpr[T]

Default implementation of ToExpr[Set[T]].

Default implementation of ToExpr[Set[T]].

Attributes

given ShortToExpr: [T <: Short] => ShortToExpr[T]

Default implementation of ToExpr[Short].

Default implementation of ToExpr[Short].

Attributes

given SomeToExpr: [T : Type : ToExpr] => SomeToExpr[T]

Default implementation of ToExpr[Some[T]].

Default implementation of ToExpr[Some[T]].

Attributes

given StringContextToExpr: StringContextToExpr

Default implementation of ToExpr[StringContext].

Default implementation of ToExpr[StringContext].

Attributes

given StringToExpr: [T <: String] => StringToExpr[T]

Default implementation of ToExpr[String].

Default implementation of ToExpr[String].

Attributes

given Tuple10ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr] => Tuple10ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]

Default implementation of ToExpr[Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]].

Default implementation of ToExpr[Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]].

Attributes

given Tuple11ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr] => Tuple11ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]

Default implementation of ToExpr[Tuple11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]].

Default implementation of ToExpr[Tuple11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]].

Attributes

given Tuple12ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr] => Tuple12ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]

Default implementation of ToExpr[Tuple12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]].

Default implementation of ToExpr[Tuple12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]].

Attributes

given Tuple13ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr] => Tuple13ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]

Default implementation of ToExpr[Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]].

Default implementation of ToExpr[Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]].

Attributes

given Tuple14ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr] => Tuple14ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]

Default implementation of ToExpr[Tuple14[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]].

Default implementation of ToExpr[Tuple14[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]].

Attributes

given Tuple15ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr] => Tuple15ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]

Default implementation of ToExpr[Tuple15[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]].

Default implementation of ToExpr[Tuple15[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]].

Attributes

given Tuple16ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr] => Tuple16ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]

Default implementation of ToExpr[Tuple16[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]].

Default implementation of ToExpr[Tuple16[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]].

Attributes

given Tuple17ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr, T17 : Type : ToExpr] => Tuple17ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]

Default implementation of ToExpr[Tuple17[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]].

Default implementation of ToExpr[Tuple17[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]].

Attributes

given Tuple18ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr, T17 : Type : ToExpr, T18 : Type : ToExpr] => Tuple18ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]

Default implementation of ToExpr[Tuple18[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]].

Default implementation of ToExpr[Tuple18[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]].

Attributes

given Tuple19ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr, T17 : Type : ToExpr, T18 : Type : ToExpr, T19 : Type : ToExpr] => Tuple19ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]

Default implementation of ToExpr[Tuple19[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]].

Default implementation of ToExpr[Tuple19[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]].

Attributes

given Tuple1ToExpr: [T1 : Type : ToExpr] => Tuple1ToExpr[T1]

Default implementation of ToExpr[Tuple1[T1]].

Default implementation of ToExpr[Tuple1[T1]].

Attributes

given Tuple20ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr, T17 : Type : ToExpr, T18 : Type : ToExpr, T19 : Type : ToExpr, T20 : Type : ToExpr] => Tuple20ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]

Default implementation of ToExpr[Tuple20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]].

Default implementation of ToExpr[Tuple20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]].

Attributes

given Tuple21ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr, T17 : Type : ToExpr, T18 : Type : ToExpr, T19 : Type : ToExpr, T20 : Type : ToExpr, T21 : Type : ToExpr] => Tuple21ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]

Default implementation of ToExpr[Tuple21[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]].

Default implementation of ToExpr[Tuple21[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]].

Attributes

given Tuple22ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr, T10 : Type : ToExpr, T11 : Type : ToExpr, T12 : Type : ToExpr, T13 : Type : ToExpr, T14 : Type : ToExpr, T15 : Type : ToExpr, T16 : Type : ToExpr, T17 : Type : ToExpr, T18 : Type : ToExpr, T19 : Type : ToExpr, T20 : Type : ToExpr, T21 : Type : ToExpr, T22 : Type : ToExpr] => Tuple22ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22]

Default implementation of ToExpr[Tuple22[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22]].

Default implementation of ToExpr[Tuple22[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22]].

Attributes

given Tuple2ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr] => Tuple2ToExpr[T1, T2]

Default implementation of ToExpr[Tuple2[T1, T2]].

Default implementation of ToExpr[Tuple2[T1, T2]].

Attributes

given Tuple3ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr] => Tuple3ToExpr[T1, T2, T3]

Default implementation of ToExpr[Tuple3[T1, T2, T3]].

Default implementation of ToExpr[Tuple3[T1, T2, T3]].

Attributes

given Tuple4ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr] => Tuple4ToExpr[T1, T2, T3, T4]

Default implementation of ToExpr[Tuple4[T1, T2, T3, T4]].

Default implementation of ToExpr[Tuple4[T1, T2, T3, T4]].

Attributes

given Tuple5ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr] => Tuple5ToExpr[T1, T2, T3, T4, T5]

Default implementation of ToExpr[Tuple5[T1, T2, T3, T4, T5]].

Default implementation of ToExpr[Tuple5[T1, T2, T3, T4, T5]].

Attributes

given Tuple6ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr] => Tuple6ToExpr[T1, T2, T3, T4, T5, T6]

Default implementation of ToExpr[Tuple6[T1, T2, T3, T4, T5, T6]].

Default implementation of ToExpr[Tuple6[T1, T2, T3, T4, T5, T6]].

Attributes

given Tuple7ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr] => Tuple7ToExpr[T1, T2, T3, T4, T5, T6, T7]

Default implementation of ToExpr[Tuple7[T1, T2, T3, T4, T5, T6, T7]].

Default implementation of ToExpr[Tuple7[T1, T2, T3, T4, T5, T6, T7]].

Attributes

given Tuple8ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr] => Tuple8ToExpr[T1, T2, T3, T4, T5, T6, T7, T8]

Default implementation of ToExpr[Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]].

Default implementation of ToExpr[Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]].

Attributes

given Tuple9ToExpr: [T1 : Type : ToExpr, T2 : Type : ToExpr, T3 : Type : ToExpr, T4 : Type : ToExpr, T5 : Type : ToExpr, T6 : Type : ToExpr, T7 : Type : ToExpr, T8 : Type : ToExpr, T9 : Type : ToExpr] => Tuple9ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9]

Default implementation of ToExpr[Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]].

Default implementation of ToExpr[Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]].

Attributes

given TupleConsToExpr: [H : Type : ToExpr, T <: Tuple : Type : ToExpr] => TupleConsToExpr[H, T]

Default implementation of ToExpr[H *: T].

Default implementation of ToExpr[H *: T].

Attributes

Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL