34 lines
907 B
Text
34 lines
907 B
Text
|
|
|||
|
digraph SeaOfTypes {
|
|||
|
|
|||
|
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=24, shape=plaintext];
|
|||
|
|
|||
|
Degrees [label="Degrees", fontsize=20, shape=plaintext];
|
|||
|
Turns [label="Turns", fontsize=20, shape=plaintext];
|
|||
|
Radians [label="Radians", fontsize=20, shape=plaintext];
|
|||
|
|
|||
|
Angle [label="Angle", fontsize=24, shape=plaintext, color=brown];
|
|||
|
|
|||
|
IEEE754single -> Byte4
|
|||
|
IEEE754double -> Byte8
|
|||
|
|
|||
|
Real -> IEEE754single
|
|||
|
Real -> IEEE754double
|
|||
|
|
|||
|
Degrees -> Real
|
|||
|
Turns -> Real
|
|||
|
Radians -> Real
|
|||
|
|
|||
|
Angle -> Degrees
|
|||
|
Angle -> Turns
|
|||
|
Angle -> Radians
|
|||
|
}
|
|||
|
|
|||
|
|