ladder-calculus/beamer/sea-of-types/sea-of-types-9-u8.dot

51 lines
1.5 KiB
Text
Raw Permalink Normal View History

2024-09-23 23:06:05 +02:00
digraph SeaOfTypes {
Byte1 [label="[Byte; 1]", fontsize=10, shape=plaintext, color=lightgrey];
Byte4 [label="[Byte; 4]", fontsize=10, shape=plaintext, color=lightgrey];
Byte8 [label="[Byte; 8]", fontsize=10, shape=plaintext, color=lightgrey];
IEEE754single [label="IEEE-754.single", fontsize=10, shape=plaintext, color=lightgrey];
IEEE754double [label="IEEE-754.double", fontsize=10, shape=plaintext, color=lightgrey];
Real [label="", fontsize=20, shape=plaintext];
Degrees [label="Degrees", fontsize=18, shape=plaintext];
Turns [label="Turns", fontsize=18, shape=plaintext];
Radians [label="Radians", fontsize=18, shape=plaintext];
Angle [label="Angle", fontsize=20, shape=plaintext];
RealUnit [label="_[0,1]", fontsize=24, shape=plaintext];
HSV [label="HSV", fontsize=20, shape=plaintext];
U8 [label="machine.UInt8", fontsize=18, shape=plaintext];
Z256 [label="_256", fontsize=20, shape=plaintext];
QuantizedLinear [label="<QuantizedLinear[0,1] 256>", fontsize=20, shape=plaintext];
IEEE754single -> Byte4
IEEE754double -> Byte8
Real -> IEEE754single
Real -> IEEE754double
Degrees -> Real
Turns -> Real
Radians -> Real
RealUnit -> Real
RealUnit -> QuantizedLinear
QuantizedLinear -> Z256
Z256 -> U8
U8 -> Byte1
Angle -> Degrees
Angle -> Turns
Angle -> Radians
HSV -> Angle [label="hue"]
HSV -> RealUnit [label="saturation"]
HSV -> RealUnit [label="value"]
}