Support System.Half (#30)

Author: Happypig375

src/FSharp.UMX.fs

@@ -18,6 +18,7 @@ open System
 #if NET6_0_OR_GREATER
 [<MeasureAnnotatedAbbreviation>] type DateOnly<[<Measure>] 'm> = DateOnly
 [<MeasureAnnotatedAbbreviation>] type TimeOnly<[<Measure>] 'm> = TimeOnly
+[<MeasureAnnotatedAbbreviation>] type Half<[<Measure>] 'm> = Half
 #endif
 
 module private Unsafe =
@@ -47,6 +48,7 @@ type UMX =
 #if NET6_0_OR_GREATER
     static member inline tag<[<Measure>]'m> (x : DateOnly) : DateOnly<'m> = Unsafe.cast x
     static member inline tag<[<Measure>]'m> (x : TimeOnly) : TimeOnly<'m> = Unsafe.cast x
+    static member inline tag<[<Measure>]'m> (x : Half) : Half<'m> = Unsafe.cast x
 #endif
 
     static member inline untag<[<Measure>]'m> (x : bool<'m>) : bool = Unsafe.cast x
@@ -66,6 +68,7 @@ type UMX =
 #if NET6_0_OR_GREATER
     static member inline untag<[<Measure>]'m> (x : DateOnly<'m>) : DateOnly = Unsafe.cast x
     static member inline untag<[<Measure>]'m> (x : TimeOnly<'m>) : TimeOnly = Unsafe.cast x
+    static member inline untag<[<Measure>]'m> (x : Half<'m>) : Half = Unsafe.cast x
 #endif
 
     static member inline cast<[<Measure>]'m1, [<Measure>]'m2> (x : bool<'m1>) : bool<'m2> = Unsafe.cast x
@@ -85,6 +88,7 @@ type UMX =
 #if NET6_0_OR_GREATER
     static member inline cast<[<Measure>]'m1, [<Measure>]'m2> (x : DateOnly<'m1>) : DateOnly<'m2> = Unsafe.cast x
     static member inline cast<[<Measure>]'m1, [<Measure>]'m2> (x : TimeOnly<'m1>) : TimeOnly<'m2> = Unsafe.cast x
+    static member inline cast<[<Measure>]'m1, [<Measure>]'m2> (x : Half<'m1>) : Half<'m2> = Unsafe.cast x
 #endif
 
 

tests/FSharp.UMX.Tests.fs

@@ -23,6 +23,7 @@ let ``Simple unit of measure conversions``() =
     let y = (UMX.untag x).ToString("N") |> UMX.tag<skuId>
     let z = UMX.tag<km> 42
     let f = UMX.tag<km>  10.0f
+    let h = UMX.tag<km>  Half.MinValue
     let w = sprintf "%O %s %d %f" (UMX.untag x) (UMX.untag y) z f
     ()
 
@@ -35,6 +36,7 @@ let ``Simple unit of measure conversions with cast operator``() =
     let b : byte<foo> = % 1uy
     let s : int16<foo> = % 1s
     let f : float32<foo>  = % 10.0f
+    let h : Half<foo>  = % Half.MaxValue
     let d : DateTime<foo> = % DateTime.Now
     let don : DateOnly<foo> = % DateOnly.FromDateTime(DateTime.Now)
     let ton : TimeOnly<foo> = % TimeOnly.FromDateTime(DateTime.Now)
@@ -50,6 +52,7 @@ let ``Simple unit of measure conversions with UMX.tag function``() =
     let s = UMX.tag<foo> (1s)                         
     let f = UMX.tag<foo> (10.0f)
     let d = UMX.tag<foo> DateTime.Now
+    let h = UMX.tag<foo> Half.Epsilon
     let don = UMX.tag<foo> (DateOnly.FromDateTime(DateTime.Now))
     let ton = UMX.tag<foo> (TimeOnly.FromDateTime(DateTime.Now))
     ()