This commit is contained in:
Alexander Heldt
2025-11-16 10:39:16 +01:00
parent d50a920490
commit 2dee0247dc

View File

@@ -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 {
key.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) {