@softwarefactory-project/re-ansi 0.6.0 → 0.7.1

package/src/Ansi.res.js

@@ -0,0 +1,919 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+'use strict';
+
+var Belt_List = require("rescript/lib/js/belt_List.js");
+var Js_string = require("rescript/lib/js/js_string.js");
+var Core__List = require("@rescript/core/src/Core__List.res.js");
+var Caml_option = require("rescript/lib/js/caml_option.js");
+var Core__Option = require("@rescript/core/src/Core__Option.res.js");
+var JsxRuntime = require("react/jsx-runtime");
+
+function fourBitColors(code) {
+  switch (code) {
+    case 0 :
+        return "black";
+    case 1 :
+        return "red";
+    case 2 :
+        return "green";
+    case 3 :
+        return "yellow";
+    case 4 :
+        return "blue";
+    case 5 :
+        return "magenta";
+    case 6 :
+        return "cyan";
+    case 9 :
+        return "initial";
+    case 10 :
+        return "grey";
+    case 11 :
+        return "#DA2647";
+    case 12 :
+        return "#87FF2A";
+    case 13 :
+        return "#FFF700";
+    case 14 :
+        return "#5DADEC";
+    case 15 :
+        return "#FF3399";
+    case 16 :
+        return "#8DD9CC";
+    case 7 :
+    case 17 :
+        return "white";
+    default:
+      console.log("Unknown color value:", code);
+      return ;
+  }
+}
+
+function threeBitColors(code) {
+  switch (code) {
+    case 0 :
+        return "grey";
+    case 1 :
+        return "red";
+    case 2 :
+        return "green";
+    case 3 :
+        return "yellow";
+    case 4 :
+        return "blue";
+    case 5 :
+        return "magenta";
+    case 6 :
+        return "cyan";
+    case 7 :
+        return "white";
+    default:
+      console.log("Unknown color value:", code);
+      return ;
+  }
+}
+
+function combine(css1, css2) {
+  return Object.assign({}, css1, css2);
+}
+
+function addWeight(fontWeight) {
+  return {
+          fontWeight: fontWeight
+        };
+}
+
+function addStyle(fontStyle) {
+  return {
+          fontStyle: fontStyle
+        };
+}
+
+function addDecoration(textDecoration) {
+  return {
+          textDecoration: textDecoration
+        };
+}
+
+function int_of_cp(c) {
+  return c - 48 | 0;
+}
+
+function getColorStyle(colorMode, colorValue) {
+  switch (colorMode) {
+    case 3 :
+        return {
+                TAG: "Foreground",
+                _0: colorValue
+              };
+    case 0 :
+    case 4 :
+        return {
+                TAG: "Background",
+                _0: colorValue
+              };
+    case 9 :
+        return {
+                TAG: "BrightForeground",
+                _0: colorValue
+              };
+    default:
+      
+  }
+  console.log("Unknown color code:", colorMode, colorValue);
+}
+
+function getColorStyleCss(color) {
+  switch (color.TAG) {
+    case "Foreground" :
+        return Core__Option.flatMap(fourBitColors(color._0), (function (color) {
+                      return {
+                              color: color
+                            };
+                    }));
+    case "BrightForeground" :
+        return Core__Option.flatMap(threeBitColors(color._0), (function (color) {
+                      return {
+                              color: color,
+                              fontWeight: "bold"
+                            };
+                    }));
+    case "Background" :
+        return Core__Option.flatMap(fourBitColors(color._0), (function (background) {
+                      return {
+                              background: background
+                            };
+                    }));
+    
+  }
+}
+
+function get(colorMode, colorValue) {
+  return Core__Option.flatMap(getColorStyle(colorMode - 48 | 0, colorValue - 48 | 0), getColorStyleCss);
+}
+
+var ColorCss = {
+  getColorStyle: getColorStyle,
+  getColorStyleCss: getColorStyleCss,
+  get: get
+};
+
+function getFontStyle(fontMode) {
+  switch (fontMode) {
+    case 1 :
+        return {
+                TAG: "FontStyle",
+                _0: addWeight("bold")
+              };
+    case 2 :
+        return {
+                TAG: "FontStyle",
+                _0: addWeight("lighter")
+              };
+    case 3 :
+        return {
+                TAG: "FontStyle",
+                _0: addStyle("italic")
+              };
+    case 4 :
+        return {
+                TAG: "FontStyle",
+                _0: addDecoration("underline")
+              };
+    case 0 :
+    case 7 :
+        return "Regular";
+    case 9 :
+        return {
+                TAG: "FontStyle",
+                _0: addDecoration("line-through")
+              };
+    default:
+      return ;
+  }
+}
+
+function getFontStyleCss(font) {
+  if (typeof font !== "object") {
+    return ;
+  } else {
+    return font._0;
+  }
+}
+
+function get$1(fontMode) {
+  return Core__Option.flatMap(getFontStyle(fontMode - 48 | 0), getFontStyleCss);
+}
+
+var FontCss = {
+  getFontStyle: getFontStyle,
+  getFontStyleCss: getFontStyleCss,
+  get: get$1
+};
+
+var linkRe = new RegExp("^(http(s)?:\\/\\/[^\\s]+)");
+
+function get$2(txt) {
+  return Core__Option.getOr(Core__Option.flatMap(Caml_option.nullable_to_opt(linkRe.exec(txt)), (function (res) {
+                    return Core__Option.flatMap(res[0], (function (url) {
+                                  return [
+                                          url.length,
+                                          {
+                                            TAG: "HRef",
+                                            _0: url
+                                          }
+                                        ];
+                                }));
+                  })), [
+              1,
+              undefined
+            ]);
+}
+
+var HttpLink = {
+  linkRe: linkRe,
+  get: get$2
+};
+
+function parse(txt, pos) {
+  var match = Js_string.codePointAt(pos, txt);
+  var exit = 0;
+  if (match === undefined) {
+    return [
+            0,
+            undefined
+          ];
+  }
+  if (match >= 14) {
+    if (match !== 27) {
+      if (match !== 104) {
+        return [
+                0,
+                undefined
+              ];
+      } else {
+        return get$2(Js_string.slice(pos, 512, txt));
+      }
+    }
+    exit = 1;
+  } else {
+    if (match === 10) {
+      return [
+              1,
+              "CarriageReturn"
+            ];
+    }
+    if (match < 13) {
+      return [
+              0,
+              undefined
+            ];
+    }
+    exit = 1;
+  }
+  if (exit === 1) {
+    var codePoints = [];
+    var readCodePoints = function (_idx) {
+      while(true) {
+        var idx = _idx;
+        var match = idx > 10;
+        var match$1 = Js_string.codePointAt(pos + idx | 0, txt);
+        if (match) {
+          return ;
+        }
+        if (match$1 === undefined) {
+          return ;
+        }
+        if (match$1 === 109) {
+          return ;
+        }
+        codePoints.push(match$1);
+        _idx = idx + 1 | 0;
+        continue ;
+      };
+    };
+    readCodePoints(1);
+    var length = codePoints.length + 2 | 0;
+    var exit$1 = 0;
+    var colorMode;
+    var colorValue;
+    var xs;
+    var colorMode$1;
+    var colorValue$1;
+    var style;
+    var style$1;
+    var cm1;
+    var cv1;
+    var cm2;
+    var cv2;
+    var xs$1;
+    if (codePoints[0] === 10 && codePoints[1] === 27 && codePoints[2] === 91 && codePoints[3] === 49 && codePoints[4] === 65 && codePoints[5] === 27 && codePoints[6] === 91 && codePoints[7] === 74) {
+      return [
+              9,
+              "EraseLine"
+            ];
+    }
+    if (codePoints[0] === 91 && codePoints[2] === 75) {
+      return [
+              4,
+              "EraseLine"
+            ];
+    }
+    if (codePoints[0] === 91 && codePoints[1] === 75) {
+      return [
+              3,
+              "EraseLine"
+            ];
+    }
+    var len = codePoints.length;
+    if (len >= 11) {
+      return [
+              1,
+              undefined
+            ];
+    }
+    switch (len) {
+      case 1 :
+          var match$1 = codePoints[0];
+          if (match$1 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          } else {
+            return [
+                    length,
+                    "Clear"
+                  ];
+          }
+      case 2 :
+          var match$2 = codePoints[0];
+          if (match$2 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var style$2 = codePoints[1];
+          if (style$2 !== 48) {
+            return [
+                    length,
+                    Core__Option.flatMap(get$1(style$2), (function (style) {
+                            return {
+                                    TAG: "Style",
+                                    _0: style
+                                  };
+                          }))
+                  ];
+          } else {
+            return [
+                    length,
+                    "Clear"
+                  ];
+          }
+      case 3 :
+          var match$3 = codePoints[0];
+          if (match$3 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var colorMode$2 = codePoints[1];
+          var exit$2 = 0;
+          if (colorMode$2 !== 48) {
+            exit$2 = 5;
+          } else {
+            var match$4 = codePoints[2];
+            if (match$4 === 48) {
+              return [
+                      length,
+                      "Clear"
+                    ];
+            }
+            exit$2 = 5;
+          }
+          if (exit$2 === 5) {
+            var colorValue$2 = codePoints[2];
+            colorMode = colorMode$2;
+            colorValue = colorValue$2;
+            xs = codePoints;
+            exit$1 = 2;
+          }
+          break;
+      case 4 :
+          var match$5 = codePoints[0];
+          if (match$5 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var match$6 = codePoints[1];
+          if (match$6 !== 49) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var colorMode$3 = codePoints[2];
+          var colorValue$3 = codePoints[3];
+          colorMode = colorMode$3;
+          colorValue = colorValue$3;
+          xs = codePoints;
+          exit$1 = 2;
+          break;
+      case 5 :
+          var match$7 = codePoints[0];
+          if (match$7 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var colorMode$4 = codePoints[1];
+          var colorValue$4 = codePoints[2];
+          var match$8 = codePoints[3];
+          if (match$8 !== 59) {
+            if (colorValue$4 !== 59) {
+              return [
+                      1,
+                      undefined
+                    ];
+            }
+            var colorMode$5 = codePoints[3];
+            var colorValue$5 = codePoints[4];
+            colorMode$1 = colorMode$5;
+            colorValue$1 = colorValue$5;
+            style = colorMode$4;
+            exit$1 = 3;
+          } else {
+            var style$3 = codePoints[4];
+            colorMode$1 = colorMode$4;
+            colorValue$1 = colorValue$4;
+            style = style$3;
+            exit$1 = 3;
+          }
+          break;
+      case 6 :
+          var match$9 = codePoints[0];
+          if (match$9 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var match$10 = codePoints[1];
+          if (match$10 !== 48) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var style$4 = codePoints[2];
+          var match$11 = codePoints[3];
+          if (match$11 !== 59) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var colorMode$6 = codePoints[4];
+          var colorValue$6 = codePoints[5];
+          colorMode$1 = colorMode$6;
+          colorValue$1 = colorValue$6;
+          style = style$4;
+          exit$1 = 3;
+          break;
+      case 0 :
+      case 7 :
+          return [
+                  1,
+                  undefined
+                ];
+      case 8 :
+          var match$12 = codePoints[0];
+          if (match$12 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var style$5 = codePoints[1];
+          var match$13 = codePoints[2];
+          if (match$13 !== 59) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var cm1$1 = codePoints[3];
+          var cv1$1 = codePoints[4];
+          var match$14 = codePoints[5];
+          if (match$14 !== 59) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var cm2$1 = codePoints[6];
+          var cv2$1 = codePoints[7];
+          style$1 = style$5;
+          cm1 = cm1$1;
+          cv1 = cv1$1;
+          cm2 = cm2$1;
+          cv2 = cv2$1;
+          xs$1 = codePoints;
+          exit$1 = 4;
+          break;
+      case 9 :
+          var match$15 = codePoints[0];
+          if (match$15 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var style$6 = codePoints[1];
+          var exit$3 = 0;
+          if (style$6 !== 48) {
+            exit$3 = 5;
+          } else {
+            var style$7 = codePoints[2];
+            var match$16 = codePoints[3];
+            if (match$16 !== 59) {
+              exit$3 = 5;
+            } else {
+              var cm1$2 = codePoints[4];
+              var cv1$2 = codePoints[5];
+              var match$17 = codePoints[6];
+              if (match$17 !== 59) {
+                exit$3 = 5;
+              } else {
+                var cm2$2 = codePoints[7];
+                var cv2$2 = codePoints[8];
+                style$1 = style$7;
+                cm1 = cm1$2;
+                cv1 = cv1$2;
+                cm2 = cm2$2;
+                cv2 = cv2$2;
+                xs$1 = codePoints;
+                exit$1 = 4;
+              }
+            }
+          }
+          if (exit$3 === 5) {
+            var match$18 = codePoints[2];
+            if (match$18 !== 59) {
+              return [
+                      1,
+                      undefined
+                    ];
+            }
+            var cm1$3 = codePoints[3];
+            var cv1$3 = codePoints[4];
+            var match$19 = codePoints[5];
+            if (match$19 !== 59) {
+              return [
+                      1,
+                      undefined
+                    ];
+            }
+            var match$20 = codePoints[6];
+            if (match$20 !== 49) {
+              return [
+                      1,
+                      undefined
+                    ];
+            }
+            var cm2$3 = codePoints[7];
+            var cv2$3 = codePoints[8];
+            style$1 = style$6;
+            cm1 = cm1$3;
+            cv1 = cv1$3;
+            cm2 = cm2$3;
+            cv2 = cv2$3;
+            xs$1 = codePoints;
+            exit$1 = 4;
+          }
+          break;
+      case 10 :
+          var match$21 = codePoints[0];
+          if (match$21 !== 91) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var match$22 = codePoints[1];
+          if (match$22 !== 48) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var style$8 = codePoints[2];
+          var match$23 = codePoints[3];
+          if (match$23 !== 59) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var cm1$4 = codePoints[4];
+          var cv1$4 = codePoints[5];
+          var match$24 = codePoints[6];
+          if (match$24 !== 59) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var match$25 = codePoints[7];
+          if (match$25 !== 49) {
+            return [
+                    1,
+                    undefined
+                  ];
+          }
+          var cm2$4 = codePoints[8];
+          var cv2$4 = codePoints[9];
+          style$1 = style$8;
+          cm1 = cm1$4;
+          cv1 = cv1$4;
+          cm2 = cm2$4;
+          cv2 = cv2$4;
+          xs$1 = codePoints;
+          exit$1 = 4;
+          break;
+      
+    }
+    switch (exit$1) {
+      case 2 :
+          return [
+                  length,
+                  Core__Option.flatMap(get(colorMode, colorValue + (
+                            xs.length === 4 ? 10 : 0
+                          ) | 0), (function (colorCss) {
+                          return {
+                                  TAG: "Style",
+                                  _0: colorCss
+                                };
+                        }))
+                ];
+      case 3 :
+          return [
+                  length,
+                  Core__Option.flatMap(get(colorMode$1, colorValue$1), (function (colorCss) {
+                          var fontCss = get$1(style);
+                          if (fontCss !== undefined) {
+                            return {
+                                    TAG: "Style",
+                                    _0: Object.assign({}, colorCss, fontCss)
+                                  };
+                          } else {
+                            return {
+                                    TAG: "Style",
+                                    _0: colorCss
+                                  };
+                          }
+                        }))
+                ];
+      case 4 :
+          return [
+                  length,
+                  Core__Option.flatMap(get(cm1, cv1), (function (colorCss1) {
+                          return Core__Option.flatMap(get(cm2, cv2 + (
+                                          xs$1.length === 9 ? 10 : 0
+                                        ) | 0), (function (colorCss2) {
+                                        var css = Object.assign({}, colorCss1, colorCss2);
+                                        var fontCss = get$1(style$1);
+                                        if (fontCss !== undefined) {
+                                          return {
+                                                  TAG: "Style",
+                                                  _0: Object.assign({}, css, fontCss)
+                                                };
+                                        } else {
+                                          return {
+                                                  TAG: "Style",
+                                                  _0: css
+                                                };
+                                        }
+                                      }));
+                        }))
+                ];
+      
+    }
+  }
+  
+}
+
+var AnsiCode = {
+  fourBitColors: fourBitColors,
+  threeBitColors: threeBitColors,
+  combine: combine,
+  addWeight: addWeight,
+  addStyle: addStyle,
+  addDecoration: addDecoration,
+  int_of_cp: int_of_cp,
+  ColorCss: ColorCss,
+  FontCss: FontCss,
+  HttpLink: HttpLink,
+  parse: parse
+};
+
+function text(txt, from, to_) {
+  return {
+          TAG: "Text",
+          _0: Js_string.slice(from, to_, txt)
+        };
+}
+
+function parse$1(txt, length, pos) {
+  var go = function (_pos, _prev) {
+    while(true) {
+      var prev = _prev;
+      var pos = _pos;
+      var match = pos === length;
+      var match$1 = parse(txt, pos);
+      if (match) {
+        return [
+                pos,
+                {
+                  hd: text(txt, prev, pos),
+                  tl: /* [] */0
+                }
+              ];
+      }
+      var code = match$1[1];
+      if (code !== undefined) {
+        var prevElem = text(txt, prev, pos);
+        var pos$1 = pos + match$1[0] | 0;
+        if (typeof code !== "object") {
+          switch (code) {
+            case "Clear" :
+                return [
+                        pos$1,
+                        {
+                          hd: prevElem,
+                          tl: /* [] */0
+                        }
+                      ];
+            case "EraseLine" :
+                _prev = pos$1;
+                _pos = pos$1;
+                continue ;
+            case "CarriageReturn" :
+                return [
+                        pos$1,
+                        {
+                          hd: prevElem,
+                          tl: {
+                            hd: "LineBreak",
+                            tl: /* [] */0
+                          }
+                        }
+                      ];
+            
+          }
+        } else {
+          if (code.TAG === "HRef") {
+            return [
+                    pos$1,
+                    {
+                      hd: prevElem,
+                      tl: {
+                        hd: {
+                          TAG: "Link",
+                          _0: code._0
+                        },
+                        tl: /* [] */0
+                      }
+                    }
+                  ];
+          }
+          var match$2 = go(pos$1, pos$1);
+          var styled = match$2[1];
+          if (styled !== undefined) {
+            return [
+                    match$2[0],
+                    {
+                      hd: prevElem,
+                      tl: {
+                        hd: {
+                          TAG: "DocStyle",
+                          _0: code._0,
+                          _1: styled
+                        },
+                        tl: /* [] */0
+                      }
+                    }
+                  ];
+          } else {
+            return [
+                    pos$1,
+                    undefined
+                  ];
+          }
+        }
+      } else {
+        _pos = pos + 1 | 0;
+        continue ;
+      }
+    };
+  };
+  return go(pos, pos);
+}
+
+var $$Document = {
+  text: text,
+  parse: parse$1
+};
+
+function parse$2(txt) {
+  var go = function (_txt, _acc) {
+    while(true) {
+      var acc = _acc;
+      var txt = _txt;
+      var length = txt.length;
+      var match = parse$1(txt, length, 0);
+      var doc = match[1];
+      var pos = match[0];
+      if (doc === undefined) {
+        return acc;
+      }
+      if (pos === length) {
+        return Core__List.add(acc, doc);
+      }
+      _acc = Core__List.add(acc, doc);
+      _txt = Js_string.sliceToEnd(pos, txt);
+      continue ;
+    };
+  };
+  return Belt_List.flatten(Belt_List.reverse(go(txt, /* [] */0)));
+}
+
+function render(doc) {
+  var go = function (_xs, _idx, _acc) {
+    while(true) {
+      var acc = _acc;
+      var idx = _idx;
+      var xs = _xs;
+      if (!xs) {
+        return Core__List.toArray(Core__List.reverse(acc));
+      }
+      var txt = xs.hd;
+      if (typeof txt !== "object") {
+        _acc = Core__List.add(acc, JsxRuntime.jsx("br", {}, String(idx)));
+        _idx = idx + 1 | 0;
+        _xs = xs.tl;
+        continue ;
+      }
+      switch (txt.TAG) {
+        case "Text" :
+            _acc = Core__List.add(acc, txt._0);
+            _idx = idx + 1 | 0;
+            _xs = xs.tl;
+            continue ;
+        case "Link" :
+            var href = txt._0;
+            _acc = Core__List.add(acc, JsxRuntime.jsx("a", {
+                      children: href,
+                      href: href
+                    }, String(idx)));
+            _idx = idx + 1 | 0;
+            _xs = xs.tl;
+            continue ;
+        case "DocStyle" :
+            _acc = Core__List.add(acc, JsxRuntime.jsx("span", {
+                      children: go(txt._1, 0, /* [] */0),
+                      style: txt._0
+                    }, String(idx)));
+            _idx = idx + 1 | 0;
+            _xs = xs.tl;
+            continue ;
+        
+      }
+    };
+  };
+  return go(doc, 0, /* [] */0);
+}
+
+function Ansi(props) {
+  return JsxRuntime.jsx("div", {
+              children: render(parse$2(props.log))
+            });
+}
+
+var make = Ansi;
+
+var $$default = Ansi;
+
+exports.AnsiCode = AnsiCode;
+exports.$$Document = $$Document;
+exports.parse = parse$2;
+exports.render = render;
+exports.make = make;
+exports.default = $$default;
+exports.__esModule = true;
+/* linkRe Not a pure module */