Scala 3
3.5.2
LearnInstallPlaygroundFind A LibraryCommunityBlog
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
Scala 3/scala/scala.quoted/FromExpr

FromExpr

scala.quoted.FromExpr
See theFromExpr companion trait
object FromExpr

Default given instances of FromExpr

Attributes

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

Members list

Type members

Classlikes

object EmptyTupleFromExpr extends FromExpr[EmptyTuple.type]

Default implementation of FromExpr[EmptyTuple]

Default implementation of FromExpr[EmptyTuple]

  • Transform '{EmptyTuple} into Some(EmptyTuple)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
Supertypes
trait FromExpr[EmptyTuple.type]
class Object
trait Matchable
class Any
Self type
object NilFromExpr extends FromExpr[Nil.type]

Default implementation of FromExpr[Nil]

Default implementation of FromExpr[Nil]

  • Transform '{Nil} into Some(Nil)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
Supertypes
trait FromExpr[Nil.type]
class Object
trait Matchable
class Any
Self type
object NoneFromExpr extends FromExpr[None.type]

Default implementation of FromExpr[None]

Default implementation of FromExpr[None]

  • Transform '{None} into Some(None)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
Supertypes
trait FromExpr[None.type]
class Object
trait Matchable
class Any
Self type
object StringContextFromExpr extends FromExpr[StringContext]

Default implementation of FromExpr[StringContext]

Default implementation of FromExpr[StringContext]

  • Transform '{StringContext(args*)} into Some(StringContext(args*)) if args is explicit and each one is liftable
  • Otherwise returns None

Attributes

Source
FromExpr.scala
Supertypes
class Object
trait Matchable
class Any
Self type

Givens

Givens

given BooleanFromExpr[T <: Boolean]: FromExpr[T]

Default implementation of FromExpr[Boolean]

Default implementation of FromExpr[Boolean]

  • Transform '{true} into Some(true)
  • Transform '{false} into Some(false)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given ByteFromExpr[T <: Byte]: FromExpr[T]

Default implementation of FromExpr[Byte]

Default implementation of FromExpr[Byte]

  • Transform '{n} into Some(n) for a literal n of type Byte
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given CharFromExpr[T <: Char]: FromExpr[T]

Default implementation of FromExpr[Char]

Default implementation of FromExpr[Char]

  • Transform '{c} into Some(c) for a literal c of type Char
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given DoubleFromExpr[T <: Double]: FromExpr[T]

Default implementation of FromExpr[Double]

Default implementation of FromExpr[Double]

  • Transform '{n} into Some(n) for a literal n of type Double
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given EitherFromExpr[L, R](using x$1: Type[L], x$2: Type[R], x$3: FromExpr[L], x$4: FromExpr[R]): EitherFromExpr[L, R]

Default implementation of FromExpr[Either]

Default implementation of FromExpr[Either]

  • Transform '{Left(x)} into Some(Left(x)) if x can be transformed using FromExpr[L]
  • Transform '{Right(x)} into Some(Right(x)) if x can be transformed using FromExpr[R]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given EmptyTupleFromExpr: EmptyTupleFromExpr

Default implementation of FromExpr[EmptyTuple]

Default implementation of FromExpr[EmptyTuple]

  • Transform '{EmptyTuple} into Some(EmptyTuple)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given FloatFromExpr[T <: Float]: FromExpr[T]

Default implementation of FromExpr[Float]

Default implementation of FromExpr[Float]

  • Transform '{n} into Some(n) for a literal n of type Float
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given IntFromExpr[T <: Int]: FromExpr[T]

Default implementation of FromExpr[Int]

Default implementation of FromExpr[Int]

  • Transform '{n} into Some(n) for a literal n of type Int
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given LeftFromExpr[L, R](using x$1: Type[L], x$2: Type[R], x$3: FromExpr[L]): LeftFromExpr[L, R]

Default implementation of FromExpr[Left]

Default implementation of FromExpr[Left]

  • Transform '{Left(x)} into Some(Left(x)) if x can be transformed using FromExpr[L]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given ListFromExpr[T](using x$1: Type[T], x$2: FromExpr[T]): ListFromExpr[T]

Default implementation of FromExpr[List]

Default implementation of FromExpr[List]

  • Transform '{List(x1, ..., xn)} into Some(List(x1, ..., xn)) if all xi can be transformed using FromExpr[Ti]
  • Transform '{List.empty} into Some(Nil)
  • Transform '{Nil} into Some(Nil)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given LongFromExpr[T <: Long]: FromExpr[T]

Default implementation of FromExpr[Long]

Default implementation of FromExpr[Long]

  • Transform '{n} into Some(n) for a literal n of type Long
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given MapFromExpr[T, U](using x$1: Type[T], x$2: Type[U], x$3: FromExpr[T], x$4: FromExpr[U]): MapFromExpr[T, U]

Default implementation of FromExpr[Map]

Default implementation of FromExpr[Map]

  • Transform '{Map(x1, ..., xn)} into Some(Map(x1, ..., xn)) if all xi can be transformed using FromExpr[Ti]
  • Transform '{Map.empty} into Some(Map())
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given NilFromExpr: NilFromExpr

Default implementation of FromExpr[Nil]

Default implementation of FromExpr[Nil]

  • Transform '{Nil} into Some(Nil)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given NoneFromExpr: NoneFromExpr

Default implementation of FromExpr[None]

Default implementation of FromExpr[None]

  • Transform '{None} into Some(None)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given OptionFromExpr[T](using x$1: Type[T], x$2: FromExpr[T]): OptionFromExpr[T]

Default implementation of FromExpr[Option]

Default implementation of FromExpr[Option]

  • Transform '{Some(x)} into Some(Some(x)) if x can be transformed using FromExpr[T]
  • Transform '{None} into Some(None)
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given RightFromExpr[L, R](using x$1: Type[L], x$2: Type[R], x$3: FromExpr[R]): RightFromExpr[L, R]

Default implementation of FromExpr[Right]

Default implementation of FromExpr[Right]

  • Transform '{Right(x)} into Some(Right(x)) if x can be transformed using FromExpr[R]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given SeqFromExpr[T](using x$1: Type[T], x$2: FromExpr[T]): SeqFromExpr[T]

Default implementation of FromExpr[Seq]

Default implementation of FromExpr[Seq]

  • Transform '{Seq(x1, ..., xn)} into Some(Seq(x1, ..., xn)) if all xi can be transformed using FromExpr[Ti]
  • Transform sequences that come out of varargs
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given SetFromExpr[T](using x$1: Type[T], x$2: FromExpr[T]): SetFromExpr[T]

Default implementation of FromExpr[Set]

Default implementation of FromExpr[Set]

  • Transform '{Set(x1, ..., xn)} into Some(Set(x1, ..., xn)) if all xi can be transformed using FromExpr[Ti]
  • Transform '{Set.empty} into Some(Set())
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given ShortFromExpr[T <: Short]: FromExpr[T]

Default implementation of FromExpr[Short]

Default implementation of FromExpr[Short]

  • Transform '{n} into Some(n) for a literal n of type Short
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given SomeFromExpr[T](using x$1: Type[T], x$2: FromExpr[T]): SomeFromExpr[T]

Default implementation of FromExpr[Some]

Default implementation of FromExpr[Some]

  • Transform '{Some(x)} into Some(Some(x)) if x can be transformed using FromExpr[T]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given StringContextFromExpr: StringContextFromExpr

Default implementation of FromExpr[StringContext]

Default implementation of FromExpr[StringContext]

  • Transform '{StringContext(args*)} into Some(StringContext(args*)) if args is explicit and each one is liftable
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given StringFromExpr[T <: String]: FromExpr[T]

Default implementation of FromExpr[String]

Default implementation of FromExpr[String]

  • Transform '{str} into Some(str) for a literal str of type String
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple10FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: FromExpr[T1], x$12: FromExpr[T2], x$13: FromExpr[T3], x$14: FromExpr[T4], x$15: FromExpr[T5], x$16: FromExpr[T6], x$17: FromExpr[T7], x$18: FromExpr[T8], x$19: FromExpr[T9], x$20: FromExpr[T10]): Tuple10FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]

Default implementation of FromExpr[Tuple10[...]]

Default implementation of FromExpr[Tuple10[...]]

  • Transform '{Tuple0(x1, ..., x10)} into Some(Tuple0(x1, ..., x10)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple11FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: FromExpr[T1], x$13: FromExpr[T2], x$14: FromExpr[T3], x$15: FromExpr[T4], x$16: FromExpr[T5], x$17: FromExpr[T6], x$18: FromExpr[T7], x$19: FromExpr[T8], x$20: FromExpr[T9], x$21: FromExpr[T10], x$22: FromExpr[T11]): Tuple11FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]

Default implementation of FromExpr[Tuple11[...]]

Default implementation of FromExpr[Tuple11[...]]

  • Transform '{Tuple1(x1, ..., x11)} into Some(Tuple1(x1, ..., x11)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple12FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: FromExpr[T1], x$14: FromExpr[T2], x$15: FromExpr[T3], x$16: FromExpr[T4], x$17: FromExpr[T5], x$18: FromExpr[T6], x$19: FromExpr[T7], x$20: FromExpr[T8], x$21: FromExpr[T9], x$22: FromExpr[T10], x$23: FromExpr[T11], x$24: FromExpr[T12]): Tuple12FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]

Default implementation of FromExpr[Tuple12[...]]

Default implementation of FromExpr[Tuple12[...]]

  • Transform '{Tuple2(x1, ..., x12)} into Some(Tuple2(x1, ..., x12)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple13FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: FromExpr[T1], x$15: FromExpr[T2], x$16: FromExpr[T3], x$17: FromExpr[T4], x$18: FromExpr[T5], x$19: FromExpr[T6], x$20: FromExpr[T7], x$21: FromExpr[T8], x$22: FromExpr[T9], x$23: FromExpr[T10], x$24: FromExpr[T11], x$25: FromExpr[T12], x$26: FromExpr[T13]): Tuple13FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]

Default implementation of FromExpr[Tuple13[...]]

Default implementation of FromExpr[Tuple13[...]]

  • Transform '{Tuple3(x1, ..., x13)} into Some(Tuple3(x1, ..., x13)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple14FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: FromExpr[T1], x$16: FromExpr[T2], x$17: FromExpr[T3], x$18: FromExpr[T4], x$19: FromExpr[T5], x$20: FromExpr[T6], x$21: FromExpr[T7], x$22: FromExpr[T8], x$23: FromExpr[T9], x$24: FromExpr[T10], x$25: FromExpr[T11], x$26: FromExpr[T12], x$27: FromExpr[T13], x$28: FromExpr[T14]): Tuple14FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]

Default implementation of FromExpr[Tuple14[...]]

Default implementation of FromExpr[Tuple14[...]]

  • Transform '{Tuple4(x1, ..., x14)} into Some(Tuple4(x1, ..., x14)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple15FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: FromExpr[T1], x$17: FromExpr[T2], x$18: FromExpr[T3], x$19: FromExpr[T4], x$20: FromExpr[T5], x$21: FromExpr[T6], x$22: FromExpr[T7], x$23: FromExpr[T8], x$24: FromExpr[T9], x$25: FromExpr[T10], x$26: FromExpr[T11], x$27: FromExpr[T12], x$28: FromExpr[T13], x$29: FromExpr[T14], x$30: FromExpr[T15]): Tuple15FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]

Default implementation of FromExpr[Tuple15[...]]

Default implementation of FromExpr[Tuple15[...]]

  • Transform '{Tuple5(x1, ..., x15)} into Some(Tuple5(x1, ..., x15)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple16FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: FromExpr[T1], x$18: FromExpr[T2], x$19: FromExpr[T3], x$20: FromExpr[T4], x$21: FromExpr[T5], x$22: FromExpr[T6], x$23: FromExpr[T7], x$24: FromExpr[T8], x$25: FromExpr[T9], x$26: FromExpr[T10], x$27: FromExpr[T11], x$28: FromExpr[T12], x$29: FromExpr[T13], x$30: FromExpr[T14], x$31: FromExpr[T15], x$32: FromExpr[T16]): Tuple16FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]

Default implementation of FromExpr[Tuple16[...]]

Default implementation of FromExpr[Tuple16[...]]

  • Transform '{Tuple6(x1, ..., x16)} into Some(Tuple6(x1, ..., x16)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple17FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: Type[T17], x$18: FromExpr[T1], x$19: FromExpr[T2], x$20: FromExpr[T3], x$21: FromExpr[T4], x$22: FromExpr[T5], x$23: FromExpr[T6], x$24: FromExpr[T7], x$25: FromExpr[T8], x$26: FromExpr[T9], x$27: FromExpr[T10], x$28: FromExpr[T11], x$29: FromExpr[T12], x$30: FromExpr[T13], x$31: FromExpr[T14], x$32: FromExpr[T15], x$33: FromExpr[T16], x$34: FromExpr[T17]): Tuple17FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]

Default implementation of FromExpr[Tuple17[...]]

Default implementation of FromExpr[Tuple17[...]]

  • Transform '{Tuple7(x1, ..., x17)} into Some(Tuple7(x1, ..., x17)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple18FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: Type[T17], x$18: Type[T18], x$19: FromExpr[T1], x$20: FromExpr[T2], x$21: FromExpr[T3], x$22: FromExpr[T4], x$23: FromExpr[T5], x$24: FromExpr[T6], x$25: FromExpr[T7], x$26: FromExpr[T8], x$27: FromExpr[T9], x$28: FromExpr[T10], x$29: FromExpr[T11], x$30: FromExpr[T12], x$31: FromExpr[T13], x$32: FromExpr[T14], x$33: FromExpr[T15], x$34: FromExpr[T16], x$35: FromExpr[T17], x$36: FromExpr[T18]): Tuple18FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]

Default implementation of FromExpr[Tuple18[...]]

Default implementation of FromExpr[Tuple18[...]]

  • Transform '{Tuple8(x1, ..., x18)} into Some(Tuple8(x1, ..., x18)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple19FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: Type[T17], x$18: Type[T18], x$19: Type[T19], x$20: FromExpr[T1], x$21: FromExpr[T2], x$22: FromExpr[T3], x$23: FromExpr[T4], x$24: FromExpr[T5], x$25: FromExpr[T6], x$26: FromExpr[T7], x$27: FromExpr[T8], x$28: FromExpr[T9], x$29: FromExpr[T10], x$30: FromExpr[T11], x$31: FromExpr[T12], x$32: FromExpr[T13], x$33: FromExpr[T14], x$34: FromExpr[T15], x$35: FromExpr[T16], x$36: FromExpr[T17], x$37: FromExpr[T18], x$38: FromExpr[T19]): Tuple19FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]

Default implementation of FromExpr[Tuple19[...]]

Default implementation of FromExpr[Tuple19[...]]

  • Transform '{Tuple9(x1, ..., x19)} into Some(Tuple9(x1, ..., x19)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple1FromExpr[T1](using x$1: Type[T1], x$2: FromExpr[T1]): Tuple1FromExpr[T1]

Default implementation of FromExpr[Tuple1[...]]

Default implementation of FromExpr[Tuple1[...]]

  • Transform '{Tuple1(x1)} into Some(Tuple1(x1)) if x1 can be transformed using FromExpr[T]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple20FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: Type[T17], x$18: Type[T18], x$19: Type[T19], x$20: Type[T20], x$21: FromExpr[T1], x$22: FromExpr[T2], x$23: FromExpr[T3], x$24: FromExpr[T4], x$25: FromExpr[T5], x$26: FromExpr[T6], x$27: FromExpr[T7], x$28: FromExpr[T8], x$29: FromExpr[T9], x$30: FromExpr[T10], x$31: FromExpr[T11], x$32: FromExpr[T12], x$33: FromExpr[T13], x$34: FromExpr[T14], x$35: FromExpr[T15], x$36: FromExpr[T16], x$37: FromExpr[T17], x$38: FromExpr[T18], x$39: FromExpr[T19], x$40: FromExpr[T20]): Tuple20FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]

Default implementation of FromExpr[Tuple20[...]]

Default implementation of FromExpr[Tuple20[...]]

  • Transform '{Tuple0(x1, ..., x20)} into Some(Tuple0(x1, ..., x20)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple21FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: Type[T17], x$18: Type[T18], x$19: Type[T19], x$20: Type[T20], x$21: Type[T21], x$22: FromExpr[T1], x$23: FromExpr[T2], x$24: FromExpr[T3], x$25: FromExpr[T4], x$26: FromExpr[T5], x$27: FromExpr[T6], x$28: FromExpr[T7], x$29: FromExpr[T8], x$30: FromExpr[T9], x$31: FromExpr[T10], x$32: FromExpr[T11], x$33: FromExpr[T12], x$34: FromExpr[T13], x$35: FromExpr[T14], x$36: FromExpr[T15], x$37: FromExpr[T16], x$38: FromExpr[T17], x$39: FromExpr[T18], x$40: FromExpr[T19], x$41: FromExpr[T20], x$42: FromExpr[T21]): Tuple21FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]

Default implementation of FromExpr[Tuple21[...]]

Default implementation of FromExpr[Tuple21[...]]

  • Transform '{Tuple1(x1, ..., x21)} into Some(Tuple1(x1, ..., x21)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple22FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: Type[T10], x$11: Type[T11], x$12: Type[T12], x$13: Type[T13], x$14: Type[T14], x$15: Type[T15], x$16: Type[T16], x$17: Type[T17], x$18: Type[T18], x$19: Type[T19], x$20: Type[T20], x$21: Type[T21], x$22: Type[T22], x$23: FromExpr[T1], x$24: FromExpr[T2], x$25: FromExpr[T3], x$26: FromExpr[T4], x$27: FromExpr[T5], x$28: FromExpr[T6], x$29: FromExpr[T7], x$30: FromExpr[T8], x$31: FromExpr[T9], x$32: FromExpr[T10], x$33: FromExpr[T11], x$34: FromExpr[T12], x$35: FromExpr[T13], x$36: FromExpr[T14], x$37: FromExpr[T15], x$38: FromExpr[T16], x$39: FromExpr[T17], x$40: FromExpr[T18], x$41: FromExpr[T19], x$42: FromExpr[T20], x$43: FromExpr[T21], x$44: FromExpr[T22]): Tuple22FromExpr[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 FromExpr[Tuple22[...]]

Default implementation of FromExpr[Tuple22[...]]

  • Transform '{Tuple2(x1, ..., x22)} into Some(Tuple2(x1, ..., x22)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple2FromExpr[T1, T2](using x$1: Type[T1], x$2: Type[T2], x$3: FromExpr[T1], x$4: FromExpr[T2]): Tuple2FromExpr[T1, T2]

Default implementation of FromExpr[Tuple2[...]]

Default implementation of FromExpr[Tuple2[...]]

  • Transform '{Tuple2(x1, x2)} into Some(Tuple2(x1, x2)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple3FromExpr[T1, T2, T3](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: FromExpr[T1], x$5: FromExpr[T2], x$6: FromExpr[T3]): Tuple3FromExpr[T1, T2, T3]

Default implementation of FromExpr[Tuple3[...]]

Default implementation of FromExpr[Tuple3[...]]

  • Transform '{Tuple3(x1, x2, x3)} into Some(Tuple3(x1, x2, x3)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple4FromExpr[T1, T2, T3, T4](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: FromExpr[T1], x$6: FromExpr[T2], x$7: FromExpr[T3], x$8: FromExpr[T4]): Tuple4FromExpr[T1, T2, T3, T4]

Default implementation of FromExpr[Tuple4[...]]

Default implementation of FromExpr[Tuple4[...]]

  • Transform '{Tuple4(x1, ..., x4)} into Some(Tuple4(x1, ..., x4)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple5FromExpr[T1, T2, T3, T4, T5](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: FromExpr[T1], x$7: FromExpr[T2], x$8: FromExpr[T3], x$9: FromExpr[T4], x$10: FromExpr[T5]): Tuple5FromExpr[T1, T2, T3, T4, T5]

Default implementation of FromExpr[Tuple5[...]]

Default implementation of FromExpr[Tuple5[...]]

  • Transform '{Tuple5(x1, ..., x5)} into Some(Tuple5(x1, ..., x5)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple6FromExpr[T1, T2, T3, T4, T5, T6](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: FromExpr[T1], x$8: FromExpr[T2], x$9: FromExpr[T3], x$10: FromExpr[T4], x$11: FromExpr[T5], x$12: FromExpr[T6]): Tuple6FromExpr[T1, T2, T3, T4, T5, T6]

Default implementation of FromExpr[Tuple6[...]]

Default implementation of FromExpr[Tuple6[...]]

  • Transform '{Tuple6(x1, ..., x6)} into Some(Tuple6(x1, ..., x6)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple7FromExpr[T1, T2, T3, T4, T5, T6, T7](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: FromExpr[T1], x$9: FromExpr[T2], x$10: FromExpr[T3], x$11: FromExpr[T4], x$12: FromExpr[T5], x$13: FromExpr[T6], x$14: FromExpr[T7]): Tuple7FromExpr[T1, T2, T3, T4, T5, T6, T7]

Default implementation of FromExpr[Tuple7[...]]

Default implementation of FromExpr[Tuple7[...]]

  • Transform '{Tuple7(x1, ..., x7)} into Some(Tuple7(x1, ..., x7)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple8FromExpr[T1, T2, T3, T4, T5, T6, T7, T8](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: FromExpr[T1], x$10: FromExpr[T2], x$11: FromExpr[T3], x$12: FromExpr[T4], x$13: FromExpr[T5], x$14: FromExpr[T6], x$15: FromExpr[T7], x$16: FromExpr[T8]): Tuple8FromExpr[T1, T2, T3, T4, T5, T6, T7, T8]

Default implementation of FromExpr[Tuple8[...]]

Default implementation of FromExpr[Tuple8[...]]

  • Transform '{Tuple8(x1, ..., x8)} into Some(Tuple8(x1, ..., x8)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
given Tuple9FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9](using x$1: Type[T1], x$2: Type[T2], x$3: Type[T3], x$4: Type[T4], x$5: Type[T5], x$6: Type[T6], x$7: Type[T7], x$8: Type[T8], x$9: Type[T9], x$10: FromExpr[T1], x$11: FromExpr[T2], x$12: FromExpr[T3], x$13: FromExpr[T4], x$14: FromExpr[T5], x$15: FromExpr[T6], x$16: FromExpr[T7], x$17: FromExpr[T8], x$18: FromExpr[T9]): Tuple9FromExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9]

Default implementation of FromExpr[Tuple9[...]]

Default implementation of FromExpr[Tuple9[...]]

  • Transform '{Tuple9(x1, ..., x9)} into Some(Tuple9(x1, ..., x9)) if all xi can be transformed using FromExpr[Ti]
  • Otherwise returns None

Attributes

Source
FromExpr.scala
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL