|
1 |
| -object Enums/*<<=Enums.*/ { |
2 |
| - enum Colour/*<<=Enums.Colour#*/ { |
3 |
| - case /*=>>scala.runtime.EnumValues#`<init>`().*/Red/*=>>Enums.Colour.Red.*//*<<=Enums.Colour.Red.*/, Green/*=>>Enums.Colour.Green.*//*<<=Enums.Colour.Green.*/, Blue/*=>>Enums.Colour.Blue.*//*<<=Enums.Colour.Blue.*/ |
| 1 | +object Enums/*<<=_empty_.Enums.*/ { |
| 2 | + enum Colour/*<<=_empty_.Enums.Colour#*/ { |
| 3 | + case /*=>>scala.runtime.EnumValues#`<init>`().*/Red/*=>>_empty_.Enums.Colour.Red.*//*<<=_empty_.Enums.Colour.Red.*/, Green/*=>>_empty_.Enums.Colour.Green.*//*<<=_empty_.Enums.Colour.Green.*/, Blue/*=>>_empty_.Enums.Colour.Blue.*//*<<=_empty_.Enums.Colour.Blue.*/ |
4 | 4 | }
|
5 | 5 |
|
6 |
| - enum WeekDays/*<<=Enums.WeekDays#*/ { |
7 |
| - /*=>>scala.runtime.EnumValues#`<init>`().*/case Monday/*<<=Enums.WeekDays.Monday.*/ |
8 |
| - case Tuesday/*<<=Enums.WeekDays.Tuesday.*/ |
9 |
| - case Wednesday/*<<=Enums.WeekDays.Wednesday.*/ |
10 |
| - case Thursday/*<<=Enums.WeekDays.Thursday.*/ |
11 |
| - case Friday/*<<=Enums.WeekDays.Friday.*/ |
12 |
| - case Saturday/*<<=Enums.WeekDays.Saturday.*/ |
13 |
| - case Sunday/*<<=Enums.WeekDays.Sunday.*/ |
| 6 | + enum WeekDays/*<<=_empty_.Enums.WeekDays#*/ { |
| 7 | + /*=>>scala.runtime.EnumValues#`<init>`().*/case Monday/*<<=_empty_.Enums.WeekDays.Monday.*/ |
| 8 | + case Tuesday/*<<=_empty_.Enums.WeekDays.Tuesday.*/ |
| 9 | + case Wednesday/*<<=_empty_.Enums.WeekDays.Wednesday.*/ |
| 10 | + case Thursday/*<<=_empty_.Enums.WeekDays.Thursday.*/ |
| 11 | + case Friday/*<<=_empty_.Enums.WeekDays.Friday.*/ |
| 12 | + case Saturday/*<<=_empty_.Enums.WeekDays.Saturday.*/ |
| 13 | + case Sunday/*<<=_empty_.Enums.WeekDays.Sunday.*/ |
14 | 14 | }
|
15 | 15 |
|
16 |
| - enum Maybe/*<<=Enums.Maybe#*/[+A/*<<=Enums.Maybe#[A]*/] { |
17 |
| - /*=>>Enums.Maybe#`<init>`().*//*=>>Enums.Maybe.Just#[A]*/case Just/*<<=Enums.Maybe.Just#*/(value/*<<=Enums.Maybe.Just#value.*/: A/*=>>Enums.Maybe.Just#`<init>`().[A]*/) |
18 |
| - /*=>>Enums.Maybe#`<init>`().*/case None/*<<=Enums.Maybe.None.*/ |
| 16 | + enum Maybe/*<<=_empty_.Enums.Maybe#*/[+A/*<<=_empty_.Enums.Maybe#[A]*/] { |
| 17 | + /*=>>_empty_.Enums.Maybe#`<init>`().*//*=>>_empty_.Enums.Maybe.Just#[A]*/case Just/*<<=_empty_.Enums.Maybe.Just#*/(value/*<<=_empty_.Enums.Maybe.Just#value.*/: A/*=>>_empty_.Enums.Maybe.Just#`<init>`().[A]*/) |
| 18 | + /*=>>_empty_.Enums.Maybe#`<init>`().*/case None/*<<=_empty_.Enums.Maybe.None.*/ |
19 | 19 | }
|
20 | 20 |
|
21 |
| - enum Tag/*<<=Enums.Tag#*/[A/*<<=Enums.Tag#[A]*/] { |
22 |
| - case IntTag/*<<=Enums.Tag.IntTag.*/ extends Tag/*=>>Enums.Tag#*/[Int/*=>>scala.Int#*/]/*=>>Enums.Tag#`<init>`().*/ |
23 |
| - case BooleanTag/*<<=Enums.Tag.BooleanTag.*/ extends Tag/*=>>Enums.Tag#*/[Boolean/*=>>scala.Boolean#*/]/*=>>Enums.Tag#`<init>`().*/ |
| 21 | + enum Tag/*<<=_empty_.Enums.Tag#*/[A/*<<=_empty_.Enums.Tag#[A]*/] { |
| 22 | + case IntTag/*<<=_empty_.Enums.Tag.IntTag.*/ extends Tag/*=>>_empty_.Enums.Tag#*/[Int/*=>>scala.Int#*/]/*=>>_empty_.Enums.Tag#`<init>`().*/ |
| 23 | + case BooleanTag/*<<=_empty_.Enums.Tag.BooleanTag.*/ extends Tag/*=>>_empty_.Enums.Tag#*/[Boolean/*=>>scala.Boolean#*/]/*=>>_empty_.Enums.Tag#`<init>`().*/ |
24 | 24 | }
|
25 | 25 |
|
26 |
| - enum =:=/*<<=Enums.`=:=`#*/[A/*<<=Enums.`=:=`#[A]*/, B/*<<=Enums.`=:=`#[B]*/] { |
27 |
| - case Refl/*<<=Enums.`=:=`.Refl#*/[C/*<<=Enums.`=:=`.Refl#[C]*/]() extends (C/*=>>Enums.`=:=`.Refl#[C]*/ =:=/*=>>Enums.`=:=`#*/ C/*=>>Enums.`=:=`.Refl#[C]*//*=>>Enums.`=:=`#`<init>`().*/) |
| 26 | + enum =:=/*<<=_empty_.Enums.`=:=`#*/[A/*<<=_empty_.Enums.`=:=`#[A]*/, B/*<<=_empty_.Enums.`=:=`#[B]*/] { |
| 27 | + case Refl/*<<=_empty_.Enums.`=:=`.Refl#*/[C/*<<=_empty_.Enums.`=:=`.Refl#[C]*/]() extends (C/*=>>_empty_.Enums.`=:=`.Refl#[C]*/ =:=/*=>>_empty_.Enums.`=:=`#*/ C/*=>>_empty_.Enums.`=:=`.Refl#[C]*//*=>>_empty_.Enums.`=:=`#`<init>`().*/) |
28 | 28 | }
|
29 | 29 |
|
30 |
| - def unwrap/*<<=Enums.unwrap().*/[A/*<<=Enums.unwrap().[A]*/,B/*<<=Enums.unwrap().[B]*/](opt/*<<=Enums.unwrap().(opt)*/: Option/*=>>scala.Option#*/[A/*=>>Enums.unwrap().[A]*/])(given ev/*<<=Enums.unwrap().(ev)*/: A/*=>>Enums.unwrap().[A]*/ =:=/*=>>Enums.`=:=`#*/ Option/*=>>scala.Option#*/[B/*=>>Enums.unwrap().[B]*/]): Option/*=>>scala.Option#*/[B/*=>>Enums.unwrap().[B]*/] = { |
31 |
| - ev/*=>>Enums.unwrap().(ev)*/ match { |
32 |
| - case =:=/*=>>Enums.`=:=`.*/.Refl/*=>>Enums.`=:=`.Refl.*/() => opt/*=>>Enums.unwrap().(opt)*/.flatMap/*=>>scala.Option#flatMap().*/(identity/*=>>scala.Predef.identity().*/[Option/*=>>scala.Option#*/[B/*=>>Enums.unwrap().[B]*/]]) |
| 30 | + def unwrap/*<<=_empty_.Enums.unwrap().*/[A/*<<=_empty_.Enums.unwrap().[A]*/,B/*<<=_empty_.Enums.unwrap().[B]*/](opt/*<<=_empty_.Enums.unwrap().(opt)*/: Option/*=>>scala.Option#*/[A/*=>>_empty_.Enums.unwrap().[A]*/])(given ev/*<<=_empty_.Enums.unwrap().(ev)*/: A/*=>>_empty_.Enums.unwrap().[A]*/ =:=/*=>>_empty_.Enums.`=:=`#*/ Option/*=>>scala.Option#*/[B/*=>>_empty_.Enums.unwrap().[B]*/]): Option/*=>>scala.Option#*/[B/*=>>_empty_.Enums.unwrap().[B]*/] = { |
| 31 | + ev/*=>>_empty_.Enums.unwrap().(ev)*/ match { |
| 32 | + case =:=/*=>>_empty_.Enums.`=:=`.*/.Refl/*=>>_empty_.Enums.`=:=`.Refl.*/() => opt/*=>>_empty_.Enums.unwrap().(opt)*/.flatMap/*=>>scala.Option#flatMap().*/(identity/*=>>scala.Predef.identity().*/[Option/*=>>scala.Option#*/[B/*=>>_empty_.Enums.unwrap().[B]*/]]) |
33 | 33 | }
|
34 | 34 | }
|
35 | 35 |
|
36 |
| - enum Planet/*<<=Enums.Planet#*/(mass/*<<=Enums.Planet#mass.*/: Double/*=>>scala.Double#*/, radius/*<<=Enums.Planet#radius.*/: Double/*=>>scala.Double#*/) extends java/*=>>java.*/.lang/*=>>java.lang.*/.Enum/*=>>java.lang.Enum#*/[Planet/*=>>Enums.Planet#*/]/*=>>java.lang.Enum#`<init>`().*/ { |
37 |
| - private final val G/*<<=Enums.Planet#G.*/ = 6.67300E-11 |
38 |
| - def surfaceGravity/*<<=Enums.Planet#surfaceGravity().*/ = G/*=>>Enums.Planet#G.*/ */*=>>scala.Double#`*`(+6).*/ mass/*=>>Enums.Planet#mass.*/ //*=>>scala.Double#`.`(+6).*/ (radius/*=>>Enums.Planet#radius.*/ */*=>>scala.Double#`*`(+6).*/ radius/*=>>Enums.Planet#radius.*/) |
39 |
| - def surfaceWeight/*<<=Enums.Planet#surfaceWeight().*/(otherMass/*<<=Enums.Planet#surfaceWeight().(otherMass)*/: Double/*=>>scala.Double#*/) = otherMass/*=>>Enums.Planet#surfaceWeight().(otherMass)*/ */*=>>scala.Double#`*`(+6).*/ surfaceGravity/*=>>Enums.Planet#surfaceGravity().*/ |
| 36 | + enum Planet/*<<=_empty_.Enums.Planet#*/(mass/*<<=_empty_.Enums.Planet#mass.*/: Double/*=>>scala.Double#*/, radius/*<<=_empty_.Enums.Planet#radius.*/: Double/*=>>scala.Double#*/) extends java/*=>>java.*/.lang/*=>>java.lang.*/.Enum/*=>>java.lang.Enum#*/[Planet/*=>>_empty_.Enums.Planet#*/]/*=>>java.lang.Enum#`<init>`().*/ { |
| 37 | + private final val G/*<<=_empty_.Enums.Planet#G.*/ = 6.67300E-11 |
| 38 | + def surfaceGravity/*<<=_empty_.Enums.Planet#surfaceGravity().*/ = G/*=>>_empty_.Enums.Planet#G.*/ */*=>>scala.Double#`*`(+6).*/ mass/*=>>_empty_.Enums.Planet#mass.*/ //*=>>scala.Double#`.`(+6).*/ (radius/*=>>_empty_.Enums.Planet#radius.*/ */*=>>scala.Double#`*`(+6).*/ radius/*=>>_empty_.Enums.Planet#radius.*/) |
| 39 | + def surfaceWeight/*<<=_empty_.Enums.Planet#surfaceWeight().*/(otherMass/*<<=_empty_.Enums.Planet#surfaceWeight().(otherMass)*/: Double/*=>>scala.Double#*/) = otherMass/*=>>_empty_.Enums.Planet#surfaceWeight().(otherMass)*/ */*=>>scala.Double#`*`(+6).*/ surfaceGravity/*=>>_empty_.Enums.Planet#surfaceGravity().*/ |
40 | 40 |
|
41 |
| - case Mercury/*<<=Enums.Planet.Mercury.*/ extends /*=>>scala.runtime.EnumValues#`<init>`().*/Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(3.303e+23, 2.4397e6)/*=>>scala.runtime.EnumValues#register().*/ |
42 |
| - case Venus/*<<=Enums.Planet.Venus.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(4.869e+24, 6.0518e6)/*=>>scala.runtime.EnumValues#register().*/ |
43 |
| - case Earth/*<<=Enums.Planet.Earth.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(5.976e+24, 6.37814e6)/*=>>scala.runtime.EnumValues#register().*/ |
44 |
| - case Mars/*<<=Enums.Planet.Mars.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(6.421e+23, 3.3972e6)/*=>>scala.runtime.EnumValues#register().*/ |
45 |
| - case Jupiter/*<<=Enums.Planet.Jupiter.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(1.9e+27, 7.1492e7)/*=>>scala.runtime.EnumValues#register().*/ |
46 |
| - case Saturn/*<<=Enums.Planet.Saturn.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(5.688e+26, 6.0268e7)/*=>>scala.runtime.EnumValues#register().*/ |
47 |
| - case Uranus/*<<=Enums.Planet.Uranus.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(8.686e+25, 2.5559e7)/*=>>scala.runtime.EnumValues#register().*/ |
48 |
| - case Neptune/*<<=Enums.Planet.Neptune.*/ extends Planet/*=>>Enums.Planet#*//*=>>Enums.Planet#`<init>`().*/(1.024e+26, 2.4746e7)/*=>>scala.runtime.EnumValues#register().*/ |
| 41 | + case Mercury/*<<=_empty_.Enums.Planet.Mercury.*/ extends /*=>>scala.runtime.EnumValues#`<init>`().*/Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(3.303e+23, 2.4397e6)/*=>>scala.runtime.EnumValues#register().*/ |
| 42 | + case Venus/*<<=_empty_.Enums.Planet.Venus.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(4.869e+24, 6.0518e6)/*=>>scala.runtime.EnumValues#register().*/ |
| 43 | + case Earth/*<<=_empty_.Enums.Planet.Earth.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(5.976e+24, 6.37814e6)/*=>>scala.runtime.EnumValues#register().*/ |
| 44 | + case Mars/*<<=_empty_.Enums.Planet.Mars.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(6.421e+23, 3.3972e6)/*=>>scala.runtime.EnumValues#register().*/ |
| 45 | + case Jupiter/*<<=_empty_.Enums.Planet.Jupiter.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(1.9e+27, 7.1492e7)/*=>>scala.runtime.EnumValues#register().*/ |
| 46 | + case Saturn/*<<=_empty_.Enums.Planet.Saturn.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(5.688e+26, 6.0268e7)/*=>>scala.runtime.EnumValues#register().*/ |
| 47 | + case Uranus/*<<=_empty_.Enums.Planet.Uranus.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(8.686e+25, 2.5559e7)/*=>>scala.runtime.EnumValues#register().*/ |
| 48 | + case Neptune/*<<=_empty_.Enums.Planet.Neptune.*/ extends Planet/*=>>_empty_.Enums.Planet#*//*=>>_empty_.Enums.Planet#`<init>`().*/(1.024e+26, 2.4746e7)/*=>>scala.runtime.EnumValues#register().*/ |
49 | 49 | }
|
50 | 50 | }
|
0 commit comments