7 Commits

Author SHA1 Message Date
Alexander Heldt
d311eedadb Add musicplayer module that wraps all logic 2025-11-22 21:06:41 +01:00
Alexander Heldt
d01b6d3f18 Move all code into musicplayer module 2025-11-22 19:03:49 +01:00
Alexander Heldt
249b0671e4 Extract reading of input i/o to input
And add the ability of other modules to listen to either
the final result (a `Key`) or tap into the input as it is read
2025-11-21 20:06:39 +01:00
Alexander Heldt
b69852f7ba Add ability to listen (tap) the input
By doing something like
```
fn input_output_loop(input_output: Subject(List(String))) -> Nil {
  let output = process.receive_forever(input_output)

  echo output

  input_output_loop(input_output)
}
```
2025-11-19 18:27:30 +01:00
Alexander Heldt
3f86b881c3 Add ability to inject characters into the input 2025-11-19 18:27:30 +01:00
Alexander Heldt
fee776b352 Add ability to create character sequences as Input 2025-11-19 18:27:30 +01:00
Alexander Heldt
78cc3647c7 Correct io_get_chars comment/documentation 2025-11-19 17:46:58 +01:00
18 changed files with 318 additions and 179 deletions

View File

@@ -1,123 +0,0 @@
import gleam/erlang/process.{type Subject}
import gleam/float
import gleam/otp/actor
import gleam/result
import gleam/string
import input/key.{type Key}
import mpv/control.{type Control}
import tcp/reason
import tcp/tcp.{type Socket}
type State(socket, inject_input, exit) {
State(socket: Socket, inject_input: Subject(Key), exit: Subject(Nil))
}
pub fn new(exit: Subject(Nil)) -> Result(Nil, String) {
// TODO start up mvp here, currently hi-jacking `naviterm`s socket
let socket_path = "/tmp/naviterm_mpv"
case tcp.connect(socket_path) {
Error(r) -> Error("Could not connect to mpv: " <> reason.to_string(r))
Ok(socket) -> {
// `inject_input` is created by name to allow the process that
// owns `read_input` to be able to register it, while the agent
// also have a reference to it to be able to inject input
let inject_input_name = process.new_name("inject_input")
let inject_input = process.named_subject(inject_input_name)
case
actor.new(State(socket, inject_input, exit))
|> actor.on_message(handle_message)
|> actor.start
{
Error(start_error) ->
Error("Could not start actor: " <> string.inspect(start_error))
Ok(actor.Started(data:, ..)) -> {
echo "waiting for input"
key.start_raw_shell()
process.spawn(fn() {
let input = process.new_subject()
let assert Ok(_) =
process.register(process.self(), inject_input_name)
process.send(input, key.Continue([]))
read_input(data, input, inject_input)
})
Ok(Nil)
}
}
}
}
}
fn handle_message(
state: State(socket, inject, exit),
control: Control,
) -> actor.Next(State(socket, inject, exit), Control) {
case control {
control.Search -> {
process.send(state.inject_input, key.Continue([key.input_introducer]))
actor.continue(state)
}
control.TogglePlayPause -> {
echo "toggling play/pause"
let _ =
result.map_error(control.toggle_play_pause(state.socket), fn(err) {
echo "Could not toggle play/pause: " <> err.details
})
let _ =
result.map(control.get_playback_time(state.socket), fn(playback) {
echo "playback: " <> float.to_string(playback.data)
})
actor.continue(state)
}
control.Exit -> {
process.send(state.exit, Nil)
actor.stop()
}
}
}
/// read_input selects from two subjects: `input` and `inject`
/// `inject` can be used by the agent to send back input character(s)
/// to force the input to be something other than user input.
///
/// This is useful to create a `Key` without the user having to
/// input all of the character(s), to then be able to create a
/// `Control` from that `Key`
fn read_input(
agent: Subject(Control),
input: Subject(Key),
inject_input: Subject(Key),
) -> Nil {
let buffer = case
process.new_selector()
|> process.select(input)
|> process.select(inject_input)
|> process.selector_receive_forever
{
key.Continue(buffer) -> buffer
_ -> []
}
case
key.read_input_until_key(buffer)
|> control.from_key
{
Error(_) -> Nil
Ok(control) -> process.send(agent, control)
}
// currently needed to allow injects to be received. not nice
// maybe timed out select on inject first, then normal?
process.sleep(100)
process.send(input, key.Continue([]))
read_input(agent, input, inject_input)
}

View File

@@ -1,8 +1,32 @@
import gleam/erlang/process import gleam/erlang/process.{type Name}
import mpv/mpv
import musicplayer/input/input
import musicplayer/input/key.{type Key}
import musicplayer/mpv/mpv
import musicplayer/musicplayer
pub fn main() -> Nil { pub fn main() -> Nil {
let input_keys_name: Name(Key) = process.new_name("input_keys")
let input_stream_name: Name(List(String)) = process.new_name("input_stream")
// `input_inject` 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 input_inject_name: Name(Key) = process.new_name("input_inject_keys")
input.new(input_keys_name, input_stream_name, input_inject_name)
let assert Ok(mpv) = mpv.new()
let exit = process.new_subject() let exit = process.new_subject()
let assert Ok(_) = mpv.new(exit) let assert Ok(_) =
musicplayer.new(
mpv,
input_keys_name,
input_stream_name,
input_inject_name,
exit,
)
process.receive_forever(exit) process.receive_forever(exit)
} }

View File

@@ -0,0 +1,25 @@
import musicplayer/input/key.{type Key}
pub type Control {
TogglePlayPause
Search
Exit
}
pub fn from_key(key: Key) -> Result(Control, Nil) {
case key {
key.Char(char) -> char_control(char)
_ -> Error(Nil)
}
}
fn char_control(char: String) -> Result(Control, Nil) {
case char {
" " -> Ok(TogglePlayPause)
"q" -> Ok(Exit)
"/" -> Ok(Search)
_ -> Error(Nil)
}
}

View File

@@ -0,0 +1,48 @@
import gleam/erlang/process.{type Name, type Subject}
import musicplayer/input/key.{type Key}
// TODO REWRITE below
/// `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(
input_keys_name: Name(Key),
input_stream_name: Name(List(String)),
input_inject_name: Name(Key),
) -> Nil {
let _ =
process.spawn(fn() {
let input_keys = process.named_subject(input_keys_name)
let input_stream = process.named_subject(input_stream_name)
let input_inject = process.named_subject(input_inject_name)
let assert Ok(_) = process.register(process.self(), input_inject_name)
read_input(input_keys, input_stream, input_inject)
})
echo "waiting for input"
key.start_raw_shell()
Nil
}
fn read_input(
input_keys: Subject(Key),
input_stream: Subject(List(String)),
input_inject: Subject(Key),
) -> Nil {
let buffer = case process.receive(input_inject, 1) {
Ok(key.Continue(buffer)) -> buffer
Ok(_) | Error(_) -> []
}
key.read_input_until_key(buffer, input_stream)
|> process.send(input_keys, _)
read_input(input_keys, input_stream, input_inject)
}

View File

@@ -1,7 +1,9 @@
import gleam/erlang/atom import gleam/erlang/atom
import gleam/erlang/process.{type Subject}
import gleam/list import gleam/list
import gleam/string
import input/internal as internal_input import musicplayer/input/internal as internal_input
pub type Key { pub type Key {
Char(String) Char(String)
@@ -35,9 +37,12 @@ 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 == "\r" { case tail {
True -> Input(cmd) // Return
False -> Continue([ii, cmd <> tail]) "\r" -> Input(cmd)
// Backspace
"\u{007F}" -> Continue([ii, string.drop_end(cmd, 1)])
_ -> Continue([ii, cmd <> tail])
} }
} }
@@ -55,14 +60,20 @@ pub fn start_raw_shell() {
internal_input.shell_start_interactive(#(no_shell, raw)) internal_input.shell_start_interactive(#(no_shell, raw))
} }
pub fn read_input_until_key(l: List(String)) -> Key { pub fn read_input_until_key(
l: List(String),
input_stream: Subject(List(String)),
) -> Key {
case case
internal_input.read_input() internal_input.read_input()
|> list.wrap |> list.wrap
|> list.append(l, _) |> list.append(l, _)
|> from_list |> from_list
{ {
Continue(l) -> read_input_until_key(l) Continue(l) -> {
process.send(input_stream, l)
read_input_until_key(l, input_stream)
}
k -> k k -> k
} }
} }

View File

@@ -1,45 +1,24 @@
import gleam/erlang/process.{type Subject}
import gleam/json import gleam/json
import gleam/result import gleam/result
import gleam/string import gleam/string
import input/key.{type Key} import musicplayer/mpv/internal as internal_control
import mpv/internal/control as internal_control 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
Search GetPlaybackTime(reply_to: Subject(Result(PlaybackTime, ControlError)))
Exit Exit(reply_to: Subject(Nil))
} }
pub type ControlError { pub type ControlError {
ControlError(details: String) ControlError(details: String)
} }
// TODO this should also have a context:
// `/` in "artist list" "context will should be`control.Search`
// `<some char>` in "create new playlist" context should be `control.Input`
// `q` in most contexts should be `Exit`, but in a popup it should be `Close`
pub fn from_key(key: Key) -> Result(Control, Nil) {
echo key
case key {
key.Char(char) -> char_control(char)
_ -> Error(Nil)
}
}
fn char_control(char: String) -> Result(Control, Nil) {
case char {
" " -> Ok(TogglePlayPause)
"q" -> Ok(Exit)
"/" -> Ok(Search)
_ -> Error(Nil)
}
}
pub fn toggle_play_pause(socket: Socket) -> Result(Nil, ControlError) { pub fn toggle_play_pause(socket: Socket) -> Result(Nil, ControlError) {
let command = let command =
json.object([#("command", json.array(["cycle", "pause"], of: json.string))]) json.object([#("command", json.array(["cycle", "pause"], of: json.string))])

View File

@@ -0,0 +1,62 @@
import gleam/erlang/process.{type Subject}
import gleam/otp/actor
import gleam/result
import gleam/string
import musicplayer/mpv/control
import musicplayer/tcp/reason
import musicplayer/tcp/tcp.{type Socket}
type State(socket) {
State(socket: Socket)
}
pub fn new() -> Result(Subject(control.Control), String) {
// TODO start up mvp here, currently hi-jacking `naviterm`s socket
let socket_path = "/tmp/naviterm_mpv"
case tcp.connect(socket_path) {
Error(r) -> Error("Could not connect to mpv: " <> reason.to_string(r))
Ok(socket) -> {
case
actor.new(State(socket))
|> actor.on_message(handle_message)
|> actor.start
{
Error(start_error) ->
Error("Could not start actor: " <> string.inspect(start_error))
Ok(actor.Started(data: mpv, ..)) -> Ok(mpv)
}
}
}
}
fn handle_message(
state: State(socket),
control: control.Control,
) -> actor.Next(State(socket), control.Control) {
case control {
control.TogglePlayPause -> {
echo "mpv: toggling play/pause"
let _ =
result.map_error(control.toggle_play_pause(state.socket), fn(err) {
echo "Could not toggle play/pause: " <> err.details
})
actor.continue(state)
}
control.GetPlaybackTime(reply_to) -> {
let res = control.get_playback_time(state.socket)
process.send(reply_to, res)
actor.continue(state)
}
control.Exit(reply_to) -> {
tcp.close(state.socket)
process.send(reply_to, Nil)
actor.stop()
}
}
}

View File

@@ -0,0 +1,106 @@
import gleam/erlang/process.{type Name, type Subject}
import gleam/float
import gleam/otp/actor
import gleam/result
import gleam/string
import musicplayer/control.{type Control}
import musicplayer/input/key.{type Key}
import musicplayer/mpv/control as mpv_control
type State(mpv, input_inject, exit) {
State(
mpv: Subject(mpv_control.Control),
input_inject: Subject(Key),
exit: Subject(Nil),
)
}
pub fn new(
mpv: Subject(mpv_control.Control),
input_keys_name: Name(Key),
input_stream_name: Name(List(String)),
input_inject_name: Name(Key),
exit: Subject(Nil),
) -> Result(Nil, String) {
let input_keys = process.named_subject(input_keys_name)
let input_stream = process.named_subject(input_stream_name)
let input_inject = process.named_subject(input_inject_name)
case
actor.new(State(mpv, input_inject, exit))
|> actor.on_message(handle_message)
|> actor.start
{
Error(start_error) ->
Error("Could not start actor: " <> string.inspect(start_error))
Ok(actor.Started(data: musicplayer, ..)) -> {
process.spawn(fn() {
let assert Ok(_) = process.register(process.self(), input_keys_name)
handle_key(musicplayer, input_keys)
})
process.spawn(fn() {
let assert Ok(_) = process.register(process.self(), input_stream_name)
temp_input_stream(input_stream)
})
Ok(Nil)
}
}
}
fn handle_message(
state: State(mpv, input_inject, exit),
control: Control,
) -> actor.Next(State(mpv, input_inject, exit), Control) {
case control {
control.Search -> {
process.send(state.input_inject, key.Continue([key.input_introducer]))
actor.continue(state)
}
control.TogglePlayPause -> {
echo "toggling play/pause"
process.send(state.mpv, mpv_control.TogglePlayPause)
case
process.call(state.mpv, 1000, fn(reply_to) {
mpv_control.GetPlaybackTime(reply_to)
})
{
Error(err) -> echo "! could not get playbackTime: " <> err.details
Ok(mpv_control.PlaybackTime(data: playback_time)) ->
echo "playbacktime from mpv: " <> float.to_string(playback_time)
}
actor.continue(state)
}
control.Exit -> {
// Close socket to `mpv`
process.call(state.mpv, 1000, fn(reply_to) { mpv_control.Exit(reply_to) })
// End main process
process.send(state.exit, Nil)
actor.stop()
}
}
}
/// `handle_key` listens to a subject onto which `input` will send messages with
/// parsed `Key`s which will be mapped to `Control`s (if possible)
fn handle_key(musicplayer: Subject(Control), input_keys: Subject(Key)) -> Nil {
let _ =
process.receive_forever(input_keys)
|> control.from_key
|> result.map(process.send(musicplayer, _))
handle_key(musicplayer, input_keys)
}
fn temp_input_stream(input_stream: Subject(List(String))) -> Nil {
let stream = process.receive_forever(input_stream)
echo "input stream: " <> string.inspect(stream)
temp_input_stream(input_stream)
}

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 tcp/reason.{type Reason} import musicplayer/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 tcp/reason.{type Reason} import musicplayer/tcp/reason.{type Reason}
import tcp/tcp import musicplayer/tcp/tcp
pub type Message { pub type Message {
Shutdown Shutdown

View File

@@ -1,9 +1,8 @@
import gleam/list import gleam/list
import gleeunit import gleeunit
import input/key.{type Key, Char} import musicplayer/control.{type Control}
import mpv/control.{type Control} import musicplayer/input/key.{type Key, Char}
import mpv/internal/control as control_internal
pub fn main() -> Nil { pub fn main() -> Nil {
gleeunit.main() gleeunit.main()
@@ -23,11 +22,3 @@ pub fn control_from_key_test() {
assert tc.expected == control.from_key(tc.key) assert tc.expected == control.from_key(tc.key)
}) })
} }
pub fn parse_playback_time_test() {
let json_string =
"{\"data\":\"123.456789\",\"request_id\":0,\"error\":\"success\"}\n"
let assert Ok(data) = control_internal.parse_playback_time(json_string)
assert data == 123.456789
}

View File

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

@@ -0,0 +1,15 @@
import gleeunit
import musicplayer/mpv/internal as control_internal
pub fn main() -> Nil {
gleeunit.main()
}
pub fn parse_playback_time_test() {
let json_string =
"{\"data\":\"123.456789\",\"request_id\":0,\"error\":\"success\"}\n"
let assert Ok(data) = control_internal.parse_playback_time(json_string)
assert data == 123.456789
}

View File

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