1
module ParasitemiaUI.Types
5 open System.Windows.Media
12 open ParasitemiaCore.UnitsOfMeasure
19 mutable infected : bool
22 mutable setManually : bool
35 override this.ToString () =
36 sprintf
"%s: %d" this.label
this.ppi
45 override this.ToString () =
46 sprintf
"%g mm × %g mm%s" this.w
this.h
(if this.label
= "" then "" else " (" + this.label
+ ")")
48 let defaultPredefinedPPI =
50 { ppi
= 230000<ppi
>; label
= "50×" }
51 { ppi
= 460000<ppi
>; label
= "100×" }
54 let defaultSensorSizes =
56 { w
= 3.2<mm
>; h
= 2.4<mm
>; label
= "1/4″" }
57 { w
= 4.8<mm
>; h
= 3.6<mm
>; label
= "1/3″" }
58 { w
= 5.76<mm
>; h
= 4.29<mm
>; label
= "1/2.5″" }
59 { w
= 6.4<mm
>; h
= 4.8<mm
>; label
= "1/2″" }
60 { w
= 7.18<mm
>; h
= 5.32<mm
>; label
= "1/1.8″" }
61 { w
= 7.6<mm
>; h
= 5.7<mm
>; label
= "1/1.7″" }
62 { w
= 8.8<mm
>; h
= 6.6<mm
>; label
= "2/3″" }
63 { w
= 13.2<mm
>; h
= 8.8<mm
>; label
= "1″" }