scala3-library-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-library-bootstrapped/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

Members list

Concise view

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

Graph
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

Graph
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

Graph
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

Graph
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-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL