Scala 3

Learn Install Playground Find A Library Community Blog

Docs API

Generated with

Scala 3/scala/scala.quoted/FromExpr

FromExpr

scala.quoted.FromExpr

See theFromExpr companion trait

objectFromExpr

Default given instances ofFromExpr

Attributes

Companion: trait
Source: FromExpr.scala
Graph
Supertypes: classObject
traitMatchable
classAny
Self type: FromExpr.type

Members list

Type members

Classlikes

objectEmptyTupleFromExpr extendsFromExpr[EmptyTuple.type]

Default implementation ofFromExpr[EmptyTuple]

Transform'{EmptyTuple} intoSome(EmptyTuple)
Otherwise returnsNone

Attributes

Source: FromExpr.scala
Supertypes: traitFromExpr[EmptyTuple.type]
classObject
traitMatchable
classAny
Self type: EmptyTupleFromExpr.type

objectNilFromExpr extendsFromExpr[Nil.type]

Default implementation ofFromExpr[Nil]

Transform'{Nil} intoSome(Nil)
Otherwise returnsNone

Attributes

Source: FromExpr.scala
Supertypes: traitFromExpr[Nil.type]
classObject
traitMatchable
classAny
Self type: NilFromExpr.type

objectNoneFromExpr extendsFromExpr[None.type]

Default implementation ofFromExpr[None]

Transform'{None} intoSome(None)
Otherwise returnsNone

Attributes

Source: FromExpr.scala
Supertypes: traitFromExpr[None.type]
classObject
traitMatchable
classAny
Self type: NoneFromExpr.type

objectStringContextFromExpr extendsFromExpr[StringContext]

Default implementation ofFromExpr[StringContext]

Transform'{StringContext(args*)} intoSome(StringContext(args*)) ifargs is explicit and each one is liftable
Otherwise returnsNone

Attributes

Source: FromExpr.scala
Supertypes: traitFromExpr[StringContext]
classObject
traitMatchable
classAny
Self type: StringContextFromExpr.type

Givens

givenBooleanFromExpr[T <:Boolean]:FromExpr[T]

Default implementation ofFromExpr[Boolean]

Transform'{true} intoSome(true)
Transform'{false} intoSome(false)
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenByteFromExpr[T <:Byte]:FromExpr[T]

Default implementation ofFromExpr[Byte]

Transform'{n} intoSome(n) for a literaln of typeByte
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenCharFromExpr[T <:Char]:FromExpr[T]

Default implementation ofFromExpr[Char]

Transform'{c} intoSome(c) for a literalc of typeChar
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenDoubleFromExpr[T <:Double]:FromExpr[T]

Default implementation ofFromExpr[Double]

Transform'{n} intoSome(n) for a literaln of typeDouble
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenEitherFromExpr[L,R](usingx$1:Type[L],x$2:Type[R],x$3:FromExpr[L],x$4:FromExpr[R]):EitherFromExpr[L,R]

Default implementation ofFromExpr[Either]

Transform'{Left(x)} intoSome(Left(x)) ifx can be transformed usingFromExpr[L]
Transform'{Right(x)} intoSome(Right(x)) ifx can be transformed usingFromExpr[R]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenEmptyTupleFromExpr:EmptyTupleFromExpr

Default implementation ofFromExpr[EmptyTuple]

Transform'{EmptyTuple} intoSome(EmptyTuple)
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenFloatFromExpr[T <:Float]:FromExpr[T]

Default implementation ofFromExpr[Float]

Transform'{n} intoSome(n) for a literaln of typeFloat
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenIntFromExpr[T <:Int]:FromExpr[T]

Default implementation ofFromExpr[Int]

Transform'{n} intoSome(n) for a literaln of typeInt
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenLeftFromExpr[L,R](usingx$1:Type[L],x$2:Type[R],x$3:FromExpr[L]):LeftFromExpr[L,R]

Default implementation ofFromExpr[Left]

Transform'{Left(x)} intoSome(Left(x)) ifx can be transformed usingFromExpr[L]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenListFromExpr[T](usingx$1:Type[T],x$2:FromExpr[T]):ListFromExpr[T]

Default implementation ofFromExpr[List]

Transform'{List(x1, ..., xn)} intoSome(List(x1, ..., xn)) if allxi can be transformed usingFromExpr[Ti]
Transform'{List.empty} intoSome(Nil)
Transform'{Nil} intoSome(Nil)
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenLongFromExpr[T <:Long]:FromExpr[T]

Default implementation ofFromExpr[Long]

Transform'{n} intoSome(n) for a literaln of typeLong
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenMapFromExpr[T,U](usingx$1:Type[T],x$2:Type[U],x$3:FromExpr[T],x$4:FromExpr[U]):MapFromExpr[T,U]

Default implementation ofFromExpr[Map]

Transform'{Map(x1, ..., xn)} intoSome(Map(x1, ..., xn)) if allxi can be transformed usingFromExpr[Ti]
Transform'{Map.empty} intoSome(Map())
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenNilFromExpr:NilFromExpr

Default implementation ofFromExpr[Nil]

Transform'{Nil} intoSome(Nil)
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenNoneFromExpr:NoneFromExpr

Default implementation ofFromExpr[None]

Transform'{None} intoSome(None)
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenOptionFromExpr[T](usingx$1:Type[T],x$2:FromExpr[T]):OptionFromExpr[T]

Default implementation ofFromExpr[Option]

Transform'{Some(x)} intoSome(Some(x)) ifx can be transformed usingFromExpr[T]
Transform'{None} intoSome(None)
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenRightFromExpr[L,R](usingx$1:Type[L],x$2:Type[R],x$3:FromExpr[R]):RightFromExpr[L,R]

Default implementation ofFromExpr[Right]

Transform'{Right(x)} intoSome(Right(x)) ifx can be transformed usingFromExpr[R]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenSeqFromExpr[T](usingx$1:Type[T],x$2:FromExpr[T]):SeqFromExpr[T]

Default implementation ofFromExpr[Seq]

Transform'{Seq(x1, ..., xn)} intoSome(Seq(x1, ..., xn)) if allxi can be transformed usingFromExpr[Ti]
Transform sequences that come out of varargs
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenSetFromExpr[T](usingx$1:Type[T],x$2:FromExpr[T]):SetFromExpr[T]

Default implementation ofFromExpr[Set]

Transform'{Set(x1, ..., xn)} intoSome(Set(x1, ..., xn)) if allxi can be transformed usingFromExpr[Ti]
Transform'{Set.empty} intoSome(Set())
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenShortFromExpr[T <:Short]:FromExpr[T]

Default implementation ofFromExpr[Short]

Transform'{n} intoSome(n) for a literaln of typeShort
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenSomeFromExpr[T](usingx$1:Type[T],x$2:FromExpr[T]):SomeFromExpr[T]

Default implementation ofFromExpr[Some]

Transform'{Some(x)} intoSome(Some(x)) ifx can be transformed usingFromExpr[T]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenStringContextFromExpr:StringContextFromExpr

Default implementation ofFromExpr[StringContext]

Transform'{StringContext(args*)} intoSome(StringContext(args*)) ifargs is explicit and each one is liftable
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenStringFromExpr[T <:String]:FromExpr[T]

Default implementation ofFromExpr[String]

Transform'{str} intoSome(str) for a literalstr of typeString
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple10FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10](usingx$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 ofFromExpr[Tuple10[...]]

Transform'{Tuple0(x1, ..., x10)} intoSome(Tuple0(x1, ..., x10)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple11FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11](usingx$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 ofFromExpr[Tuple11[...]]

Transform'{Tuple1(x1, ..., x11)} intoSome(Tuple1(x1, ..., x11)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple12FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12](usingx$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 ofFromExpr[Tuple12[...]]

Transform'{Tuple2(x1, ..., x12)} intoSome(Tuple2(x1, ..., x12)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple13FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13](usingx$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 ofFromExpr[Tuple13[...]]

Transform'{Tuple3(x1, ..., x13)} intoSome(Tuple3(x1, ..., x13)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple14FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14](usingx$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 ofFromExpr[Tuple14[...]]

Transform'{Tuple4(x1, ..., x14)} intoSome(Tuple4(x1, ..., x14)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple15FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15](usingx$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 ofFromExpr[Tuple15[...]]

Transform'{Tuple5(x1, ..., x15)} intoSome(Tuple5(x1, ..., x15)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple16FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16](usingx$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 ofFromExpr[Tuple16[...]]

Transform'{Tuple6(x1, ..., x16)} intoSome(Tuple6(x1, ..., x16)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple17FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17](usingx$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 ofFromExpr[Tuple17[...]]

Transform'{Tuple7(x1, ..., x17)} intoSome(Tuple7(x1, ..., x17)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple18FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18](usingx$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 ofFromExpr[Tuple18[...]]

Transform'{Tuple8(x1, ..., x18)} intoSome(Tuple8(x1, ..., x18)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple19FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18,T19](usingx$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 ofFromExpr[Tuple19[...]]

Transform'{Tuple9(x1, ..., x19)} intoSome(Tuple9(x1, ..., x19)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple1FromExpr[T1](usingx$1:Type[T1],x$2:FromExpr[T1]):Tuple1FromExpr[T1]

Default implementation ofFromExpr[Tuple1[...]]

Transform'{Tuple1(x1)} intoSome(Tuple1(x1)) ifx1 can be transformed usingFromExpr[T]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple20FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18,T19,T20](usingx$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 ofFromExpr[Tuple20[...]]

Transform'{Tuple0(x1, ..., x20)} intoSome(Tuple0(x1, ..., x20)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple21FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18,T19,T20,T21](usingx$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 ofFromExpr[Tuple21[...]]

Transform'{Tuple1(x1, ..., x21)} intoSome(Tuple1(x1, ..., x21)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple22FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18,T19,T20,T21,T22](usingx$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 ofFromExpr[Tuple22[...]]

Transform'{Tuple2(x1, ..., x22)} intoSome(Tuple2(x1, ..., x22)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple2FromExpr[T1,T2](usingx$1:Type[T1],x$2:Type[T2],x$3:FromExpr[T1],x$4:FromExpr[T2]):Tuple2FromExpr[T1,T2]

Default implementation ofFromExpr[Tuple2[...]]

Transform'{Tuple2(x1, x2)} intoSome(Tuple2(x1, x2)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple3FromExpr[T1,T2,T3](usingx$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 ofFromExpr[Tuple3[...]]

Transform'{Tuple3(x1, x2, x3)} intoSome(Tuple3(x1, x2, x3)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple4FromExpr[T1,T2,T3,T4](usingx$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 ofFromExpr[Tuple4[...]]

Transform'{Tuple4(x1, ..., x4)} intoSome(Tuple4(x1, ..., x4)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple5FromExpr[T1,T2,T3,T4,T5](usingx$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 ofFromExpr[Tuple5[...]]

Transform'{Tuple5(x1, ..., x5)} intoSome(Tuple5(x1, ..., x5)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple6FromExpr[T1,T2,T3,T4,T5,T6](usingx$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 ofFromExpr[Tuple6[...]]

Transform'{Tuple6(x1, ..., x6)} intoSome(Tuple6(x1, ..., x6)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple7FromExpr[T1,T2,T3,T4,T5,T6,T7](usingx$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 ofFromExpr[Tuple7[...]]

Transform'{Tuple7(x1, ..., x7)} intoSome(Tuple7(x1, ..., x7)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple8FromExpr[T1,T2,T3,T4,T5,T6,T7,T8](usingx$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 ofFromExpr[Tuple8[...]]

Transform'{Tuple8(x1, ..., x8)} intoSome(Tuple8(x1, ..., x8)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

givenTuple9FromExpr[T1,T2,T3,T4,T5,T6,T7,T8,T9](usingx$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 ofFromExpr[Tuple9[...]]

Transform'{Tuple9(x1, ..., x9)} intoSome(Tuple9(x1, ..., x9)) if allxi can be transformed usingFromExpr[Ti]
Otherwise returnsNone

Attributes

Source: FromExpr.scala

In this article

Generated with

Movatterモバイル変換

FromExpr

Attributes

Members list

Type members

Classlikes

Attributes

Attributes

Attributes

Attributes

Givens

Givens

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes