2 Commits

Author SHA1 Message Date
Alexander Heldt
1e79274187 Correct io_get_chars comment/documentation 2025-11-16 20:38:16 +01:00
Alexander Heldt
9cd1bf2898 Add ability to create character sequences as Input 2025-11-16 20:37:34 +01:00
14 changed files with 44 additions and 140 deletions

View File

@@ -1,11 +1,12 @@
import gleam/io
import gleam/json import gleam/json
import gleam/result import gleam/result
import gleam/string import gleam/string
import musicplayer/input/key.{type Key} import mpv/internal/control as internal_control
import musicplayer/mpv/internal as internal_control import mpv/key.{type Key}
import musicplayer/tcp/reason.{type Reason} import tcp/reason.{type Reason}
import musicplayer/tcp/tcp.{type Socket} import tcp/tcp.{type Socket}
pub type Control { pub type Control {
TogglePlayPause TogglePlayPause

View File

@@ -1,9 +1,6 @@
import gleam/erlang/atom import gleam/erlang/atom
import gleam/erlang/process.{type Subject}
import gleam/list import gleam/list
import gleam/string import mpv/internal/key as internal_key
import musicplayer/input/internal as internal_input
pub type Key { pub type Key {
Char(String) Char(String)
@@ -24,7 +21,7 @@ pub const esc = "\u{001B}"
pub const csi = "[" pub const csi = "["
// input introducer // input introducer
pub const input_introducer = "::" const input_introducer = "$"
pub fn from_list(l: List(String)) -> Key { pub fn from_list(l: List(String)) -> Key {
case l { case l {
@@ -37,12 +34,9 @@ pub fn from_list(l: List(String)) -> Key {
[ci] | [ci, _] if ci == input_introducer -> Continue(l) [ci] | [ci, _] if ci == input_introducer -> Continue(l)
[ii, cmd, tail] if ii == input_introducer -> { [ii, cmd, tail] if ii == input_introducer -> {
case tail { case tail == "\r" {
// Return True -> Input(cmd)
"\r" -> Input(cmd) False -> Continue([ii, cmd <> tail])
// Backspace
"\u{007F}" -> Continue([ii, string.drop_end(cmd, 1)])
_ -> Continue([ii, cmd <> tail])
} }
} }
@@ -57,23 +51,17 @@ pub fn from_list(l: List(String)) -> Key {
pub fn start_raw_shell() { pub fn start_raw_shell() {
let no_shell = atom.create("noshell") let no_shell = atom.create("noshell")
let raw = atom.create("raw") let raw = atom.create("raw")
internal_input.shell_start_interactive(#(no_shell, raw)) internal_key.shell_start_interactive(#(no_shell, raw))
} }
pub fn read_input_until_key( pub fn read_input_until_key(l: List(String)) -> Key {
l: List(String),
taps: List(Subject(List(String))),
) -> Key {
case case
internal_input.read_input() internal_key.read_input()
|> list.wrap |> list.wrap
|> list.append(l, _) |> list.append(l, _)
|> from_list |> from_list
{ {
Continue(l) -> { Continue(l) -> read_input_until_key(l)
list.each(taps, process.send(_, l))
read_input_until_key(l, taps)
}
k -> k k -> k
} }
} }

View File

@@ -1,30 +1,25 @@
import gleam/erlang/process.{type Subject} import gleam/erlang/process.{type Subject}
import gleam/float import gleam/float
import gleam/option.{None}
import gleam/otp/actor import gleam/otp/actor
import gleam/result import gleam/result
import gleam/string import gleam/string
import musicplayer/input/input.{type Listener, InputListener} import mpv/control.{type Control}
import musicplayer/input/key.{type Key} import mpv/key
import musicplayer/mpv/control.{type Control} import tcp/reason
import musicplayer/tcp/reason import tcp/tcp.{type Socket}
import musicplayer/tcp/tcp.{type Socket}
type State(socket, exit) { type State(socket, exit) {
State(socket: Socket, exit: Subject(Nil)) State(socket: Socket, exit: Subject(Nil))
} }
pub fn new(exit: Subject(Nil)) -> Result(Listener, String) { pub fn new(exit: Subject(Nil)) -> Result(Nil, String) {
// TODO start up mvp here, currently hi-jacking `naviterm`s socket // TODO start up mvp here, currently hi-jacking `naviterm`s socket
let socket_path = "/tmp/naviterm_mpv" let socket_path = "/tmp/naviterm_mpv"
case tcp.connect(socket_path) { case tcp.connect(socket_path) {
Error(r) -> Error("Could not connect to mpv: " <> reason.to_string(r)) Error(r) -> Error("Could not connect to mpv: " <> reason.to_string(r))
Ok(socket) -> { Ok(socket) -> {
let final_input_name = process.new_name("mpv_final_input")
let final_input: Subject(Key) = process.named_subject(final_input_name)
case case
actor.new(State(socket, exit)) actor.new(State(socket, exit))
|> actor.on_message(handle_message) |> actor.on_message(handle_message)
@@ -35,15 +30,8 @@ pub fn new(exit: Subject(Nil)) -> Result(Listener, String) {
Ok(actor.Started(data:, ..)) -> { Ok(actor.Started(data:, ..)) -> {
echo "waiting for input" echo "waiting for input"
key.start_raw_shell() key.start_raw_shell()
process.spawn(fn() { read_input(data) })
process.spawn(fn() { Ok(Nil)
let assert Ok(_) =
process.register(process.self(), final_input_name)
handle_key(final_input, data)
})
Ok(InputListener(final: final_input, tap: None))
} }
} }
} }
@@ -77,13 +65,14 @@ fn handle_message(
} }
} }
/// `handle_key` listens to a subject onto which `input` will send messages with fn read_input(subject: Subject(Control)) -> Nil {
/// parsed `Key`s which will be mapped to `Control`s (if possible) case
fn handle_key(final_input: Subject(Key), subject: Subject(Control)) -> Nil { key.read_input_until_key([])
let _ =
process.receive_forever(final_input)
|> control.from_key |> control.from_key
|> result.map(process.send(subject, _)) {
Error(_) -> Nil
Ok(control) -> process.send(subject, control)
}
handle_key(final_input, subject) read_input(subject)
} }

View File

@@ -1,22 +1,8 @@
import gleam/erlang/process.{type Name} import gleam/erlang/process
import mpv/mpv
import musicplayer/input/input.{type Listener}
import musicplayer/input/key.{type Key}
import musicplayer/mpv/mpv
pub fn main() -> Nil { pub fn main() -> Nil {
let exit = process.new_subject() let exit = process.new_subject()
let assert Ok(_) = mpv.new(exit)
// `inject_input` is created by name to allow the `input` process that
// owns `read_input` to be able to register and receive from it,
// while the any other processes can use the name reference to
// inject input
let inject_input_name: Name(Key) = process.new_name("inject_input")
let assert Ok(mpv_listener) = mpv.new(exit)
let listeners: List(Listener) = [mpv_listener]
input.new(listeners, inject_input_name)
process.receive_forever(exit) process.receive_forever(exit)
} }

View File

@@ -1,59 +0,0 @@
import gleam/erlang/process.{type Name, type Subject}
import gleam/list
import gleam/option.{type Option, None, Some}
import musicplayer/input/key.{type Key}
pub type Listener {
InputListener(final: Subject(Key), tap: Option(Subject(List(String))))
}
/// `new` accepts a list of listeners that are composed of two subjects;
/// - one to get the final `Key` and
/// - one to tap the input as it is read from i/o
/// and
/// - a subject name that is used to create a `Subject` that other processes
/// know they can inject a `Key` into the input with
pub fn new(listeners: List(Listener), inject_input_name: Name(Key)) -> Nil {
let _ =
process.spawn(fn() {
let inject_input: Subject(Key) = process.named_subject(inject_input_name)
let assert Ok(_) = process.register(process.self(), inject_input_name)
// Extract all finals and taps (that are defined)
let #(finals, taps) =
list.fold(listeners, #([], []), fn(acc, listener) {
let #(finals, taps) = acc
let finals = [listener.final, ..finals]
let taps = case listener.tap {
Some(t) -> [t, ..taps]
None -> taps
}
#(finals, taps)
})
read_input(finals, taps, inject_input)
})
Nil
}
fn read_input(
finals: List(Subject(Key)),
taps: List(Subject(List(String))),
inject_input: Subject(Key),
) -> Nil {
let buffer = case process.receive(inject_input, 1) {
Ok(key.Continue(buffer)) -> buffer
Ok(_) | Error(_) -> []
}
let _ =
key.read_input_until_key(buffer, taps)
|> fn(k) { list.each(finals, process.send(_, k)) }
read_input(finals, taps, inject_input)
}

View File

@@ -2,7 +2,7 @@ import gleam/bit_array
import gleam/erlang/atom import gleam/erlang/atom
import gleam/result import gleam/result
import musicplayer/tcp/reason.{type Reason} import tcp/reason.{type Reason}
pub type Socket pub type Socket

View File

@@ -4,8 +4,8 @@ import gleam/otp/actor
import gleam/result import gleam/result
import gleam/string import gleam/string
import musicplayer/tcp/reason.{type Reason} import tcp/reason.{type Reason}
import musicplayer/tcp/tcp import tcp/tcp
pub type Message { pub type Message {
Shutdown Shutdown

View File

@@ -1,9 +1,9 @@
import gleam/list import gleam/list
import gleeunit import gleeunit
import musicplayer/input/key.{type Key, Char} import mpv/control.{type Control}
import musicplayer/mpv/control.{type Control} import mpv/internal/control as control_internal
import musicplayer/mpv/internal as control_internal import mpv/key.{type Key, Char}
pub fn main() -> Nil { pub fn main() -> Nil {
gleeunit.main() gleeunit.main()

View File

@@ -1,7 +1,7 @@
import gleam/list import gleam/list
import gleeunit import gleeunit
import musicplayer/input/key.{type Key, Char, csi, esc, input_introducer as ii} import mpv/key.{type Key, Char, csi, esc}
pub fn main() -> Nil { pub fn main() -> Nil {
gleeunit.main() gleeunit.main()
@@ -27,11 +27,10 @@ pub fn key_from_list_test() {
] ]
let input_tests = [ let input_tests = [
TestCase([ii], key.Continue([ii])), TestCase(["$"], key.Continue(["$"])),
TestCase([ii, "a"], key.Continue([ii, "a"])), TestCase(["$", "a"], key.Continue(["$", "a"])),
TestCase([ii, "a", "b"], key.Continue([ii, "ab"])), TestCase(["$", "a", "b"], key.Continue(["$", "ab"])),
TestCase([ii, "ab", "\u{007F}"], key.Continue([ii, "a"])), TestCase(["$", "ab", "\r"], key.Input("ab")),
TestCase([ii, "ab", "\r"], key.Input("ab")),
] ]
let test_cases = [base_tests, char_tests, escape_tests, input_tests] let test_cases = [base_tests, char_tests, escape_tests, input_tests]

View File

@@ -3,7 +3,7 @@ import gleeunit
import simplifile import simplifile
import echo_server import echo_server
import musicplayer/tcp/tcp import tcp/tcp
pub fn main() -> Nil { pub fn main() -> Nil {
gleeunit.main() gleeunit.main()