Repository navigation
Expand file tree
/
Copy pathtrange.nim
More file actions
120 lines (87 loc) · 2.59 KB
/
Copy pathtrange.nim
File metadata and controls
120 lines (87 loc) · 2.59 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
discard """
output: '''
TSubRange: 5 from 1 to 10
#FF3722
'''
"""
block tbug499771:
type
TSubRange = range[1 .. 10]
TEnum = enum A, B, C
var sr: TSubRange = 5
echo("TSubRange: " & $sr & " from " & $low(TSubRange) & " to " &
$high(TSubRange))
const cset = {A} + {B}
doAssert A in cset
doAssert B in cset
doAssert C notin cset
include compilehelpers
block tmatrix3:
type
Matrix[M, N, T] = object
aij: array[M, array[N, T]]
Matrix2[T] = Matrix[range[0..1], range[0..1], T]
Matrix3[T] = Matrix[range[0..2], range[0..2], T]
proc mn(x: Matrix): Matrix.T = x.aij[0][0]
proc m2(x: Matrix2): Matrix2.T = x.aij[0][0]
proc m3(x: Matrix3): auto = x.aij[0][0]
var
matn: Matrix[range[0..3], range[0..2], int]
mat2: Matrix2[int]
mat3: Matrix3[float]
doAssert m3(mat3) == 0.0
doAssert mn(mat3) == 0.0
doAssert m2(mat2) == 0
doAssert mn(mat2) == 0
doAssert mn(matn) == 0
reject m3(mat2)
reject m3(matn)
reject m2(mat3)
reject m2(matn)
block tn8vsint16:
type
n32 = range[0..high(int)]
n8 = range[0'i8..high(int8)]
proc `+`(a: n32, b: n32{nkIntLit}): n32 = discard
proc `-`(a: n8, b: n8): n8 = n8(system.`-`(a, b))
var x, y: n8
var z: int16
# ensure this doesn't call our '-' but system.`-` for int16:
doAssert z - n8(9) == -9
import strutils
block tcolors:
type TColor = distinct int32
proc rgb(r, g, b: range[0..255]): TColor =
result = TColor(r or g shl 8 or b shl 16)
proc `$`(c: TColor): string =
result = "#" & toHex(int32(c), 6)
echo rgb(34, 55, 255)
when false:
type
TColor = distinct int32
TColorComponent = distinct int8
proc red(a: TColor): TColorComponent =
result = TColorComponent(int32(a) and 0xff'i32)
proc green(a: TColor): TColorComponent =
result = TColorComponent(int32(a) shr 8'i32 and 0xff'i32)
proc blue(a: TColor): TColorComponent =
result = TColorComponent(int32(a) shr 16'i32 and 0xff'i32)
proc rgb(r, g, b: range[0..255]): TColor =
result = TColor(r or g shl 8 or b shl 8)
proc `+!` (a, b: TColorComponent): TColorComponent =
## saturated arithmetic:
result = TColorComponent(min(ze(int8(a)) + ze(int8(b)), 255))
proc `+` (a, b: TColor): TColor =
## saturated arithmetic for colors makes sense, I think:
return rgb(red(a) +! red(b), green(a) +! green(b), blue(a) +! blue(b))
rgb(34, 55, 255)
block:
type
R8 = range[0'u8 .. 10'u8]
R16 = range[0'u16 .. 10'u16]
R32 = range[0'u32 .. 10'u32]
var
x1 = R8(4)
x2 = R16(4)
x3 = R32(4)
doAssert $x1 & $x2 & $x3 == "444"