scala3-library-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-library-bootstrapped/scala/scala.quoted/FromExpr

FromExpr

scala.quoted.FromExpr$
See theFromExpr companion trait
object FromExpr

Default given instances of FromExpr

Attributes

Companion
trait
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

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

Default implementation of FromExpr[Nil]

Default implementation of FromExpr[Nil]

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

Attributes

Supertypes
trait FromExpr[Nil]
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

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

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

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

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

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

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

given EmptyTupleFromExpr: EmptyTupleFromExpr.type

Default implementation of FromExpr[EmptyTuple]

Default implementation of FromExpr[EmptyTuple]

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

Attributes

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

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

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

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

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

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

given NilFromExpr: NilFromExpr.type

Default implementation of FromExpr[Nil]

Default implementation of FromExpr[Nil]

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

Attributes

given NoneFromExpr: NoneFromExpr.type

Default implementation of FromExpr[None]

Default implementation of FromExpr[None]

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

Attributes

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

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

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

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

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

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

given StringContextFromExpr: StringContextFromExpr.type

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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