Skip to content

Commit f8969ae

Browse files
committed
Fix failing snippets
1 parent adde57a commit f8969ae

File tree

8 files changed

+341
-19
lines changed

8 files changed

+341
-19
lines changed

library/src/scala/compiletime/ops/any.scala

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@ import annotation.experimental
66
object any:
77
/** Equality comparison of two singleton types.
88
* ```scala
9+
* //{
10+
* import compiletime.ops.any._
11+
* //}
912
* val eq1: 1 == 1 = true
1013
* val eq2: 1 == "1" = false
1114
* val eq3: "1" == "1" = true
@@ -16,6 +19,9 @@ object any:
1619

1720
/** Inequality comparison of two singleton types.
1821
* ```scala
22+
* //{
23+
* import compiletime.ops.any._
24+
* //}
1925
* val eq1: 1 != 1 = false
2026
* val eq2: 1 != "1" = true
2127
* val eq3: "1" != "1" = false
@@ -26,6 +32,9 @@ object any:
2632

2733
/** Tests if a type is a constant.
2834
* ```scala
35+
* //{
36+
* import compiletime.ops.any._
37+
* //}
2938
* val c1: IsConst[1] = true
3039
* val c2: IsConst["hi"] = true
3140
* val c3: IsConst[false] = true
@@ -34,6 +43,9 @@ object any:
3443
* If the type is not yet known, then `IsConst` remains unevaluated, and
3544
* will be evaluated only at its concrete type application. E.g.:
3645
* ```scala
46+
* //{
47+
* import compiletime.ops.any._
48+
* //}
3749
* //def `isConst`` returns the type `IsConst[X]`, since `X` is not yet known.
3850
* def isConst[X] : IsConst[X] = ???
3951
* val c5 : true = isConst[1] //now the type is known to be a constant
@@ -46,6 +58,9 @@ object any:
4658

4759
/** String conversion of a constant singleton type.
4860
* ```scala
61+
* //{
62+
* import compiletime.ops.any._
63+
* //}
4964
* val s1: ToString[1] = "1"
5065
* val sTrue: ToString[true] = "true"
5166
* ```

library/src/scala/compiletime/ops/boolean.scala

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,9 @@ object boolean:
55

66
/** Negation of a `Boolean` singleton type.
77
* ```scala
8+
* //{
9+
* import compiletime.ops.boolean._
10+
* //}
811
* val notFalse: ![false] = true
912
* val notTrue: ![true] = false
1013
* ```
@@ -14,6 +17,9 @@ object boolean:
1417

1518
/** Exclusive disjunction of two `Boolean` singleton types.
1619
* ```scala
20+
* //{
21+
* import compiletime.ops.boolean._
22+
* //}
1723
* val a: true ^ true = false
1824
* val b: false ^ true = true
1925
* ```
@@ -23,6 +29,9 @@ object boolean:
2329

2430
/** Conjunction of two `Boolean` singleton types.
2531
* ```scala
32+
* //{
33+
* import compiletime.ops.boolean._
34+
* //}
2635
* val a: true && true = true
2736
* val b: false && true = false
2837
* ```
@@ -32,6 +41,9 @@ object boolean:
3241

3342
/** Disjunction of two `Boolean` singleton types.
3443
* ```scala
44+
* //{
45+
* import compiletime.ops.boolean._
46+
* //}
3547
* val a: true || false = true
3648
* val b: false || false = false
3749
* ```

library/src/scala/compiletime/ops/double.scala

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ import scala.annotation.experimental
77
object double:
88
/** Addition of two `Double` singleton types.
99
* ```scala
10+
* //{
11+
* import compiletime.ops.double._
12+
* //}
1013
* val sum: 2.0 + 2.0 = 4.0
1114
* ```
1215
* @syntax markdown
@@ -15,6 +18,9 @@ object double:
1518

1619
/** Subtraction of two `Double` singleton types.
1720
* ```scala
21+
* //{
22+
* import compiletime.ops.double._
23+
* //}
1824
* val sub: 4.0 - 2.0 = 2.0
1925
* ```
2026
* @syntax markdown
@@ -23,6 +29,9 @@ object double:
2329

2430
/** Multiplication of two `Double` singleton types.
2531
* ```scala
32+
* //{
33+
* import compiletime.ops.double._
34+
* //}
2635
* val mul: 4.0 * 2.0 = 8.0
2736
* ```
2837
* @syntax markdown
@@ -31,6 +40,9 @@ object double:
3140

3241
/** Integer division of two `Double` singleton types.
3342
* ```scala
43+
* //{
44+
* import compiletime.ops.double._
45+
* //}
3446
* val div: 5.0 / 2.0 = 2.5
3547
* ```
3648
* @syntax markdown
@@ -39,6 +51,9 @@ object double:
3951

4052
/** Remainder of the division of `X` by `Y`.
4153
* ```scala
54+
* //{
55+
* import compiletime.ops.double._
56+
* //}
4257
* val mod: 5.0 % 2.0 = 1.0
4358
* ```
4459
* @syntax markdown
@@ -47,6 +62,9 @@ object double:
4762

4863
/** Less-than comparison of two `Double` singleton types.
4964
* ```scala
65+
* //{
66+
* import compiletime.ops.double._
67+
* //}
5068
* val lt1: 4.0 < 2.0 = false
5169
* val lt2: 2.0 < 4.0 = true
5270
* ```
@@ -56,6 +74,9 @@ object double:
5674

5775
/** Greater-than comparison of two `Double` singleton types.
5876
* ```scala
77+
* //{
78+
* import compiletime.ops.double._
79+
* //}
5980
* val gt1: 4.0 > 2.0 = true
6081
* val gt2: 2.0 > 2.0 = false
6182
* ```
@@ -65,6 +86,9 @@ object double:
6586

6687
/** Greater-or-equal comparison of two `Double` singleton types.
6788
* ```scala
89+
* //{
90+
* import compiletime.ops.double._
91+
* //}
6892
* val ge1: 4.0 >= 2.0 = true
6993
* val ge2: 2.0 >= 3.0 = false
7094
* ```
@@ -74,6 +98,9 @@ object double:
7498

7599
/** Less-or-equal comparison of two `Double` singleton types.
76100
* ```scala
101+
* //{
102+
* import compiletime.ops.double._
103+
* //}
77104
* val lt1: 4.0 <= 2.0 = false
78105
* val lt2: 2.0 <= 2.0 = true
79106
* ```
@@ -83,6 +110,9 @@ object double:
83110

84111
/** Absolute value of an `Double` singleton type.
85112
* ```scala
113+
* //{
114+
* import compiletime.ops.double._
115+
* //}
86116
* val abs: Abs[-1.0] = 1.0
87117
* ```
88118
* @syntax markdown
@@ -91,6 +121,9 @@ object double:
91121

92122
/** Negation of an `Double` singleton type.
93123
* ```scala
124+
* //{
125+
* import compiletime.ops.double._
126+
* //}
94127
* val neg1: Negate[-1.0] = 1.0
95128
* val neg2: Negate[1.0] = -1.0
96129
* ```
@@ -100,6 +133,9 @@ object double:
100133

101134
/** Minimum of two `Double` singleton types.
102135
* ```scala
136+
* //{
137+
* import compiletime.ops.double._
138+
* //}
103139
* val min: Min[-1.0, 1.0] = -1.0
104140
* ```
105141
* @syntax markdown
@@ -108,6 +144,9 @@ object double:
108144

109145
/** Maximum of two `Double` singleton types.
110146
* ```scala
147+
* //{
148+
* import compiletime.ops.double._
149+
* //}
111150
* val max: Max[-1.0, 1.0] = 1.0
112151
* ```
113152
* @syntax markdown
@@ -116,6 +155,9 @@ object double:
116155

117156
/** Int conversion of a `Double` singleton type.
118157
* ```scala
158+
* //{
159+
* import compiletime.ops.double._
160+
* //}
119161
* val x: ToInt[1.0] = 1
120162
* ```
121163
* @syntax markdown
@@ -124,6 +166,9 @@ object double:
124166

125167
/** Long conversion of a `Double` singleton type.
126168
* ```scala
169+
* //{
170+
* import compiletime.ops.double._
171+
* //}
127172
* val x: ToLong[1.0] = 1L
128173
* ```
129174
* @syntax markdown
@@ -132,6 +177,9 @@ object double:
132177

133178
/** Float conversion of a `Double` singleton type.
134179
* ```scala
180+
* //{
181+
* import compiletime.ops.double._
182+
* //}
135183
* val x: ToFloat[1.0] = 1.0f
136184
* ```
137185
* @syntax markdown

0 commit comments

Comments
 (0)