a_string_test.js

'use strict';

var Mt = require("./mt.js");
var List = require("../../lib/js/list.js");
var Ext_string_test = require("./ext_string_test.js");

var suites_0 = [
  "split",
  (function (param) {
      return {
              TAG: /* Eq */0,
              _0: Ext_string_test.split(true, "hihi", /* 'i' */105),
              _1: {
                hd: "h",
                tl: {
                  hd: "h",
                  tl: {
                    hd: "",
                    tl: /* [] */0
                  }
                }
              }
            };
    })
];

var suites_1 = {
  hd: [
    "split_non_empty",
    (function (param) {
        return {
                TAG: /* Eq */0,
                _0: Ext_string_test.split(undefined, "hihi", /* 'i' */105),
                _1: {
                  hd: "h",
                  tl: {
                    hd: "h",
                    tl: /* [] */0
                  }
                }
              };
      })
  ],
  tl: {
    hd: [
      "split_empty",
      (function (param) {
          return {
                  TAG: /* Eq */0,
                  _0: Ext_string_test.split(true, "", /* 'i' */105),
                  _1: /* [] */0
                };
        })
    ],
    tl: {
      hd: [
        "split_normal",
        (function (param) {
            return {
                    TAG: /* Eq */0,
                    _0: Ext_string_test.split(true, "h i i", /* ' ' */32),
                    _1: {
                      hd: "h",
                      tl: {
                        hd: "i",
                        tl: {
                          hd: "i",
                          tl: /* [] */0
                        }
                      }
                    }
                  };
          })
      ],
      tl: {
        hd: [
          "split_by",
          (function (param) {
              return {
                      TAG: /* Eq */0,
                      _0: List.filter(function (s) {
                              return s !== "";
                            })(Ext_string_test.split_by(undefined, (function (x) {
                                  if (x === /* ' ' */32) {
                                    return true;
                                  } else {
                                    return x === /* '\t' */9;
                                  }
                                }), "h hgso hgso \t hi")),
                      _1: {
                        hd: "h",
                        tl: {
                          hd: "hgso",
                          tl: {
                            hd: "hgso",
                            tl: {
                              hd: "hi",
                              tl: /* [] */0
                            }
                          }
                        }
                      }
                    };
            })
        ],
        tl: /* [] */0
      }
    }
  }
};

var suites = {
  hd: suites_0,
  tl: suites_1
};

Mt.from_pair_suites("A_string_test", suites);

var split = Ext_string_test.split;

var split_by = Ext_string_test.split_by;

exports.split = split;
exports.split_by = split_by;
exports.suites = suites;
/*  Not a pure module */