Tuple18FromExpr
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[...]]
- Transform '{Tuple8(x1, ..., x18)}
into Some(Tuple8(x1, ..., x18))
if all xi
can be transformed using FromExpr[Ti]
- Otherwise returns None
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