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) {