@softwarefactory-project/re-ansi 0.6.0 → 0.7.1

package/src/Ansi.bs.js

@@ -1,969 +0,0 @@
-'use strict';
-
-var Curry = require("bs-platform/lib/js/curry.js");
-var React = require("react");
-var Belt_List = require("bs-platform/lib/js/belt_List.js");
-var Belt_Option = require("bs-platform/lib/js/belt_Option.js");
-var Caml_option = require("bs-platform/lib/js/caml_option.js");
-
-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 8 :
-        console.log("Unknown color value:", code);
-        return ;
-    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,
-                _0: colorValue
-              };
-    case 0 :
-    case 4 :
-        return {
-                TAG: /* Background */2,
-                _0: colorValue
-              };
-    case 1 :
-    case 2 :
-    case 5 :
-    case 6 :
-    case 7 :
-    case 8 :
-        break;
-    case 9 :
-        return {
-                TAG: /* BrightForeground */1,
-                _0: colorValue
-              };
-    default:
-      
-  }
-  console.log("Unknown color code:", colorMode, colorValue);
-  
-}
-
-function getColorStyleCss(color) {
-  switch (color.TAG | 0) {
-    case /* Foreground */0 :
-        return Belt_Option.flatMap(fourBitColors(color._0), (function (color) {
-                      return {
-                              color: color
-                            };
-                    }));
-    case /* BrightForeground */1 :
-        return Belt_Option.flatMap(threeBitColors(color._0), (function (color) {
-                      return {
-                              color: color,
-                              fontWeight: "bold"
-                            };
-                    }));
-    case /* Background */2 :
-        return Belt_Option.flatMap(fourBitColors(color._0), (function (background) {
-                      return {
-                              background: background
-                            };
-                    }));
-    
-  }
-}
-
-function get(colorMode, colorValue) {
-  return Belt_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 /* FontStyle */{
-                _0: addWeight("bold")
-              };
-    case 2 :
-        return /* FontStyle */{
-                _0: addWeight("lighter")
-              };
-    case 3 :
-        return /* FontStyle */{
-                _0: addStyle("italic")
-              };
-    case 4 :
-        return /* FontStyle */{
-                _0: addDecoration("underline")
-              };
-    case 0 :
-    case 7 :
-        return /* Regular */0;
-    case 5 :
-    case 6 :
-    case 8 :
-        return ;
-    case 9 :
-        return /* FontStyle */{
-                _0: addDecoration("line-through")
-              };
-    default:
-      return ;
-  }
-}
-
-function getFontStyleCss(font) {
-  if (font) {
-    return Caml_option.some(font._0);
-  }
-  
-}
-
-function get$1(fontMode) {
-  return Belt_Option.flatMap(getFontStyle(fontMode - 48 | 0), getFontStyleCss);
-}
-
-var FontCss = {
-  getFontStyle: getFontStyle,
-  getFontStyleCss: getFontStyleCss,
-  get: get$1
-};
-
-var linkRe = /^(http(s)?:\/\/[^\s]+)/;
-
-function get$2(txt) {
-  return Belt_Option.getWithDefault(Belt_Option.flatMap(Caml_option.null_to_opt(linkRe.exec(txt)), (function (res) {
-                    return Belt_Option.flatMap(res.length !== 3 ? undefined : Caml_option.nullable_to_opt(res[0]), (function (url) {
-                                  return [
-                                          url.length,
-                                          {
-                                            TAG: /* HRef */0,
-                                            _0: url
-                                          }
-                                        ];
-                                }));
-                  })), [
-              1,
-              undefined
-            ]);
-}
-
-var HttpLink = {
-  linkRe: linkRe,
-  get: get$2
-};
-
-function parse(txt, pos) {
-  var match = txt.codePointAt(pos);
-  var exit = 0;
-  if (match === undefined) {
-    return [
-            0,
-            undefined
-          ];
-  }
-  if (match >= 14) {
-    if (match !== 27) {
-      if (match !== 104) {
-        return [
-                0,
-                undefined
-              ];
-      }
-      var func = function (param, param$1) {
-        return param$1.slice(pos, param);
-      };
-      return get$2(Curry._2(func, 512, txt));
-    }
-    exit = 1;
-  } else {
-    if (match === 10) {
-      return [
-              1,
-              /* CarriageReturn */2
-            ];
-    }
-    if (match < 13) {
-      return [
-              0,
-              undefined
-            ];
-    }
-    exit = 1;
-  }
-  if (exit === 1) {
-    var cps = function (_idx, _acc) {
-      while(true) {
-        var acc = _acc;
-        var idx = _idx;
-        var match = idx > 10;
-        var match$1 = txt.codePointAt(pos + idx | 0);
-        if (match) {
-          return acc;
-        }
-        if (match$1 === undefined) {
-          return acc;
-        }
-        if (match$1 === 109) {
-          return acc;
-        }
-        _acc = Belt_List.add(acc, match$1);
-        _idx = idx + 1 | 0;
-        continue ;
-      };
-    };
-    var codePoints = Belt_List.reverse(cps(1, /* [] */0));
-    var length = Belt_List.length(codePoints) + 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) {
-      return [
-              1,
-              undefined
-            ];
-    }
-    var match$1 = codePoints.hd;
-    if (match$1 !== 10) {
-      if (match$1 !== 91) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$2 = codePoints.tl;
-      if (!match$2) {
-        return [
-                length,
-                /* Clear */0
-              ];
-      }
-      var style$2 = match$2.hd;
-      var exit$2 = 0;
-      var exit$3 = 0;
-      var match$3 = match$2.tl;
-      if (match$3) {
-        if (match$3.hd === 75) {
-          return [
-                  4,
-                  /* EraseLine */1
-                ];
-        }
-        exit$3 = 6;
-      } else {
-        exit$3 = 6;
-      }
-      if (exit$3 === 6) {
-        var switcher = style$2 - 48 | 0;
-        if (switcher === 0 || switcher === 1) {
-          if (switcher !== 0) {
-            var match$4 = match$2.tl;
-            if (match$4) {
-              var match$5 = match$4.tl;
-              if (match$5 && !match$5.tl) {
-                colorMode = match$4.hd;
-                colorValue = match$5.hd;
-                xs = codePoints;
-                exit$1 = 2;
-              } else {
-                exit$2 = 5;
-              }
-            } else {
-              exit$2 = 5;
-            }
-          } else {
-            var match$6 = match$2.tl;
-            if (!match$6) {
-              return [
-                      length,
-                      /* Clear */0
-                    ];
-            }
-            var style$3 = match$6.hd;
-            var exit$4 = 0;
-            if (style$3 !== 48) {
-              exit$4 = 7;
-            } else {
-              if (!match$6.tl) {
-                return [
-                        length,
-                        /* Clear */0
-                      ];
-              }
-              exit$4 = 7;
-            }
-            if (exit$4 === 7) {
-              var match$7 = match$6.tl;
-              if (match$7 && match$7.hd === 59) {
-                var match$8 = match$7.tl;
-                if (!match$8) {
-                  return [
-                          1,
-                          undefined
-                        ];
-                }
-                var match$9 = match$8.tl;
-                if (match$9) {
-                  var match$10 = match$9.tl;
-                  var colorValue$2 = match$9.hd;
-                  var colorMode$2 = match$8.hd;
-                  if (match$10) {
-                    if (match$10.hd !== 59) {
-                      exit$2 = 5;
-                    } else {
-                      var match$11 = match$10.tl;
-                      if (!match$11) {
-                        return [
-                                1,
-                                undefined
-                              ];
-                      }
-                      var cm2$1 = match$11.hd;
-                      var match$12 = match$11.tl;
-                      if (match$12) {
-                        if (match$12.tl) {
-                          if (cm2$1 !== 49) {
-                            exit$2 = 5;
-                          } else {
-                            var match$13 = match$11.tl;
-                            var match$14 = match$13.tl;
-                            if (match$14.tl) {
-                              return [
-                                      1,
-                                      undefined
-                                    ];
-                            }
-                            style$1 = style$3;
-                            cm1 = colorMode$2;
-                            cv1 = colorValue$2;
-                            cm2 = match$13.hd;
-                            cv2 = match$14.hd;
-                            xs$1 = codePoints;
-                            exit$1 = 4;
-                          }
-                        } else {
-                          style$1 = style$3;
-                          cm1 = colorMode$2;
-                          cv1 = colorValue$2;
-                          cm2 = cm2$1;
-                          cv2 = match$12.hd;
-                          xs$1 = codePoints;
-                          exit$1 = 4;
-                        }
-                      } else {
-                        exit$2 = 5;
-                      }
-                    }
-                  } else {
-                    colorMode$1 = colorMode$2;
-                    colorValue$1 = colorValue$2;
-                    style = style$3;
-                    exit$1 = 3;
-                  }
-                } else {
-                  exit$2 = 5;
-                }
-              } else {
-                exit$2 = 5;
-              }
-            }
-            
-          }
-        } else {
-          if (switcher === 27) {
-            return [
-                    3,
-                    /* EraseLine */1
-                  ];
-          }
-          exit$2 = 5;
-        }
-      }
-      if (exit$2 === 5) {
-        var match$15 = match$2.tl;
-        if (!match$15) {
-          return [
-                  length,
-                  Belt_Option.flatMap(get$1(style$2), (function (style) {
-                          return {
-                                  TAG: /* Style */1,
-                                  _0: style
-                                };
-                        }))
-                ];
-        }
-        var colorValue$3 = match$15.hd;
-        var exit$5 = 0;
-        var match$16 = match$15.tl;
-        if (match$16) {
-          if (match$16.hd !== 59) {
-            exit$5 = 6;
-          } else {
-            var match$17 = match$16.tl;
-            if (!match$17) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            if (match$17.tl) {
-              exit$5 = 6;
-            } else {
-              colorMode$1 = style$2;
-              colorValue$1 = colorValue$3;
-              style = match$17.hd;
-              exit$1 = 3;
-            }
-          }
-        } else {
-          colorMode = style$2;
-          colorValue = colorValue$3;
-          xs = codePoints;
-          exit$1 = 2;
-        }
-        if (exit$5 === 6) {
-          if (colorValue$3 !== 59) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var match$18 = match$15.tl;
-          var match$19 = match$18.tl;
-          if (!match$19) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var match$20 = match$19.tl;
-          var colorValue$4 = match$19.hd;
-          var colorMode$3 = match$18.hd;
-          if (match$20) {
-            if (match$20.hd !== 59) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            var match$21 = match$20.tl;
-            if (!match$21) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            var cm2$2 = match$21.hd;
-            var match$22 = match$21.tl;
-            if (!match$22) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            if (match$22.tl) {
-              if (cm2$2 !== 49) {
-                return [
-                        1,
-                        undefined
-                      ];
-              }
-              var match$23 = match$21.tl;
-              var match$24 = match$23.tl;
-              if (match$24.tl) {
-                return [
-                        1,
-                        undefined
-                      ];
-              }
-              style$1 = style$2;
-              cm1 = colorMode$3;
-              cv1 = colorValue$4;
-              cm2 = match$23.hd;
-              cv2 = match$24.hd;
-              xs$1 = codePoints;
-              exit$1 = 4;
-            } else {
-              style$1 = style$2;
-              cm1 = colorMode$3;
-              cv1 = colorValue$4;
-              cm2 = cm2$2;
-              cv2 = match$22.hd;
-              xs$1 = codePoints;
-              exit$1 = 4;
-            }
-          } else {
-            colorMode$1 = colorMode$3;
-            colorValue$1 = colorValue$4;
-            style = style$2;
-            exit$1 = 3;
-          }
-        }
-        
-      }
-      
-    } else {
-      var match$25 = codePoints.tl;
-      if (!match$25) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      if (match$25.hd !== 27) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$26 = match$25.tl;
-      if (!match$26) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      if (match$26.hd !== 91) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$27 = match$26.tl;
-      if (!match$27) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      if (match$27.hd !== 49) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$28 = match$27.tl;
-      if (!match$28) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      if (match$28.hd !== 65) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$29 = match$28.tl;
-      if (!match$29) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      if (match$29.hd !== 27) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$30 = match$29.tl;
-      if (!match$30) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      if (match$30.hd !== 91) {
-        return [
-                1,
-                undefined
-              ];
-      }
-      var match$31 = match$30.tl;
-      if (match$31 && match$31.hd === 74) {
-        return [
-                9,
-                /* EraseLine */1
-              ];
-      } else {
-        return [
-                1,
-                undefined
-              ];
-      }
-    }
-    switch (exit$1) {
-      case 2 :
-          return [
-                  length,
-                  Belt_Option.flatMap(get(colorMode, colorValue + (
-                            Belt_List.length(xs) === 4 ? 10 : 0
-                          ) | 0), (function (colorCss) {
-                          return {
-                                  TAG: /* Style */1,
-                                  _0: colorCss
-                                };
-                        }))
-                ];
-      case 3 :
-          return [
-                  length,
-                  Belt_Option.flatMap(get(colorMode$1, colorValue$1), (function (colorCss) {
-                          var fontCss = get$1(style);
-                          if (fontCss !== undefined) {
-                            return {
-                                    TAG: /* Style */1,
-                                    _0: Object.assign({}, colorCss, Caml_option.valFromOption(fontCss))
-                                  };
-                          } else {
-                            return {
-                                    TAG: /* Style */1,
-                                    _0: colorCss
-                                  };
-                          }
-                        }))
-                ];
-      case 4 :
-          return [
-                  length,
-                  Belt_Option.flatMap(get(cm1, cv1), (function (colorCss1) {
-                          return Belt_Option.flatMap(get(cm2, cv2 + (
-                                          Belt_List.length(xs$1) === 9 ? 10 : 0
-                                        ) | 0), (function (colorCss2) {
-                                        var css = Object.assign({}, colorCss1, colorCss2);
-                                        var fontCss = get$1(style$1);
-                                        if (fontCss !== undefined) {
-                                          return {
-                                                  TAG: /* Style */1,
-                                                  _0: Object.assign({}, css, Caml_option.valFromOption(fontCss))
-                                                };
-                                        } else {
-                                          return {
-                                                  TAG: /* Style */1,
-                                                  _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_) {
-  var func = function (param, param$1) {
-    return param$1.slice(from, param);
-  };
-  return {
-          TAG: /* Text */0,
-          _0: Curry._2(func, 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 === "number") {
-          switch (code) {
-            case /* Clear */0 :
-                return [
-                        pos$1,
-                        {
-                          hd: prevElem,
-                          tl: /* [] */0
-                        }
-                      ];
-            case /* EraseLine */1 :
-                _prev = pos$1;
-                _pos = pos$1;
-                continue ;
-            case /* CarriageReturn */2 :
-                return [
-                        pos$1,
-                        {
-                          hd: prevElem,
-                          tl: {
-                            hd: /* LineBreak */0,
-                            tl: /* [] */0
-                          }
-                        }
-                      ];
-            
-          }
-        } else {
-          if (!code.TAG) {
-            return [
-                    pos$1,
-                    {
-                      hd: prevElem,
-                      tl: {
-                        hd: {
-                          TAG: /* Link */1,
-                          _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 */2,
-                          _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 Belt_List.add(acc, doc);
-      }
-      _acc = Belt_List.add(acc, doc);
-      _txt = txt.slice(pos);
-      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 Belt_List.toArray(Belt_List.reverse(acc));
-      }
-      var txt = xs.hd;
-      if (typeof txt === "number") {
-        _acc = Belt_List.add(acc, React.createElement("br", {
-                  key: String(idx)
-                }));
-        _idx = idx + 1 | 0;
-        _xs = xs.tl;
-        continue ;
-      }
-      switch (txt.TAG | 0) {
-        case /* Text */0 :
-            _acc = Belt_List.add(acc, txt._0);
-            _idx = idx + 1 | 0;
-            _xs = xs.tl;
-            continue ;
-        case /* Link */1 :
-            var href = txt._0;
-            _acc = Belt_List.add(acc, React.createElement("a", {
-                      key: String(idx),
-                      href: href
-                    }, href));
-            _idx = idx + 1 | 0;
-            _xs = xs.tl;
-            continue ;
-        case /* DocStyle */2 :
-            _acc = Belt_List.add(acc, React.createElement("span", {
-                      key: String(idx),
-                      style: txt._0
-                    }, go(txt._1, 0, /* [] */0)));
-            _idx = idx + 1 | 0;
-            _xs = xs.tl;
-            continue ;
-        
-      }
-    };
-  };
-  return go(doc, 0, /* [] */0);
-}
-
-function Ansi(Props) {
-  var log = Props.log;
-  return React.createElement("div", undefined, render(parse$2(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.default = $$default;
-exports.__esModule = true;
-/* react Not a pure module */