From 12e0c3069bd9387a5148f2f571419c429a174755 Mon Sep 17 00:00:00 2001 From: Alexander Heldt Date: Sun, 16 Nov 2025 10:39:16 +0100 Subject: [PATCH] wip --- src/mpv/control.gleam | 24 ++++++++++++++++++++++-- 1 file changed, 22 insertions(+), 2 deletions(-) diff --git a/src/mpv/control.gleam b/src/mpv/control.gleam index 33daf4c..0152679 100644 --- a/src/mpv/control.gleam +++ b/src/mpv/control.gleam @@ -1,3 +1,4 @@ +import gleam/dynamic/decode import gleam/json import gleam/result @@ -10,6 +11,10 @@ pub type Control { Exit } +pub type ControlError { + ControlError(details: String) +} + pub fn from_key(key: Key) -> Result(Control, Nil) { case key { internal.Char(char) -> char_control(char) @@ -32,8 +37,13 @@ pub fn toggle_play_pause(socket: Socket) -> Result(Nil, Reason) { result.map(send_command(socket, command), fn(_) { Nil }) } +// {\"data\":\"12.945425\",\"request_id\":0,\"error\":\"success\"}\n // https://mpv.io/manual/master/#command-interface-playback-time -pub fn get_playback_time(socket: Socket) -> Result(String, Reason) { +pub type PlaybackTime { + PlaybackTime(data: Int, error: String) +} + +pub fn get_playback_time(socket: Socket) -> Result(String, ControlError) { let command = json.object([ #( @@ -42,7 +52,17 @@ pub fn get_playback_time(socket: Socket) -> Result(String, Reason) { ), ]) - send_command(socket, command) + result.map(send_command(socket, command), fn(json_string: String) { + let decoder = { + use data <- decode.field("data", decode.int) + use error <- decode.field("error", decode.string) + decode.success(PlaybackTime(data:, error:)) + } + + result.map_error(json.parse(from: json_string, using: decoder), fn(r) { + todo + }) + }) } fn send_command(socket: Socket, command: json.Json) -> Result(String, Reason) {