1 Commits

Author SHA1 Message Date
Alexander Heldt
64ec278767 wip 2025-11-16 20:22:56 +01:00
4 changed files with 39 additions and 15 deletions

View File

@@ -1,14 +1,16 @@
import gleam/io
import gleam/json
import gleam/result
import gleam/string
import mpv/internal/control as internal_control
import mpv/key.{type Key, Char}
import mpv/key.{type Key}
import tcp/reason.{type Reason}
import tcp/tcp.{type Socket}
pub type Control {
TogglePlayPause
Exit
}
@@ -18,7 +20,7 @@ pub type ControlError {
pub fn from_key(key: Key) -> Result(Control, Nil) {
case key {
Char(char) -> char_control(char)
key.Char(char) -> char_control(char)
_ -> Error(Nil)
}
}
@@ -65,6 +67,10 @@ pub fn get_playback_time(socket: Socket) -> Result(PlaybackTime, ControlError) {
}
}
pub fn clear_screen() -> Nil {
io.print("\u{001B}[2J\u{001B}[H")
}
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

View File

@@ -10,6 +10,6 @@ pub type NotUsed
@external(erlang, "shell", "start_interactive")
pub fn shell_start_interactive(options: #(atom.Atom, atom.Atom)) -> NotUsed
// https://www.erlang.org/doc/apps/stdlib/io.html#get_line/1
// https://www.erlang.org/doc/apps/stdlib/io.html#get_chars/2
@external(erlang, "io", "get_chars")
fn io_get_chars(prompt: String, count: Int) -> String

View File

@@ -1,17 +1,17 @@
import gleam/erlang/atom
import gleam/list
import mpv/internal/key as internal_key
pub type Key {
Char(String)
Input(String)
Left
Right
Up
Down
Continue
Continue(buffer: List(String))
Unknown
}
@@ -20,6 +20,9 @@ pub const esc = "\u{001B}"
// control sequence introducer
pub const csi = "["
// input introducer
const input_introducer = "$"
pub fn from_list(l: List(String)) -> Key {
case l {
[e, c, "D"] if e == esc && c == csi -> Left
@@ -27,12 +30,20 @@ pub fn from_list(l: List(String)) -> Key {
[e, c, "A"] if e == esc && c == csi -> Up
[e, c, "B"] if e == esc && c == csi -> Down
[e, c] if e == esc && c == csi -> Continue
[e, c] if e == esc && c == csi -> Continue(l)
[e] if e == esc -> Continue
[ci] | [ci, _] if ci == input_introducer -> Continue(l)
[ii, cmd, tail] if ii == input_introducer -> {
case tail == "\r" {
True -> Input(cmd)
False -> Continue([ii, cmd <> tail])
}
}
[e] if e == esc -> Continue(l)
[char] -> Char(char)
[] -> Continue
[] -> Continue([])
_ -> Unknown
}
}
@@ -44,10 +55,13 @@ pub fn start_raw_shell() {
}
pub fn read_input_until_key(l: List(String)) -> Key {
let l = internal_key.read_input() |> list.wrap |> list.append(l, _)
case from_list(l) {
Continue -> read_input_until_key(l)
case
internal_key.read_input()
|> list.wrap
|> list.append(l, _)
|> from_list
{
Continue(l) -> read_input_until_key(l)
k -> k
}
}

View File

@@ -18,9 +18,13 @@ pub fn key_from_list_test() {
TestCase([esc, csi, "C"], key.Right),
TestCase([esc, csi, "A"], key.Up),
TestCase([esc, csi, "B"], key.Down),
TestCase([esc, csi], key.Continue),
TestCase([esc], key.Continue),
TestCase([], key.Continue),
TestCase([esc, csi], key.Continue([esc, csi])),
TestCase([esc], key.Continue([esc])),
TestCase([], key.Continue([])),
TestCase(["$"], key.Continue(["$"])),
TestCase(["$", "a"], key.Continue(["$", "a"])),
TestCase(["$", "a", "b"], key.Continue(["$", "ab"])),
TestCase(["$", "ab", "\r"], key.Input("ab")),
]
list.each(test_cases, fn(tc) {