FromExpr

object FromExpr

Default given instances of FromExpr

Companion
class
class Object
trait Matchable
class Any

Givens

Givens

Default implementation of FromExpr[Boolean] - Unlifts '{true} into Some(true) - Unlifts '{false} into Some(false) - Otherwise unlifts to None

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

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

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

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

Default implementation of FromExpr[Either] - Unlifts '{Left(x)} into Some(Left(x)) if x is unliftable - Unlifts '{Right(x)} into Some(Right(x)) if x is unliftable - Otherwise unlifts to None

Default implementation of FromExpr[EmptyTuple] - Unlifts '{EmptyTuple} into Some(EmptyTuple) - Otherwise unlifts to None

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

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

given LeftFromExpr[L, R](using `x$1`: Type[L], `x$2`: Type[R], `x$3`: FromExpr[L]): FromExpr[Left[L, R]]

Default implementation of FromExpr[Left] - Unlifts '{Left(x)} into Some(Left(x)) if x is unliftable - Otherwise unlifts to None

given ListFromExpr[T](using `x$1`: Type[T], `x$2`: FromExpr[T]): FromExpr[List[T]]

Default implementation of FromExpr[List] - Unlifts '{List(x1, ..., xn)} into Some(List(x1, ..., xn)) if all xi are unliftable - Unlifts '{List.empty} into Some(Nil) - Unlifts '{Nil} into Some(Nil) - Otherwise unlifts to None

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

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

Default implementation of FromExpr[Map] - Unlifts '{Map(x1, ..., xn)} into Some(Map(x1, ..., xn)) if all xi are unliftable - Unlifts '{Map.empty} into Some(Map()) - Otherwise unlifts to None

Default implementation of FromExpr[Nil] - Unlifts '{Nil} into Some(Nil) - Otherwise unlifts to None

Default implementation of FromExpr[None] - Unlifts '{None} into Some(None) - Otherwise unlifts to None

given OptionFromExpr[T](using `x$1`: Type[T], `x$2`: FromExpr[T]): FromExpr[Option[T]]

Default implementation of FromExpr[Option] - Unlifts '{Some(x)} into Some(Some(x)) if x is unliftable - Unlifts '{None} into Some(None) - Otherwise unlifts to None

given RightFromExpr[L, R](using `x$1`: Type[L], `x$2`: Type[R], `x$3`: FromExpr[R]): FromExpr[Right[L, R]]

Default implementation of FromExpr[Right] - Unlifts '{Right(x)} into Some(Right(x)) if x is unliftable - Otherwise unlifts to None

given SeqFromExpr[T](using `x$1`: Type[T], `x$2`: FromExpr[T]): FromExpr[Seq[T]]

Default implementation of FromExpr[Seq] - Unlifts '{Seq(x1, ..., xn)} into Some(Seq(x1, ..., xn)) if all xi are unliftable - Unlifts sequences that come out of varargs - Otherwise unlifts to None

given SetFromExpr[T](using `x$1`: Type[T], `x$2`: FromExpr[T]): FromExpr[Set[T]]

Default implementation of FromExpr[Set] - Unlifts '{Set(x1, ..., xn)} into Some(Set(x1, ..., xn)) if all xi are unliftable - Unlifts '{Set.empty} into Some(Set()) - Otherwise unlifts to None

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

given SomeFromExpr[T](using `x$1`: Type[T], `x$2`: FromExpr[T]): FromExpr[Some[T]]

Default implementation of FromExpr[Some] - Unlifts '{Some(x)} into Some(Some(x)) if x is unliftable - Otherwise unlifts to None

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

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

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)]

Default implementation of FromExpr[Tuple10[...]] - Unlifts '{Tuple0(x1, ..., x10)} into Some(Tuple0(x1, ..., x10)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)]

Default implementation of FromExpr[Tuple11[...]] - Unlifts '{Tuple1(x1, ..., x11)} into Some(Tuple1(x1, ..., x11)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)]

Default implementation of FromExpr[Tuple12[...]] - Unlifts '{Tuple2(x1, ..., x12)} into Some(Tuple2(x1, ..., x12)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)]

Default implementation of FromExpr[Tuple13[...]] - Unlifts '{Tuple3(x1, ..., x13)} into Some(Tuple3(x1, ..., x13)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)]

Default implementation of FromExpr[Tuple14[...]] - Unlifts '{Tuple4(x1, ..., x14)} into Some(Tuple4(x1, ..., x14)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)]

Default implementation of FromExpr[Tuple15[...]] - Unlifts '{Tuple5(x1, ..., x15)} into Some(Tuple5(x1, ..., x15)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)]

Default implementation of FromExpr[Tuple16[...]] - Unlifts '{Tuple6(x1, ..., x16)} into Some(Tuple6(x1, ..., x16)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17)]

Default implementation of FromExpr[Tuple17[...]] - Unlifts '{Tuple7(x1, ..., x17)} into Some(Tuple7(x1, ..., x17)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18)]

Default implementation of FromExpr[Tuple18[...]] - Unlifts '{Tuple8(x1, ..., x18)} into Some(Tuple8(x1, ..., x18)) if all xi are unliftable - Otherwise unlifts to None

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]): 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[...]] - Unlifts '{Tuple9(x1, ..., x19)} into Some(Tuple9(x1, ..., x19)) if all xi are unliftable - Otherwise unlifts to None

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

Default implementation of FromExpr[Tuple1[...]] - Unlifts '{Tuple1(x1)} into Some(Tuple1(x1)) if x1 is unliftable - Otherwise unlifts to None

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]): 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[...]] - Unlifts '{Tuple0(x1, ..., x20)} into Some(Tuple0(x1, ..., x20)) if all xi are unliftable - Otherwise unlifts to None

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]): 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[...]] - Unlifts '{Tuple1(x1, ..., x21)} into Some(Tuple1(x1, ..., x21)) if all xi are unliftable - Otherwise unlifts to None

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]): 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[...]] - Unlifts '{Tuple2(x1, ..., x22)} into Some(Tuple2(x1, ..., x22)) if all xi are unliftable - Otherwise unlifts to None

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

Default implementation of FromExpr[Tuple2[...]] - Unlifts '{Tuple2(x1, x2)} into Some(Tuple2(x1, x2)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3)]

Default implementation of FromExpr[Tuple3[...]] - Unlifts '{Tuple3(x1, x2, x3)} into Some(Tuple3(x1, x2, x3)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4)]

Default implementation of FromExpr[Tuple4[...]] - Unlifts '{Tuple4(x1, ..., x4)} into Some(Tuple4(x1, ..., x4)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5)]

Default implementation of FromExpr[Tuple5[...]] - Unlifts '{Tuple5(x1, ..., x5)} into Some(Tuple5(x1, ..., x5)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6)]

Default implementation of FromExpr[Tuple6[...]] - Unlifts '{Tuple6(x1, ..., x6)} into Some(Tuple6(x1, ..., x6)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7)]

Default implementation of FromExpr[Tuple7[...]] - Unlifts '{Tuple7(x1, ..., x7)} into Some(Tuple7(x1, ..., x7)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8)]

Default implementation of FromExpr[Tuple8[...]] - Unlifts '{Tuple8(x1, ..., x8)} into Some(Tuple8(x1, ..., x8)) if all xi are unliftable - Otherwise unlifts to None

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]): FromExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9)]

Default implementation of FromExpr[Tuple9[...]] - Unlifts '{Tuple9(x1, ..., x9)} into Some(Tuple9(x1, ..., x9)) if all xi are unliftable - Otherwise unlifts to None