create-mendix-widget-gleam 2.0.19 → 2.0.21

package/tui/build/dev/javascript/tui/tui/prompt.mjs

@@ -10,16 +10,94 @@ import { None, Some } from "../../gleam_stdlib/gleam/option.mjs";
 import * as $string from "../../gleam_stdlib/gleam/string.mjs";
 import { Ok, Error, toList, Empty as $Empty } from "../gleam.mjs";
 
+function draw_banner_lines(loop$lines) {
+  while (true) {
+    let lines = loop$lines;
+    if (lines instanceof $Empty) {
+      return undefined;
+    } else {
+      let rest = lines.tail;
+      let glendi = lines.head[0];
+      let lucy = lines.head[1];
+      $stdout.execute(
+        toList([
+          new $command.SetForegroundColor(new $style.Cyan()),
+          new $command.SetAttributes(toList([new $style.Bold()])),
+          new $command.Print(glendi),
+          new $command.ResetStyle(),
+          new $command.SetForegroundColor(new $style.Magenta()),
+          new $command.Println(lucy),
+          new $command.ResetStyle(),
+        ]),
+      );
+      loop$lines = rest;
+    }
+  }
+}
+
+function banner_lines() {
+  return toList([
+    [
+      "                   ████                                               ████   ████",
+      "",
+    ],
+    [
+      "                   ████                                               ████  ██████",
+      "",
+    ],
+    [
+      "                   ████                                               ████   ████",
+      "",
+    ],
+    [
+      "                   ████                                               ████",
+      "           █▓█",
+    ],
+    [
+      "   ████████ ████   ████      ████████     ████ ███████        ███████ ████   ████",
+      "    ▓░▓█",
+    ],
+    [
+      " ███████████████   ████    ████████████   ██████████████    ██████████████   ████",
+      "    ▓░░▓▓▓▓",
+    ],
+    [
+      "█████     ██████   ████   ████     █████  █████     ████   █████     █████   ████",
+      "  ▓▓░░░░░░▓",
+    ],
+    [
+      "████       █████   ████  ████       ████  █████     ████   ████      █████   ████",
+      " ▓░░░░░▒░▒█",
+    ],
+    [
+      "████        ████   ████  ███████████████  █████     ████   ████       ████   ████",
+      " █▓░▒░▒░░▓",
+    ],
+    [
+      "█████      █████   ████  ████             █████     ████   ████      █████   ████",
+      "  █▓░░▒░░▓",
+    ],
+    [
+      " ███████████████   ████   █████     ██    █████     ████   █████    ██████   ████",
+      "   ▓░░░░░▓",
+    ],
+    [
+      "  █████████ ████   ████    ████████████   █████     ████    ██████████████   ████",
+      "   ▓░▒▓█▓▓",
+    ],
+    [
+      "            ████   ████      ████████     █████     ████      ██████  ████   ████",
+      "   █▓█",
+    ],
+    ["   █       ████", ""],
+    ["  █████████████", ""],
+    ["   ██████████", ""],
+  ]);
+}
+
 export function draw_header() {
-  return $stdout.execute(
-    toList([
-      new $command.SetForegroundColor(new $style.Cyan()),
-      new $command.SetAttributes(toList([new $style.Bold()])),
-      new $command.Println("  create-mendix-widget-gleam"),
-      new $command.ResetStyle(),
-      new $command.Println(""),
-    ]),
-  );
+  draw_banner_lines(banner_lines());
+  return $stdout.execute(toList([new $command.Println("")]));
 }
 
 export function draw_completed(steps) {
@@ -62,6 +140,26 @@ function clear_screen() {
   );
 }
 
+function is_wide_char(code) {
+  return (((((((((code >= 0xAC00) && (code <= 0xD7A3)) || ((code >= 0x1100) && (code <= 0x11FF))) || ((code >= 0x3130) && (code <= 0x318F))) || ((code >= 0x3000) && (code <= 0x30FF))) || ((code >= 0x3400) && (code <= 0x4DBF))) || ((code >= 0x4E00) && (code <= 0x9FFF))) || ((code >= 0xF900) && (code <= 0xFAFF))) || ((code >= 0xFF01) && (code <= 0xFF60))) || ((code >= 0xFFE0) && (code <= 0xFFE6));
+}
+
+function display_width(str) {
+  let _pipe = $string.to_utf_codepoints(str);
+  return $list.fold(
+    _pipe,
+    0,
+    (acc, cp) => {
+      let $ = is_wide_char($string.utf_codepoint_to_int(cp));
+      if ($) {
+        return acc + 2;
+      } else {
+        return acc + 1;
+      }
+    },
+  );
+}
+
 function render_items(loop$items, loop$selected, loop$i) {
   while (true) {
     let items = loop$items;
@@ -102,9 +200,13 @@ function render_select(completed, title, items, selected, hint) {
   clear_screen();
   draw_header();
   draw_completed(completed);
+  if (completed instanceof $Empty) {
+    undefined
+  } else {
+    $stdout.execute(toList([new $command.Println("")]))
+  }
   $stdout.execute(
     toList([
-      new $command.Println(""),
       new $command.SetAttributes(toList([new $style.Bold()])),
       new $command.Println("  " + title),
       new $command.ResetStyle(),
@@ -217,7 +319,15 @@ export function select(completed, title, items, default$, hint) {
   );
 }
 
-function render_input(completed, title, value, error, preview_lines, hint) {
+function render_input(
+  completed,
+  title,
+  value,
+  cursor,
+  error,
+  preview_lines,
+  hint
+) {
   clear_screen();
   draw_header();
   draw_completed(completed);
@@ -261,8 +371,10 @@ function render_input(completed, title, value, error, preview_lines, hint) {
     }
   }
   draw_hint(hint);
-  let input_row = (2 + $list.length(completed)) + 1;
-  let input_col = $string.length(prefix) + $string.length(value);
+  let input_row = (17 + $list.length(completed)) + 1;
+  let input_col = display_width(prefix) + display_width(
+    $string.slice(value, 0, cursor),
+  );
   return $stdout.execute(
     toList([
       new $command.MoveTo(input_col, input_row),
@@ -271,7 +383,7 @@ function render_input(completed, title, value, error, preview_lines, hint) {
   );
 }
 
-function input_loop(completed, title, value, validate, preview, hint) {
+function input_loop(completed, title, value, cursor, validate, preview, hint) {
   return $promise.await$(
     $event.read(),
     (evt) => {
@@ -294,44 +406,214 @@ function input_loop(completed, title, value, validate, preview, hint) {
                       completed,
                       title,
                       value,
+                      cursor,
                       validate,
                       preview,
                       hint,
                     );
                   }
-                } else if ($4 instanceof $event.Enter) {
-                  let trimmed = $string.trim(value);
-                  let $5 = validate(trimmed);
-                  if ($5 instanceof Some) {
+                } else if ($4 instanceof $event.LeftArrow) {
+                  let $5 = cursor > 0;
+                  if ($5) {
+                    let cur = cursor - 1;
+                    render_input(
+                      completed,
+                      title,
+                      value,
+                      cur,
+                      validate(value),
+                      preview(value),
+                      hint,
+                    );
                     return input_loop(
                       completed,
                       title,
                       value,
+                      cur,
                       validate,
                       preview,
                       hint,
                     );
                   } else {
-                    return $promise.resolve(new Ok(trimmed));
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      cursor,
+                      validate,
+                      preview,
+                      hint,
+                    );
                   }
-                } else if ($4 instanceof $event.Backspace) {
-                  let v = $string.drop_end(value, 1);
+                } else if ($4 instanceof $event.RightArrow) {
+                  let len = $string.length(value);
+                  let $5 = cursor < len;
+                  if ($5) {
+                    let cur = cursor + 1;
+                    render_input(
+                      completed,
+                      title,
+                      value,
+                      cur,
+                      validate(value),
+                      preview(value),
+                      hint,
+                    );
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      cur,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  } else {
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      cursor,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  }
+                } else if ($4 instanceof $event.Home) {
                   render_input(
                     completed,
                     title,
-                    v,
-                    validate(v),
-                    preview(v),
+                    value,
+                    0,
+                    validate(value),
+                    preview(value),
+                    hint,
+                  );
+                  return input_loop(
+                    completed,
+                    title,
+                    value,
+                    0,
+                    validate,
+                    preview,
+                    hint,
+                  );
+                } else if ($4 instanceof $event.End) {
+                  let len = $string.length(value);
+                  render_input(
+                    completed,
+                    title,
+                    value,
+                    len,
+                    validate(value),
+                    preview(value),
                     hint,
                   );
                   return input_loop(
                     completed,
                     title,
-                    v,
+                    value,
+                    len,
                     validate,
                     preview,
                     hint,
                   );
+                } else if ($4 instanceof $event.Delete) {
+                  let len = $string.length(value);
+                  let $5 = cursor < len;
+                  if ($5) {
+                    let before = $string.slice(value, 0, cursor);
+                    let after = $string.slice(
+                      value,
+                      cursor + 1,
+                      (len - cursor) - 1,
+                    );
+                    let v = before + after;
+                    render_input(
+                      completed,
+                      title,
+                      v,
+                      cursor,
+                      validate(v),
+                      preview(v),
+                      hint,
+                    );
+                    return input_loop(
+                      completed,
+                      title,
+                      v,
+                      cursor,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  } else {
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      cursor,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  }
+                } else if ($4 instanceof $event.Enter) {
+                  let trimmed = $string.trim(value);
+                  let $5 = validate(trimmed);
+                  if ($5 instanceof Some) {
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      cursor,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  } else {
+                    return $promise.resolve(new Ok(trimmed));
+                  }
+                } else if ($4 instanceof $event.Backspace) {
+                  let $5 = cursor > 0;
+                  if ($5) {
+                    let before = $string.slice(value, 0, cursor - 1);
+                    let after = $string.slice(
+                      value,
+                      cursor,
+                      $string.length(value) - cursor,
+                    );
+                    let v = before + after;
+                    let cur = cursor - 1;
+                    render_input(
+                      completed,
+                      title,
+                      v,
+                      cur,
+                      validate(v),
+                      preview(v),
+                      hint,
+                    );
+                    return input_loop(
+                      completed,
+                      title,
+                      v,
+                      cur,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  } else {
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      cursor,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  }
                 } else if ($4 instanceof $event.Esc) {
                   return $promise.resolve(new Error(undefined));
                 } else {
@@ -339,6 +621,7 @@ function input_loop(completed, title, value, validate, preview, hint) {
                     completed,
                     title,
                     value,
+                    cursor,
                     validate,
                     preview,
                     hint,
@@ -349,6 +632,7 @@ function input_loop(completed, title, value, validate, preview, hint) {
                   completed,
                   title,
                   value,
+                  cursor,
                   validate,
                   preview,
                   hint,
@@ -362,11 +646,19 @@ function input_loop(completed, title, value, validate, preview, hint) {
                   let $5 = $1[0].code;
                   if ($5 instanceof $event.Char) {
                     let c = $5[0];
-                    let v = value + c;
+                    let before = $string.slice(value, 0, cursor);
+                    let after = $string.slice(
+                      value,
+                      cursor,
+                      $string.length(value) - cursor,
+                    );
+                    let v = (before + c) + after;
+                    let cur = cursor + 1;
                     render_input(
                       completed,
                       title,
                       v,
+                      cur,
                       validate(v),
                       preview(v),
                       hint,
@@ -375,43 +667,213 @@ function input_loop(completed, title, value, validate, preview, hint) {
                       completed,
                       title,
                       v,
+                      cur,
                       validate,
                       preview,
                       hint,
                     );
-                  } else if ($5 instanceof $event.Enter) {
-                    let trimmed = $string.trim(value);
-                    let $6 = validate(trimmed);
-                    if ($6 instanceof Some) {
+                  } else if ($5 instanceof $event.LeftArrow) {
+                    let $6 = cursor > 0;
+                    if ($6) {
+                      let cur = cursor - 1;
+                      render_input(
+                        completed,
+                        title,
+                        value,
+                        cur,
+                        validate(value),
+                        preview(value),
+                        hint,
+                      );
                       return input_loop(
                         completed,
                         title,
                         value,
+                        cur,
                         validate,
                         preview,
                         hint,
                       );
                     } else {
-                      return $promise.resolve(new Ok(trimmed));
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
                     }
-                  } else if ($5 instanceof $event.Backspace) {
-                    let v = $string.drop_end(value, 1);
+                  } else if ($5 instanceof $event.RightArrow) {
+                    let len = $string.length(value);
+                    let $6 = cursor < len;
+                    if ($6) {
+                      let cur = cursor + 1;
+                      render_input(
+                        completed,
+                        title,
+                        value,
+                        cur,
+                        validate(value),
+                        preview(value),
+                        hint,
+                      );
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cur,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    }
+                  } else if ($5 instanceof $event.Home) {
                     render_input(
                       completed,
                       title,
-                      v,
-                      validate(v),
-                      preview(v),
+                      value,
+                      0,
+                      validate(value),
+                      preview(value),
                       hint,
                     );
                     return input_loop(
                       completed,
                       title,
-                      v,
+                      value,
+                      0,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  } else if ($5 instanceof $event.End) {
+                    let len = $string.length(value);
+                    render_input(
+                      completed,
+                      title,
+                      value,
+                      len,
+                      validate(value),
+                      preview(value),
+                      hint,
+                    );
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      len,
                       validate,
                       preview,
                       hint,
                     );
+                  } else if ($5 instanceof $event.Delete) {
+                    let len = $string.length(value);
+                    let $6 = cursor < len;
+                    if ($6) {
+                      let before = $string.slice(value, 0, cursor);
+                      let after = $string.slice(
+                        value,
+                        cursor + 1,
+                        (len - cursor) - 1,
+                      );
+                      let v = before + after;
+                      render_input(
+                        completed,
+                        title,
+                        v,
+                        cursor,
+                        validate(v),
+                        preview(v),
+                        hint,
+                      );
+                      return input_loop(
+                        completed,
+                        title,
+                        v,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    }
+                  } else if ($5 instanceof $event.Enter) {
+                    let trimmed = $string.trim(value);
+                    let $6 = validate(trimmed);
+                    if ($6 instanceof Some) {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return $promise.resolve(new Ok(trimmed));
+                    }
+                  } else if ($5 instanceof $event.Backspace) {
+                    let $6 = cursor > 0;
+                    if ($6) {
+                      let before = $string.slice(value, 0, cursor - 1);
+                      let after = $string.slice(
+                        value,
+                        cursor,
+                        $string.length(value) - cursor,
+                      );
+                      let v = before + after;
+                      let cur = cursor - 1;
+                      render_input(
+                        completed,
+                        title,
+                        v,
+                        cur,
+                        validate(v),
+                        preview(v),
+                        hint,
+                      );
+                      return input_loop(
+                        completed,
+                        title,
+                        v,
+                        cur,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    }
                   } else if ($5 instanceof $event.Esc) {
                     return $promise.resolve(new Error(undefined));
                   } else {
@@ -419,6 +881,7 @@ function input_loop(completed, title, value, validate, preview, hint) {
                       completed,
                       title,
                       value,
+                      cursor,
                       validate,
                       preview,
                       hint,
@@ -429,6 +892,7 @@ function input_loop(completed, title, value, validate, preview, hint) {
                     completed,
                     title,
                     value,
+                    cursor,
                     validate,
                     preview,
                     hint,
@@ -438,39 +902,208 @@ function input_loop(completed, title, value, validate, preview, hint) {
                 let $4 = $1[0].kind;
                 if ($4 instanceof $event.Press) {
                   let $5 = $1[0].code;
-                  if ($5 instanceof $event.Enter) {
-                    let trimmed = $string.trim(value);
-                    let $6 = validate(trimmed);
-                    if ($6 instanceof Some) {
+                  if ($5 instanceof $event.LeftArrow) {
+                    let $6 = cursor > 0;
+                    if ($6) {
+                      let cur = cursor - 1;
+                      render_input(
+                        completed,
+                        title,
+                        value,
+                        cur,
+                        validate(value),
+                        preview(value),
+                        hint,
+                      );
                       return input_loop(
                         completed,
                         title,
                         value,
+                        cur,
                         validate,
                         preview,
                         hint,
                       );
                     } else {
-                      return $promise.resolve(new Ok(trimmed));
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
                     }
-                  } else if ($5 instanceof $event.Backspace) {
-                    let v = $string.drop_end(value, 1);
+                  } else if ($5 instanceof $event.RightArrow) {
+                    let len = $string.length(value);
+                    let $6 = cursor < len;
+                    if ($6) {
+                      let cur = cursor + 1;
+                      render_input(
+                        completed,
+                        title,
+                        value,
+                        cur,
+                        validate(value),
+                        preview(value),
+                        hint,
+                      );
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cur,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    }
+                  } else if ($5 instanceof $event.Home) {
                     render_input(
                       completed,
                       title,
-                      v,
-                      validate(v),
-                      preview(v),
+                      value,
+                      0,
+                      validate(value),
+                      preview(value),
                       hint,
                     );
                     return input_loop(
                       completed,
                       title,
-                      v,
+                      value,
+                      0,
+                      validate,
+                      preview,
+                      hint,
+                    );
+                  } else if ($5 instanceof $event.End) {
+                    let len = $string.length(value);
+                    render_input(
+                      completed,
+                      title,
+                      value,
+                      len,
+                      validate(value),
+                      preview(value),
+                      hint,
+                    );
+                    return input_loop(
+                      completed,
+                      title,
+                      value,
+                      len,
                       validate,
                       preview,
                       hint,
                     );
+                  } else if ($5 instanceof $event.Delete) {
+                    let len = $string.length(value);
+                    let $6 = cursor < len;
+                    if ($6) {
+                      let before = $string.slice(value, 0, cursor);
+                      let after = $string.slice(
+                        value,
+                        cursor + 1,
+                        (len - cursor) - 1,
+                      );
+                      let v = before + after;
+                      render_input(
+                        completed,
+                        title,
+                        v,
+                        cursor,
+                        validate(v),
+                        preview(v),
+                        hint,
+                      );
+                      return input_loop(
+                        completed,
+                        title,
+                        v,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    }
+                  } else if ($5 instanceof $event.Enter) {
+                    let trimmed = $string.trim(value);
+                    let $6 = validate(trimmed);
+                    if ($6 instanceof Some) {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return $promise.resolve(new Ok(trimmed));
+                    }
+                  } else if ($5 instanceof $event.Backspace) {
+                    let $6 = cursor > 0;
+                    if ($6) {
+                      let before = $string.slice(value, 0, cursor - 1);
+                      let after = $string.slice(
+                        value,
+                        cursor,
+                        $string.length(value) - cursor,
+                      );
+                      let v = before + after;
+                      let cur = cursor - 1;
+                      render_input(
+                        completed,
+                        title,
+                        v,
+                        cur,
+                        validate(v),
+                        preview(v),
+                        hint,
+                      );
+                      return input_loop(
+                        completed,
+                        title,
+                        v,
+                        cur,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    } else {
+                      return input_loop(
+                        completed,
+                        title,
+                        value,
+                        cursor,
+                        validate,
+                        preview,
+                        hint,
+                      );
+                    }
                   } else if ($5 instanceof $event.Esc) {
                     return $promise.resolve(new Error(undefined));
                   } else {
@@ -478,6 +1111,7 @@ function input_loop(completed, title, value, validate, preview, hint) {
                       completed,
                       title,
                       value,
+                      cursor,
                       validate,
                       preview,
                       hint,
@@ -488,6 +1122,7 @@ function input_loop(completed, title, value, validate, preview, hint) {
                     completed,
                     title,
                     value,
+                    cursor,
                     validate,
                     preview,
                     hint,
@@ -496,26 +1131,52 @@ function input_loop(completed, title, value, validate, preview, hint) {
               }
             }
           } else {
-            return input_loop(completed, title, value, validate, preview, hint);
+            return input_loop(
+              completed,
+              title,
+              value,
+              cursor,
+              validate,
+              preview,
+              hint,
+            );
           }
         } else {
-          return input_loop(completed, title, value, validate, preview, hint);
+          return input_loop(
+            completed,
+            title,
+            value,
+            cursor,
+            validate,
+            preview,
+            hint,
+          );
         }
       } else {
-        return input_loop(completed, title, value, validate, preview, hint);
+        return input_loop(
+          completed,
+          title,
+          value,
+          cursor,
+          validate,
+          preview,
+          hint,
+        );
       }
     },
   );
 }
 
 export function text_input(completed, title, initial, validate, preview, hint) {
+  let cursor = $string.length(initial);
   render_input(
     completed,
     title,
     initial,
+    cursor,
     validate(initial),
     preview(initial),
     hint,
   );
-  return input_loop(completed, title, initial, validate, preview, hint);
+  return input_loop(completed, title, initial, cursor, validate, preview, hint);
 }