Add ability to get playback-time

src/mpv/control.gleam

@@ -1,5 +1,8 @@
 import gleam/json
 import gleam/result
+import gleam/string
+
+import mpv/internal/control as internal_control
 import mpv/key.{type Key, Char}
 import tcp/reason.{type Reason}
 import tcp/tcp.{type Socket}
@@ -38,6 +41,30 @@ pub fn toggle_play_pause(socket: Socket) -> Result(Nil, ControlError) {
   }
 }
 
+// https://mpv.io/manual/master/#command-interface-playback-time
+pub type PlaybackTime {
+  PlaybackTime(data: Float)
+}
+
+pub fn get_playback_time(socket: Socket) -> Result(PlaybackTime, ControlError) {
+  let command =
+    json.object([
+      #(
+        "command",
+        json.array(["get_property_string", "playback-time"], of: json.string),
+      ),
+    ])
+
+  case send_command(socket, command) {
+    Error(r) -> Error(ControlError(reason.to_string(r)))
+    Ok(json_string) ->
+      case internal_control.parse_playback_time(json_string) {
+        Error(e) -> Error(ControlError(string.inspect(e)))
+        Ok(data) -> Ok(PlaybackTime(data))
+      }
+  }
+}
+
 fn send_command(socket: Socket, command: json.Json) -> Result(String, Reason) {
   result.try(tcp.send(socket, json.to_string(command) <> "\n"), fn(_) {
     let timeout_ms = 10_000