Scala 3/scala.quoted/FromExpr

FromExpr

object FromExpr

Default given instances of FromExpr

Companion
class
Source
FromExpr.scala
class Object
trait Matchable
class Any

Givens

Givens

given BooleanFromExpr

Default implementation of FromExpr[Boolean] - Transform '{true} into Some(true) - Transform '{false} into Some(false) - Otherwise returns None

Default implementation of FromExpr[Boolean] - Transform '{true} into Some(true) - Transform '{false} into Some(false) - Otherwise returns None

Source
FromExpr.scala
given ByteFromExpr

Default implementation of FromExpr[Byte] - Transform '{n} into Some(n) for a literal n of type Byte - Otherwise returns None

Default implementation of FromExpr[Byte] - Transform '{n} into Some(n) for a literal n of type Byte - Otherwise returns None

Source
FromExpr.scala
given CharFromExpr

Default implementation of FromExpr[Char] - Transform '{c} into Some(c) for a literal c of type Char - Otherwise returns None

Default implementation of FromExpr[Char] - Transform '{c} into Some(c) for a literal c of type Char - Otherwise returns None

Source
FromExpr.scala
given DoubleFromExpr

Default implementation of FromExpr[Double] - Transform '{n} into Some(n) for a literal n of type Double - Otherwise returns None

Default implementation of FromExpr[Double] - Transform '{n} into Some(n) for a literal n of type Double - Otherwise returns None

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

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

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

Source
FromExpr.scala
given EmptyTupleFromExpr: FromExpr[EmptyTuple]

Default implementation of FromExpr[EmptyTuple] - Transform '{EmptyTuple} into Some(EmptyTuple) - Otherwise returns None

Default implementation of FromExpr[EmptyTuple] - Transform '{EmptyTuple} into Some(EmptyTuple) - Otherwise returns None

Source
FromExpr.scala
given FloatFromExpr

Default implementation of FromExpr[Float] - Transform '{n} into Some(n) for a literal n of type Float - Otherwise returns None

Default implementation of FromExpr[Float] - Transform '{n} into Some(n) for a literal n of type Float - Otherwise returns None

Source
FromExpr.scala
given IntFromExpr

Default implementation of FromExpr[Int] - Transform '{n} into Some(n) for a literal n of type Int - Otherwise returns None

Default implementation of FromExpr[Int] - Transform '{n} into Some(n) for a literal n of type Int - Otherwise returns None

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

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

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

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

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

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

Source
FromExpr.scala
given LongFromExpr

Default implementation of FromExpr[Long] - Transform '{n} into Some(n) for a literal n of type Long - Otherwise returns None

Default implementation of FromExpr[Long] - Transform '{n} into Some(n) for a literal n of type Long - Otherwise returns None

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

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

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

Source
FromExpr.scala
given NilFromExpr: FromExpr[Nil]

Default implementation of FromExpr[Nil] - Transform '{Nil} into Some(Nil) - Otherwise returns None

Default implementation of FromExpr[Nil] - Transform '{Nil} into Some(Nil) - Otherwise returns None

Source
FromExpr.scala
given NoneFromExpr: FromExpr[None]

Default implementation of FromExpr[None] - Transform '{None} into Some(None) - Otherwise returns None

Default implementation of FromExpr[None] - Transform '{None} into Some(None) - Otherwise returns None

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

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

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

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

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

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

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

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

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

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

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

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

Source
FromExpr.scala
given ShortFromExpr

Default implementation of FromExpr[Short] - Transform '{n} into Some(n) for a literal n of type Short - Otherwise returns None

Default implementation of FromExpr[Short] - Transform '{n} into Some(n) for a literal n of type Short - Otherwise returns None

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

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

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

Source
FromExpr.scala
given StringContextFromExpr: 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

Default implementation of FromExpr[StringContext] - Transform '{StringContext(args: _*)} into Some(StringContext(args: _*)) if args is explicit and each one is liftable - Otherwise returns None

Source
FromExpr.scala
given StringFromExpr

Default implementation of FromExpr[String] - Transform '{str} into Some(str) for a literal str of type String - Otherwise returns None

Default implementation of FromExpr[String] - Transform '{str} into Some(str) for a literal str of type String - Otherwise returns None

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Default implementation of FromExpr[Tuple1[...]] - Transform '{Tuple1(x1)} into Some(Tuple1(x1)) if x1 can be transformed using FromExpr[T] - Otherwise returns None

Default implementation of FromExpr[Tuple1[...]] - Transform '{Tuple1(x1)} into Some(Tuple1(x1)) if x1 can be transformed using FromExpr[T] - Otherwise returns None

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 val x$1: Type[T1], val x$2: Type[T2], val x$3: Type[T3], val x$4: Type[T4], val x$5: Type[T5], val x$6: Type[T6], val x$7: Type[T7], val x$8: Type[T8], val x$9: Type[T9], val x$10: Type[T10], val x$11: Type[T11], val x$12: Type[T12], val x$13: Type[T13], val x$14: Type[T14], val x$15: Type[T15], val x$16: Type[T16], val x$17: Type[T17], val x$18: Type[T18], val x$19: Type[T19], val x$20: Type[T20], val x$21: FromExpr[T1], val x$22: FromExpr[T2], val x$23: FromExpr[T3], val x$24: FromExpr[T4], val x$25: FromExpr[T5], val x$26: FromExpr[T6], val x$27: FromExpr[T7], val x$28: FromExpr[T8], val x$29: FromExpr[T9], val x$30: FromExpr[T10], val x$31: FromExpr[T11], val x$32: FromExpr[T12], val x$33: FromExpr[T13], val x$34: FromExpr[T14], val x$35: FromExpr[T15], val x$36: FromExpr[T16], val x$37: FromExpr[T17], val x$38: FromExpr[T18], val x$39: FromExpr[T19], val x$40: FromExpr[T20]): FromExpr[(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[...]] - Transform '{Tuple0(x1, ..., x20)} into Some(Tuple0(x1, ..., x20)) if all xi can be transformed using FromExpr[Ti] - Otherwise returns None

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

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 val x$1: Type[T1], val x$2: Type[T2], val x$3: Type[T3], val x$4: Type[T4], val x$5: Type[T5], val x$6: Type[T6], val x$7: Type[T7], val x$8: Type[T8], val x$9: Type[T9], val x$10: Type[T10], val x$11: Type[T11], val x$12: Type[T12], val x$13: Type[T13], val x$14: Type[T14], val x$15: Type[T15], val x$16: Type[T16], val x$17: Type[T17], val x$18: Type[T18], val x$19: Type[T19], val x$20: Type[T20], val x$21: Type[T21], val x$22: FromExpr[T1], val x$23: FromExpr[T2], val x$24: FromExpr[T3], val x$25: FromExpr[T4], val x$26: FromExpr[T5], val x$27: FromExpr[T6], val x$28: FromExpr[T7], val x$29: FromExpr[T8], val x$30: FromExpr[T9], val x$31: FromExpr[T10], val x$32: FromExpr[T11], val x$33: FromExpr[T12], val x$34: FromExpr[T13], val x$35: FromExpr[T14], val x$36: FromExpr[T15], val x$37: FromExpr[T16], val x$38: FromExpr[T17], val x$39: FromExpr[T18], val x$40: FromExpr[T19], val x$41: FromExpr[T20], val x$42: FromExpr[T21]): FromExpr[(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[...]] - Transform '{Tuple1(x1, ..., x21)} into Some(Tuple1(x1, ..., x21)) if all xi can be transformed using FromExpr[Ti] - Otherwise returns None

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

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 val x$1: Type[T1], val x$2: Type[T2], val x$3: Type[T3], val x$4: Type[T4], val x$5: Type[T5], val x$6: Type[T6], val x$7: Type[T7], val x$8: Type[T8], val x$9: Type[T9], val x$10: Type[T10], val x$11: Type[T11], val x$12: Type[T12], val x$13: Type[T13], val x$14: Type[T14], val x$15: Type[T15], val x$16: Type[T16], val x$17: Type[T17], val x$18: Type[T18], val x$19: Type[T19], val x$20: Type[T20], val x$21: Type[T21], val x$22: Type[T22], val x$23: FromExpr[T1], val x$24: FromExpr[T2], val x$25: FromExpr[T3], val x$26: FromExpr[T4], val x$27: FromExpr[T5], val x$28: FromExpr[T6], val x$29: FromExpr[T7], val x$30: FromExpr[T8], val x$31: FromExpr[T9], val x$32: FromExpr[T10], val x$33: FromExpr[T11], val x$34: FromExpr[T12], val x$35: FromExpr[T13], val x$36: FromExpr[T14], val x$37: FromExpr[T15], val x$38: FromExpr[T16], val x$39: FromExpr[T17], val x$40: FromExpr[T18], val x$41: FromExpr[T19], val x$42: FromExpr[T20], val x$43: FromExpr[T21], val x$44: FromExpr[T22]): FromExpr[(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[...]] - Transform '{Tuple2(x1, ..., x22)} into Some(Tuple2(x1, ..., x22)) if all xi can be transformed using FromExpr[Ti] - Otherwise returns None

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Source
FromExpr.scala