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.type]

Default implementation of FromExpr[Nil]

Default implementation of FromExpr[Nil]

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

Attributes

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

Default implementation of FromExpr[None]

Default implementation of FromExpr[None]

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

Attributes

Supertypes
trait FromExpr[None.type]
class Object
trait Matchable
class Any
Self 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

Supertypes
class Object
trait Matchable
class Any
Self type

Givens

Givens

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

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

Default implementation of FromExpr[EmptyTuple]

Default implementation of FromExpr[EmptyTuple]

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

Attributes

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

Default implementation of FromExpr[Nil]

Default implementation of FromExpr[Nil]

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

Attributes

Default implementation of FromExpr[None]

Default implementation of FromExpr[None]

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

Attributes

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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