Liftable
extends Object with SerializableSome 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, SerializableMembers
final given
def
ArrayIsLiftable
[T] ( implicit evidence$2: Type[T] , evidence$3: Liftable[T] , evidence$4: ClassTag[T] ) : Liftable[Array[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_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