From 96a3c5c179d8d3fff24eb2953e45f8dd15e2714c Mon Sep 17 00:00:00 2001
From: HJ <thechairman@thechairman.info>
Date: Sat, 3 Feb 2024 15:09:54 -0500
Subject: cleanup

---
 .../build/packages/adglent/src/priv/prompt.gleam   | 38 ++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 aoc2023/build/packages/adglent/src/priv/prompt.gleam

(limited to 'aoc2023/build/packages/adglent/src/priv/prompt.gleam')

diff --git a/aoc2023/build/packages/adglent/src/priv/prompt.gleam b/aoc2023/build/packages/adglent/src/priv/prompt.gleam
new file mode 100644
index 0000000..6cee35a
--- /dev/null
+++ b/aoc2023/build/packages/adglent/src/priv/prompt.gleam
@@ -0,0 +1,38 @@
+import gleam/result
+import gleam/string
+
+pub fn confirm(message: String, auto_accept: Bool) -> Bool {
+  auto_accept || case
+    get_line(message <> "? (Y/N): ")
+    |> result.unwrap("n")
+    |> string.trim()
+  {
+    "Y" | "y" -> True
+    _ -> False
+  }
+}
+
+pub fn value(message: String, default: String, auto_accept: Bool) -> String {
+  case get_value_of_default(message, default, auto_accept) {
+    "" -> default
+    value -> value
+  }
+}
+
+fn get_value_of_default(message: String, default: String, auto_accept: Bool) {
+  case auto_accept {
+    True -> default
+    False ->
+      get_line(message <> "? (" <> default <> "): ")
+      |> result.unwrap("")
+      |> string.trim()
+  }
+}
+
+pub type GetLineError {
+  Eof
+  NoData
+}
+
+@external(erlang, "adglent_ffi", "get_line")
+pub fn get_line(prompt prompt: String) -> Result(String, GetLineError)
-- 
cgit v1.2.3