[Animation] Add GlobalTime utilities

Author: hyazinthh

src/Aardvark.UI.Primitives/Animation/Core/Time.fs

@@ -94,6 +94,17 @@ module Duration =
     let inline ofMinutes (m : ^Minutes)            = Duration <| MicroTime.FromMinutes(float m)
     let inline ofLocalTime (t : LocalTime)         = Duration t.MicroTime
 
+[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
+module GlobalTime =
+    let zero = GlobalTime MicroTime.zero
+    let infinite = GlobalTime MicroTime.PositiveInfinity
+
+    let inline ofNanoseconds (ns : ^Nanoseconds)   = GlobalTime <| MicroTime(int64 ns)
+    let inline ofMicroseconds (us : ^Microseconds) = GlobalTime <| MicroTime.FromMicroseconds(float us)
+    let inline ofMilliseconds (ms : ^Milliseconds) = GlobalTime <| MicroTime.FromMilliseconds(float ms)
+    let inline ofSeconds (s : ^Seconds)            = GlobalTime <| MicroTime.FromSeconds(float s)
+    let inline ofMinutes (m : ^Minutes)            = GlobalTime <| MicroTime.FromMinutes(float m)
+
 [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
 module LocalTime =
     let zero = LocalTime MicroTime.zero