O object

Liftable

extends Object with Serializable

Some liftable base types. To be completed with at least all types that are valid Scala literals. The actual implementation of these typed could be in terms of ast.tpd.Literal; the test quotable.scala gives an alternative implementation using just the basic staging system.

Supertypes

Object, Serializable

Members

private class 

PrimitiveLiftable

[T]

class 

iArrayIsLiftable

[T]

final given def 

ArrayIsLiftable

[T] ( implicit  evidence$2: Type[T] evidence$3: Liftable[T] evidence$4: ClassTag[T] ) : Liftable[Array[T]]

final given def 

ArrayOfBooleanIsLiftable

: Liftable[Array[Boolean]]

final given def 

ArrayOfByteIsLiftable

: Liftable[Array[Byte]]

final given def 

ArrayOfCharIsLiftable

: Liftable[Array[Char]]

final given def 

ArrayOfDoubleIsLiftable

: Liftable[Array[Double]]

final given def 

ArrayOfFloatIsLiftable

: Liftable[Array[Float]]

final given def 

ArrayOfIntIsLiftable

: Liftable[Array[Int]]

final given def 

ArrayOfLongIsLiftable

: Liftable[Array[Long]]

final given def 

ArrayOfShortIsLiftable

: Liftable[Array[Short]]

final given def 

BooleanIsLiftable

[T] : Liftable[T]

final given def 

ByteIsLiftable

[T] : Liftable[T]

final given def 

CharIsLiftable

[T] : Liftable[T]

final given def 

ClassIsLiftable

[T] : Liftable[Class[T]]

final given def 

ClassTagIsLiftable

[T] ( implicit  evidence$1: Type[T] ) : Liftable[ClassTag[T]]

final given def 

DoubleIsLiftable

[T] : Liftable[T]

final given def 

FloatIsLiftable

[T] : Liftable[T]

final given def 

IntIsLiftable

[T] : Liftable[T]

final given def 

LongIsLiftable

[T] : Liftable[T]

final given def 

ShortIsLiftable

[T] : Liftable[T]

final given def 

StringIsLiftable

[T] : Liftable[T]

final given def 

given_Liftable_BigDecimal

: Liftable[BigDecimal]

Lift a BigDecimal using the default MathContext

Lift a BigDecimal using the default MathContext

final given def 

given_Liftable_BigInt

: Liftable[BigInt]

final given def 

given_Liftable_Either

[L, R] ( implicit  evidence$18: Type[L] evidence$19: Liftable[L] evidence$20: Type[R] evidence$21: Liftable[R] ) : Liftable[Either[L,R]]

final given def 

given_Liftable_H

[H, T] ( implicit  evidence$528: Type[H] evidence$529: Liftable[H] evidence$530: Type[T] evidence$531: Liftable[T] ) : Liftable[*:[H,T]]

final given def 

given_Liftable_List

[T] ( implicit  evidence$8: Type[T] evidence$9: Liftable[T] ) : Liftable[List[T]]

final given def 

given_Liftable_Map

[T, U] ( implicit  evidence$12: Type[T] evidence$13: Liftable[T] evidence$14: Type[U] evidence$15: Liftable[U] ) : Liftable[Map[T,U]]

final given def 

given_Liftable_Option

[T] ( implicit  evidence$16: Type[T] evidence$17: Liftable[T] ) : Liftable[Option[T]]

final given def 

given_Liftable_Seq

[T] ( implicit  evidence$6: Type[T] evidence$7: Liftable[T] ) : Liftable[Seq[T]]

final given def 

given_Liftable_Set

[T] ( implicit  evidence$10: Type[T] evidence$11: Liftable[T] ) : Liftable[Set[T]]

final given def 

given_Liftable_Tuple1

[T1] ( implicit  evidence$22: Type[T1] evidence$23: Liftable[T1] ) : Liftable[( T1 )]

final given def 

given_Liftable_Tuple10

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] ( implicit  evidence$112: Type[T1] evidence$113: Liftable[T1] evidence$114: Type[T2] evidence$115: Liftable[T2] evidence$116: Type[T3] evidence$117: Liftable[T3] evidence$118: Type[T4] evidence$119: Liftable[T4] evidence$120: Type[T5] evidence$121: Liftable[T5] evidence$122: Type[T6] evidence$123: Liftable[T6] evidence$124: Type[T7] evidence$125: Liftable[T7] evidence$126: Type[T8] evidence$127: Liftable[T8] evidence$128: Type[T9] evidence$129: Liftable[T9] evidence$130: Type[T10] evidence$131: Liftable[T10] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10 )]

final given def 

given_Liftable_Tuple11

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] ( implicit  evidence$132: Type[T1] evidence$133: Liftable[T1] evidence$134: Type[T2] evidence$135: Liftable[T2] evidence$136: Type[T3] evidence$137: Liftable[T3] evidence$138: Type[T4] evidence$139: Liftable[T4] evidence$140: Type[T5] evidence$141: Liftable[T5] evidence$142: Type[T6] evidence$143: Liftable[T6] evidence$144: Type[T7] evidence$145: Liftable[T7] evidence$146: Type[T8] evidence$147: Liftable[T8] evidence$148: Type[T9] evidence$149: Liftable[T9] evidence$150: Type[T10] evidence$151: Liftable[T10] evidence$152: Type[T11] evidence$153: Liftable[T11] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11 )]

final given def 

given_Liftable_Tuple12

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] ( implicit  evidence$154: Type[T1] evidence$155: Liftable[T1] evidence$156: Type[T2] evidence$157: Liftable[T2] evidence$158: Type[T3] evidence$159: Liftable[T3] evidence$160: Type[T4] evidence$161: Liftable[T4] evidence$162: Type[T5] evidence$163: Liftable[T5] evidence$164: Type[T6] evidence$165: Liftable[T6] evidence$166: Type[T7] evidence$167: Liftable[T7] evidence$168: Type[T8] evidence$169: Liftable[T8] evidence$170: Type[T9] evidence$171: Liftable[T9] evidence$172: Type[T10] evidence$173: Liftable[T10] evidence$174: Type[T11] evidence$175: Liftable[T11] evidence$176: Type[T12] evidence$177: Liftable[T12] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12 )]

final given def 

given_Liftable_Tuple13

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] ( implicit  evidence$178: Type[T1] evidence$179: Liftable[T1] evidence$180: Type[T2] evidence$181: Liftable[T2] evidence$182: Type[T3] evidence$183: Liftable[T3] evidence$184: Type[T4] evidence$185: Liftable[T4] evidence$186: Type[T5] evidence$187: Liftable[T5] evidence$188: Type[T6] evidence$189: Liftable[T6] evidence$190: Type[T7] evidence$191: Liftable[T7] evidence$192: Type[T8] evidence$193: Liftable[T8] evidence$194: Type[T9] evidence$195: Liftable[T9] evidence$196: Type[T10] evidence$197: Liftable[T10] evidence$198: Type[T11] evidence$199: Liftable[T11] evidence$200: Type[T12] evidence$201: Liftable[T12] evidence$202: Type[T13] evidence$203: Liftable[T13] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13 )]

final given def 

given_Liftable_Tuple14

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] ( implicit  evidence$204: Type[T1] evidence$205: Liftable[T1] evidence$206: Type[T2] evidence$207: Liftable[T2] evidence$208: Type[T3] evidence$209: Liftable[T3] evidence$210: Type[T4] evidence$211: Liftable[T4] evidence$212: Type[T5] evidence$213: Liftable[T5] evidence$214: Type[T6] evidence$215: Liftable[T6] evidence$216: Type[T7] evidence$217: Liftable[T7] evidence$218: Type[T8] evidence$219: Liftable[T8] evidence$220: Type[T9] evidence$221: Liftable[T9] evidence$222: Type[T10] evidence$223: Liftable[T10] evidence$224: Type[T11] evidence$225: Liftable[T11] evidence$226: Type[T12] evidence$227: Liftable[T12] evidence$228: Type[T13] evidence$229: Liftable[T13] evidence$230: Type[T14] evidence$231: Liftable[T14] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14 )]

final given def 

given_Liftable_Tuple15

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] ( implicit  evidence$232: Type[T1] evidence$233: Liftable[T1] evidence$234: Type[T2] evidence$235: Liftable[T2] evidence$236: Type[T3] evidence$237: Liftable[T3] evidence$238: Type[T4] evidence$239: Liftable[T4] evidence$240: Type[T5] evidence$241: Liftable[T5] evidence$242: Type[T6] evidence$243: Liftable[T6] evidence$244: Type[T7] evidence$245: Liftable[T7] evidence$246: Type[T8] evidence$247: Liftable[T8] evidence$248: Type[T9] evidence$249: Liftable[T9] evidence$250: Type[T10] evidence$251: Liftable[T10] evidence$252: Type[T11] evidence$253: Liftable[T11] evidence$254: Type[T12] evidence$255: Liftable[T12] evidence$256: Type[T13] evidence$257: Liftable[T13] evidence$258: Type[T14] evidence$259: Liftable[T14] evidence$260: Type[T15] evidence$261: Liftable[T15] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15 )]

final given def 

given_Liftable_Tuple16

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16] ( implicit  evidence$262: Type[T1] evidence$263: Liftable[T1] evidence$264: Type[T2] evidence$265: Liftable[T2] evidence$266: Type[T3] evidence$267: Liftable[T3] evidence$268: Type[T4] evidence$269: Liftable[T4] evidence$270: Type[T5] evidence$271: Liftable[T5] evidence$272: Type[T6] evidence$273: Liftable[T6] evidence$274: Type[T7] evidence$275: Liftable[T7] evidence$276: Type[T8] evidence$277: Liftable[T8] evidence$278: Type[T9] evidence$279: Liftable[T9] evidence$280: Type[T10] evidence$281: Liftable[T10] evidence$282: Type[T11] evidence$283: Liftable[T11] evidence$284: Type[T12] evidence$285: Liftable[T12] evidence$286: Type[T13] evidence$287: Liftable[T13] evidence$288: Type[T14] evidence$289: Liftable[T14] evidence$290: Type[T15] evidence$291: Liftable[T15] evidence$292: Type[T16] evidence$293: Liftable[T16] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16 )]

final given def 

given_Liftable_Tuple17

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17] ( implicit  evidence$294: Type[T1] evidence$295: Liftable[T1] evidence$296: Type[T2] evidence$297: Liftable[T2] evidence$298: Type[T3] evidence$299: Liftable[T3] evidence$300: Type[T4] evidence$301: Liftable[T4] evidence$302: Type[T5] evidence$303: Liftable[T5] evidence$304: Type[T6] evidence$305: Liftable[T6] evidence$306: Type[T7] evidence$307: Liftable[T7] evidence$308: Type[T8] evidence$309: Liftable[T8] evidence$310: Type[T9] evidence$311: Liftable[T9] evidence$312: Type[T10] evidence$313: Liftable[T10] evidence$314: Type[T11] evidence$315: Liftable[T11] evidence$316: Type[T12] evidence$317: Liftable[T12] evidence$318: Type[T13] evidence$319: Liftable[T13] evidence$320: Type[T14] evidence$321: Liftable[T14] evidence$322: Type[T15] evidence$323: Liftable[T15] evidence$324: Type[T16] evidence$325: Liftable[T16] evidence$326: Type[T17] evidence$327: Liftable[T17] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17 )]

final given def 

given_Liftable_Tuple18

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18] ( implicit  evidence$328: Type[T1] evidence$329: Liftable[T1] evidence$330: Type[T2] evidence$331: Liftable[T2] evidence$332: Type[T3] evidence$333: Liftable[T3] evidence$334: Type[T4] evidence$335: Liftable[T4] evidence$336: Type[T5] evidence$337: Liftable[T5] evidence$338: Type[T6] evidence$339: Liftable[T6] evidence$340: Type[T7] evidence$341: Liftable[T7] evidence$342: Type[T8] evidence$343: Liftable[T8] evidence$344: Type[T9] evidence$345: Liftable[T9] evidence$346: Type[T10] evidence$347: Liftable[T10] evidence$348: Type[T11] evidence$349: Liftable[T11] evidence$350: Type[T12] evidence$351: Liftable[T12] evidence$352: Type[T13] evidence$353: Liftable[T13] evidence$354: Type[T14] evidence$355: Liftable[T14] evidence$356: Type[T15] evidence$357: Liftable[T15] evidence$358: Type[T16] evidence$359: Liftable[T16] evidence$360: Type[T17] evidence$361: Liftable[T17] evidence$362: Type[T18] evidence$363: Liftable[T18] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18 )]

final given def 

given_Liftable_Tuple19

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19] ( implicit  evidence$364: Type[T1] evidence$365: Liftable[T1] evidence$366: Type[T2] evidence$367: Liftable[T2] evidence$368: Type[T3] evidence$369: Liftable[T3] evidence$370: Type[T4] evidence$371: Liftable[T4] evidence$372: Type[T5] evidence$373: Liftable[T5] evidence$374: Type[T6] evidence$375: Liftable[T6] evidence$376: Type[T7] evidence$377: Liftable[T7] evidence$378: Type[T8] evidence$379: Liftable[T8] evidence$380: Type[T9] evidence$381: Liftable[T9] evidence$382: Type[T10] evidence$383: Liftable[T10] evidence$384: Type[T11] evidence$385: Liftable[T11] evidence$386: Type[T12] evidence$387: Liftable[T12] evidence$388: Type[T13] evidence$389: Liftable[T13] evidence$390: Type[T14] evidence$391: Liftable[T14] evidence$392: Type[T15] evidence$393: Liftable[T15] evidence$394: Type[T16] evidence$395: Liftable[T16] evidence$396: Type[T17] evidence$397: Liftable[T17] evidence$398: Type[T18] evidence$399: Liftable[T18] evidence$400: Type[T19] evidence$401: Liftable[T19] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19 )]

final given def 

given_Liftable_Tuple2

[T1, T2] ( implicit  evidence$24: Type[T1] evidence$25: Liftable[T1] evidence$26: Type[T2] evidence$27: Liftable[T2] ) : Liftable[( T1, T2 )]

final given def 

given_Liftable_Tuple20

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20] ( implicit  evidence$402: Type[T1] evidence$403: Liftable[T1] evidence$404: Type[T2] evidence$405: Liftable[T2] evidence$406: Type[T3] evidence$407: Liftable[T3] evidence$408: Type[T4] evidence$409: Liftable[T4] evidence$410: Type[T5] evidence$411: Liftable[T5] evidence$412: Type[T6] evidence$413: Liftable[T6] evidence$414: Type[T7] evidence$415: Liftable[T7] evidence$416: Type[T8] evidence$417: Liftable[T8] evidence$418: Type[T9] evidence$419: Liftable[T9] evidence$420: Type[T10] evidence$421: Liftable[T10] evidence$422: Type[T11] evidence$423: Liftable[T11] evidence$424: Type[T12] evidence$425: Liftable[T12] evidence$426: Type[T13] evidence$427: Liftable[T13] evidence$428: Type[T14] evidence$429: Liftable[T14] evidence$430: Type[T15] evidence$431: Liftable[T15] evidence$432: Type[T16] evidence$433: Liftable[T16] evidence$434: Type[T17] evidence$435: Liftable[T17] evidence$436: Type[T18] evidence$437: Liftable[T18] evidence$438: Type[T19] evidence$439: Liftable[T19] evidence$440: Type[T20] evidence$441: Liftable[T20] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20 )]

final given def 

given_Liftable_Tuple21

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21] ( implicit  evidence$442: Type[T1] evidence$443: Liftable[T1] evidence$444: Type[T2] evidence$445: Liftable[T2] evidence$446: Type[T3] evidence$447: Liftable[T3] evidence$448: Type[T4] evidence$449: Liftable[T4] evidence$450: Type[T5] evidence$451: Liftable[T5] evidence$452: Type[T6] evidence$453: Liftable[T6] evidence$454: Type[T7] evidence$455: Liftable[T7] evidence$456: Type[T8] evidence$457: Liftable[T8] evidence$458: Type[T9] evidence$459: Liftable[T9] evidence$460: Type[T10] evidence$461: Liftable[T10] evidence$462: Type[T11] evidence$463: Liftable[T11] evidence$464: Type[T12] evidence$465: Liftable[T12] evidence$466: Type[T13] evidence$467: Liftable[T13] evidence$468: Type[T14] evidence$469: Liftable[T14] evidence$470: Type[T15] evidence$471: Liftable[T15] evidence$472: Type[T16] evidence$473: Liftable[T16] evidence$474: Type[T17] evidence$475: Liftable[T17] evidence$476: Type[T18] evidence$477: Liftable[T18] evidence$478: Type[T19] evidence$479: Liftable[T19] evidence$480: Type[T20] evidence$481: Liftable[T20] evidence$482: Type[T21] evidence$483: Liftable[T21] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21 )]

final given def 

given_Liftable_Tuple22

[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22] ( implicit  evidence$484: Type[T1] evidence$485: Liftable[T1] evidence$486: Type[T2] evidence$487: Liftable[T2] evidence$488: Type[T3] evidence$489: Liftable[T3] evidence$490: Type[T4] evidence$491: Liftable[T4] evidence$492: Type[T5] evidence$493: Liftable[T5] evidence$494: Type[T6] evidence$495: Liftable[T6] evidence$496: Type[T7] evidence$497: Liftable[T7] evidence$498: Type[T8] evidence$499: Liftable[T8] evidence$500: Type[T9] evidence$501: Liftable[T9] evidence$502: Type[T10] evidence$503: Liftable[T10] evidence$504: Type[T11] evidence$505: Liftable[T11] evidence$506: Type[T12] evidence$507: Liftable[T12] evidence$508: Type[T13] evidence$509: Liftable[T13] evidence$510: Type[T14] evidence$511: Liftable[T14] evidence$512: Type[T15] evidence$513: Liftable[T15] evidence$514: Type[T16] evidence$515: Liftable[T16] evidence$516: Type[T17] evidence$517: Liftable[T17] evidence$518: Type[T18] evidence$519: Liftable[T18] evidence$520: Type[T19] evidence$521: Liftable[T19] evidence$522: Type[T20] evidence$523: Liftable[T20] evidence$524: Type[T21] evidence$525: Liftable[T21] evidence$526: Type[T22] evidence$527: Liftable[T22] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22 )]

final given def 

given_Liftable_Tuple3

[T1, T2, T3] ( implicit  evidence$28: Type[T1] evidence$29: Liftable[T1] evidence$30: Type[T2] evidence$31: Liftable[T2] evidence$32: Type[T3] evidence$33: Liftable[T3] ) : Liftable[( T1, T2, T3 )]

final given def 

given_Liftable_Tuple4

[T1, T2, T3, T4] ( implicit  evidence$34: Type[T1] evidence$35: Liftable[T1] evidence$36: Type[T2] evidence$37: Liftable[T2] evidence$38: Type[T3] evidence$39: Liftable[T3] evidence$40: Type[T4] evidence$41: Liftable[T4] ) : Liftable[( T1, T2, T3, T4 )]

final given def 

given_Liftable_Tuple5

[T1, T2, T3, T4, T5] ( implicit  evidence$42: Type[T1] evidence$43: Liftable[T1] evidence$44: Type[T2] evidence$45: Liftable[T2] evidence$46: Type[T3] evidence$47: Liftable[T3] evidence$48: Type[T4] evidence$49: Liftable[T4] evidence$50: Type[T5] evidence$51: Liftable[T5] ) : Liftable[( T1, T2, T3, T4, T5 )]

final given def 

given_Liftable_Tuple6

[T1, T2, T3, T4, T5, T6] ( implicit  evidence$52: Type[T1] evidence$53: Liftable[T1] evidence$54: Type[T2] evidence$55: Liftable[T2] evidence$56: Type[T3] evidence$57: Liftable[T3] evidence$58: Type[T4] evidence$59: Liftable[T4] evidence$60: Type[T5] evidence$61: Liftable[T5] evidence$62: Type[T6] evidence$63: Liftable[T6] ) : Liftable[( T1, T2, T3, T4, T5, T6 )]

final given def 

given_Liftable_Tuple7

[T1, T2, T3, T4, T5, T6, T7] ( implicit  evidence$64: Type[T1] evidence$65: Liftable[T1] evidence$66: Type[T2] evidence$67: Liftable[T2] evidence$68: Type[T3] evidence$69: Liftable[T3] evidence$70: Type[T4] evidence$71: Liftable[T4] evidence$72: Type[T5] evidence$73: Liftable[T5] evidence$74: Type[T6] evidence$75: Liftable[T6] evidence$76: Type[T7] evidence$77: Liftable[T7] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7 )]

final given def 

given_Liftable_Tuple8

[T1, T2, T3, T4, T5, T6, T7, T8] ( implicit  evidence$78: Type[T1] evidence$79: Liftable[T1] evidence$80: Type[T2] evidence$81: Liftable[T2] evidence$82: Type[T3] evidence$83: Liftable[T3] evidence$84: Type[T4] evidence$85: Liftable[T4] evidence$86: Type[T5] evidence$87: Liftable[T5] evidence$88: Type[T6] evidence$89: Liftable[T6] evidence$90: Type[T7] evidence$91: Liftable[T7] evidence$92: Type[T8] evidence$93: Liftable[T8] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8 )]

final given def 

given_Liftable_Tuple9

[T1, T2, T3, T4, T5, T6, T7, T8, T9] ( implicit  evidence$94: Type[T1] evidence$95: Liftable[T1] evidence$96: Type[T2] evidence$97: Liftable[T2] evidence$98: Type[T3] evidence$99: Liftable[T3] evidence$100: Type[T4] evidence$101: Liftable[T4] evidence$102: Type[T5] evidence$103: Liftable[T5] evidence$104: Type[T6] evidence$105: Liftable[T6] evidence$106: Type[T7] evidence$107: Liftable[T7] evidence$108: Type[T8] evidence$109: Liftable[T8] evidence$110: Type[T9] evidence$111: Liftable[T9] ) : Liftable[( T1, T2, T3, T4, T5, T6, T7, T8, T9 )]