build based on 5047103

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-08-27T08:30:18","documenter_version":"0.28.0-DEV"}}
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-09-05T07:31:23","documenter_version":"0.28.0-DEV"}}

dev/assets/documenter.js

@@ -1,15 +1,15 @@
 // Generated by Documenter.jl
 requirejs.config({
   paths: {
-    'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/languages/julia.min',
+    'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.8.0/languages/julia.min',
     'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.12.0/headroom.min',
     'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.13.2/jquery-ui.min',
-    'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.4/contrib/auto-render.min',
+    'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.8/contrib/auto-render.min',
-    'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.6.4/jquery.min',
+    'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.7.0/jquery.min',
     'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.12.0/jQuery.headroom.min',
-    'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.4/katex.min',
+    'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.8/katex.min',
-    'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/highlight.min',
+    'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.8.0/highlight.min',
-    'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/languages/julia-repl.min',
+    'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.8.0/languages/julia-repl.min',
   },
   shim: {
   "highlight-julia": {
@@ -228,26 +228,106 @@ $(document).ready(function () {
 
 })
 ////////////////////////////////////////////////////////////////////////////////
-require([], function() {
+require(['jquery'], function($) {
-let searchbox = document.querySelector("#documenter-search-query");
+
-let sidebar = document.querySelector(".docs-sidebar");
+let search_modal_header = `
+  <header class="modal-card-head gap-2 is-align-items-center is-justify-content-space-between w-100 px-3">
+    <div class="field mb-0 w-100">
+      <p class="control has-icons-right">
+        <input class="input documenter-search-input" type="text" placeholder="Search" />
+        <span class="icon is-small is-right has-text-primary-dark">
+          <i class="fas fa-magnifying-glass"></i>
+        </span>
+      </p>
+    </div>
+    <div class="icon is-size-4 is-clickable close-search-modal">
+      <i class="fas fa-times"></i>
+    </div>
+  </header>
+`;
+
+let initial_search_body = `
+  <div class="has-text-centered my-5 py-5">Type something to get started!</div>
+`;
+
+let search_modal_footer = `
+  <footer class="modal-card-foot">
+    <span>
+      <kbd class="search-modal-key-hints">Ctrl</kbd> +
+      <kbd class="search-modal-key-hints">/</kbd> to search
+    </span>
+    <span class="ml-3"> <kbd class="search-modal-key-hints">esc</kbd> to close </span>
+  </footer>
+`;
+
+$(document.body).append(
+  `
+    <div class="modal" id="search-modal">
+      <div class="modal-background"></div>
+      <div class="modal-card search-min-width-50 search-min-height-100 is-justify-content-center">
+        ${search_modal_header}
+        <section class="modal-card-body is-flex is-flex-direction-column is-justify-content-center gap-4 search-modal-card-body">
+          ${initial_search_body}
+        </section>
+        ${search_modal_footer}
+      </div>
+    </div>
+  `
+);
+
+document.querySelector(".docs-search-query").addEventListener("click", () => {
+  openModal();
+});
+
+document.querySelector(".close-search-modal").addEventListener("click", () => {
+  closeModal();
+});
+
+$(document).on("click", ".search-result-link", function () {
+  closeModal();
+});
 
 document.addEventListener("keydown", (event) => {
   if ((event.ctrlKey || event.metaKey) && event.key === "/") {
-    if (!sidebar.classList.contains("visible")) {
+    openModal();
-      sidebar.classList.add("visible");
-    }
-    searchbox.focus();
-    return false;
   } else if (event.key === "Escape") {
-    if (sidebar.classList.contains("visible")) {
+    closeModal();
-      sidebar.classList.remove("visible");
-    }
-    searchbox.blur();
-    return false;
   }
+
+  return false;
 });
 
+// Functions to open and close a modal
+function openModal() {
+  let searchModal = document.querySelector("#search-modal");
+
+  searchModal.classList.add("is-active");
+  document.querySelector(".documenter-search-input").focus();
+}
+
+function closeModal() {
+  let searchModal = document.querySelector("#search-modal");
+  let initial_search_body = `
+    <div class="has-text-centered my-5 py-5">Type something to get started!</div>
+  `;
+
+  searchModal.classList.remove("is-active");
+  document.querySelector(".documenter-search-input").blur();
+
+  if (!$(".search-modal-card-body").hasClass("is-justify-content-center")) {
+    $(".search-modal-card-body").addClass("is-justify-content-center");
+  }
+
+  $(".documenter-search-input").val("");
+  $(".search-modal-card-body").html(initial_search_body);
+}
+
+document
+  .querySelector("#search-modal .modal-background")
+  .addEventListener("click", () => {
+    closeModal();
+  });
+
 })
 ////////////////////////////////////////////////////////////////////////////////
 require(['jquery'], function($) {

dev/assets/search.js

@@ -2,189 +2,157 @@
 requirejs.config({
   paths: {
     'minisearch': 'https://cdn.jsdelivr.net/npm/minisearch@6.1.0/dist/umd/index.min',
-    'lodash': 'https://cdnjs.cloudflare.com/ajax/libs/lodash.js/4.17.21/lodash.min',
+    'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.7.0/jquery.min',
-    'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.6.4/jquery.min',
   }
 });
 ////////////////////////////////////////////////////////////////////////////////
-require(['jquery', 'minisearch', 'lodash'], function($, minisearch, _) {
+require(['jquery', 'minisearch'], function($, minisearch) {
-
-$(function () {
-  // parseUri 1.2.2
-  // (c) Steven Levithan <stevenlevithan.com>
-  // MIT License
-  function parseUri(str) {
-    var o = parseUri.options,
-      m = o.parser[o.strictMode ? "strict" : "loose"].exec(str),
-      uri = {},
-      i = 14;
-
-    while (i--) uri[o.key[i]] = m[i] || "";
-
-    uri[o.q.name] = {};
-    uri[o.key[12]].replace(o.q.parser, function ($0, $1, $2) {
-      if ($1) uri[o.q.name][$1] = $2;
-    });
 
-    return uri;
+// In general, most search related things will have "search" as a prefix.
-  }
+// To get an in-depth about the thought process you can refer: https://hetarth02.hashnode.dev/series/gsoc
-  parseUri.options = {
-    strictMode: false,
-    key: [
-      "source",
-      "protocol",
-      "authority",
-      "userInfo",
-      "user",
-      "password",
-      "host",
-      "port",
-      "relative",
-      "path",
-      "directory",
-      "file",
-      "query",
-      "anchor",
-    ],
-    q: {
-      name: "queryKey",
-      parser: /(?:^|&)([^&=]*)=?([^&]*)/g,
-    },
-    parser: {
-      strict:
-        /^(?:([^:\/?#]+):)?(?:\/\/((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?))?((((?:[^?#\/]*\/)*)([^?#]*))(?:\?([^#]*))?(?:#(.*))?)/,
-      loose:
-        /^(?:(?![^:@]+:[^:@\/]*@)([^:\/?#.]+):)?(?:\/\/)?((?:(([^:@]*)(?::([^:@]*))?)?@)?([^:\/?#]*)(?::(\d*))?)(((\/(?:[^?#](?![^?#\/]*\.[^?#\/.]+(?:[?#]|$)))*\/?)?([^?#\/]*))(?:\?([^#]*))?(?:#(.*))?)/,
-    },
-  };
 
-  $("#search-form").submit(function (e) {
+let results = [];
-    e.preventDefault();
+let timer = undefined;
-  });
 
-  let ms_data = documenterSearchIndex["docs"].map((x, key) => {
+let data = documenterSearchIndex["docs"].map((x, key) => {
-    x["id"] = key;
+  x["id"] = key; // minisearch requires a unique for each object
-    return x;
+  return x;
-  });
+});
+
+// list below is the lunr 2.1.3 list minus the intersect with names(Base)
+// (all, any, get, in, is, only, which) and (do, else, for, let, where, while, with)
+// ideally we'd just filter the original list but it's not available as a variable
+const stopWords = new Set([
+  "a",
+  "able",
+  "about",
+  "across",
+  "after",
+  "almost",
+  "also",
+  "am",
+  "among",
+  "an",
+  "and",
+  "are",
+  "as",
+  "at",
+  "be",
+  "because",
+  "been",
+  "but",
+  "by",
+  "can",
+  "cannot",
+  "could",
+  "dear",
+  "did",
+  "does",
+  "either",
+  "ever",
+  "every",
+  "from",
+  "got",
+  "had",
+  "has",
+  "have",
+  "he",
+  "her",
+  "hers",
+  "him",
+  "his",
+  "how",
+  "however",
+  "i",
+  "if",
+  "into",
+  "it",
+  "its",
+  "just",
+  "least",
+  "like",
+  "likely",
+  "may",
+  "me",
+  "might",
+  "most",
+  "must",
+  "my",
+  "neither",
+  "no",
+  "nor",
+  "not",
+  "of",
+  "off",
+  "often",
+  "on",
+  "or",
+  "other",
+  "our",
+  "own",
+  "rather",
+  "said",
+  "say",
+  "says",
+  "she",
+  "should",
+  "since",
+  "so",
+  "some",
+  "than",
+  "that",
+  "the",
+  "their",
+  "them",
+  "then",
+  "there",
+  "these",
+  "they",
+  "this",
+  "tis",
+  "to",
+  "too",
+  "twas",
+  "us",
+  "wants",
+  "was",
+  "we",
+  "were",
+  "what",
+  "when",
+  "who",
+  "whom",
+  "why",
+  "will",
+  "would",
+  "yet",
+  "you",
+  "your",
+]);
 
-  // list below is the lunr 2.1.3 list minus the intersect with names(Base)
+let index = new minisearch({
-  // (all, any, get, in, is, only, which) and (do, else, for, let, where, while, with)
+  fields: ["title", "text"], // fields to index for full-text search
-  // ideally we'd just filter the original list but it's not available as a variable
+  storeFields: ["location", "title", "text", "category", "page"], // fields to return with search results
-  const stopWords = new Set([
+  processTerm: (term) => {
-    "a",
+    let word = stopWords.has(term) ? null : term;
-    "able",
+    if (word) {
-    "about",
+      // custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
-    "across",
+      word = word
-    "after",
+        .replace(/^[^a-zA-Z0-9@!]+/, "")
-    "almost",
+        .replace(/[^a-zA-Z0-9@!]+$/, "");
-    "also",
+    }
-    "am",
+
-    "among",
+    return word ?? null;
-    "an",
+  },
-    "and",
+  // add . as a separator, because otherwise "title": "Documenter.Anchors.add!", would not find anything if searching for "add!", only for the entire qualification
-    "are",
+  tokenize: (string) => string.split(/[\s\-\.]+/),
-    "as",
+  // options which will be applied during the search
-    "at",
+  searchOptions: {
-    "be",
+    boost: { title: 100 },
-    "because",
+    fuzzy: 2,
-    "been",
-    "but",
-    "by",
-    "can",
-    "cannot",
-    "could",
-    "dear",
-    "did",
-    "does",
-    "either",
-    "ever",
-    "every",
-    "from",
-    "got",
-    "had",
-    "has",
-    "have",
-    "he",
-    "her",
-    "hers",
-    "him",
-    "his",
-    "how",
-    "however",
-    "i",
-    "if",
-    "into",
-    "it",
-    "its",
-    "just",
-    "least",
-    "like",
-    "likely",
-    "may",
-    "me",
-    "might",
-    "most",
-    "must",
-    "my",
-    "neither",
-    "no",
-    "nor",
-    "not",
-    "of",
-    "off",
-    "often",
-    "on",
-    "or",
-    "other",
-    "our",
-    "own",
-    "rather",
-    "said",
-    "say",
-    "says",
-    "she",
-    "should",
-    "since",
-    "so",
-    "some",
-    "than",
-    "that",
-    "the",
-    "their",
-    "them",
-    "then",
-    "there",
-    "these",
-    "they",
-    "this",
-    "tis",
-    "to",
-    "too",
-    "twas",
-    "us",
-    "wants",
-    "was",
-    "we",
-    "were",
-    "what",
-    "when",
-    "who",
-    "whom",
-    "why",
-    "will",
-    "would",
-    "yet",
-    "you",
-    "your",
-  ]);
-
-  let index = new minisearch({
-    fields: ["title", "text"], // fields to index for full-text search
-    storeFields: ["location", "title", "text", "category", "page"], // fields to return with search results
     processTerm: (term) => {
       let word = stopWords.has(term) ? null : term;
       if (word) {
-        // custom trimmer that doesn't strip @ and !, which are used in julia macro and function names
         word = word
           .replace(/^[^a-zA-Z0-9@!]+/, "")
           .replace(/[^a-zA-Z0-9@!]+$/, "");
@@ -192,92 +160,210 @@ $(function () {
 
       return word ?? null;
     },
-    // add . as a separator, because otherwise "title": "Documenter.Anchors.add!", would not find anything if searching for "add!", only for the entire qualification
     tokenize: (string) => string.split(/[\s\-\.]+/),
-    searchOptions: {
+  },
-      boost: { title: 100 },
+});
-      fuzzy: 2,
-      processTerm: (term) => {
-        let word = stopWords.has(term) ? null : term;
-        if (word) {
-          word = word
-            .replace(/^[^a-zA-Z0-9@!]+/, "")
-            .replace(/[^a-zA-Z0-9@!]+$/, "");
-        }
 
-        return word ?? null;
+index.addAll(data);
-      },
-      tokenize: (string) => string.split(/[\s\-\.]+/),
-    },
-  });
 
-  index.addAll(ms_data);
+let filters = [...new Set(data.map((x) => x.category))];
+var modal_filters = make_modal_body_filters(filters);
+var filter_results = [];
 
-  searchresults = $("#documenter-search-results");
+$(document).on("keyup", ".documenter-search-input", function (event) {
-  searchinfo = $("#documenter-search-info");
+  // Adding a debounce to prevent disruptions from super-speed typing!
-  searchbox = $("#documenter-search-query");
+  debounce(() => update_search(filter_results), 300);
-  searchform = $(".docs-search");
+});
-  sidebar = $(".docs-sidebar");
 
-  function update_search(querystring) {
+$(document).on("click", ".search-filter", function () {
-    let results = [];
+  if ($(this).hasClass("search-filter-selected")) {
+    $(this).removeClass("search-filter-selected");
+  } else {
+    $(this).addClass("search-filter-selected");
+  }
+
+  // Adding a debounce to prevent disruptions from crazy clicking!
+  debounce(() => get_filters(), 300);
+});
+
+/**
+ * A debounce function, takes a function and an optional timeout in milliseconds
+ *
+ * @function callback
+ * @param {number} timeout
+ */
+function debounce(callback, timeout = 300) {
+  clearTimeout(timer);
+  timer = setTimeout(callback, timeout);
+}
+
+/**
+ * Make/Update the search component
+ *
+ * @param {string[]} selected_filters
+ */
+function update_search(selected_filters = []) {
+  let initial_search_body = `
+      <div class="has-text-centered my-5 py-5">Type something to get started!</div>
+    `;
+
+  let querystring = $(".documenter-search-input").val();
+
+  if (querystring.trim()) {
     results = index.search(querystring, {
-      filter: (result) => result.score >= 1,
+      filter: (result) => {
+        // Filtering results
+        if (selected_filters.length === 0) {
+          return result.score >= 1;
+        } else {
+          return (
+            result.score >= 1 && selected_filters.includes(result.category)
+          );
+        }
+      },
     });
 
-    searchresults.empty();
+    let search_result_container = ``;
+    let search_divider = `<div class="search-divider w-100"></div>`;
 
-    let links = [];
+    if (results.length) {
-    let count = 0;
+      let links = [];
+      let count = 0;
+      let search_results = "";
 
-    results.forEach(function (result) {
+      results.forEach(function (result) {
-      if (result.location) {
+        if (result.location) {
-        if (!links.includes(result.location)) {
+          // Checking for duplication of results for the same page
-          searchresults.append(make_search_result(result, querystring));
+          if (!links.includes(result.location)) {
-          count++;
+            search_results += make_search_result(result, querystring);
+            count++;
+          }
+
+          links.push(result.location);
         }
+      });
 
-        links.push(result.location);
+      let result_count = `<div class="is-size-6">${count} result(s)</div>`;
-      }
+
-    });
+      search_result_container = `
+            <div class="is-flex is-flex-direction-column gap-2 is-align-items-flex-start">
+                ${modal_filters}
+                ${search_divider}
+                ${result_count}
+                <div class="is-clipped w-100 is-flex is-flex-direction-column gap-2 is-align-items-flex-start has-text-justified mt-1">
+                  ${search_results}
+                </div>
+            </div>
+        `;
+    } else {
+      search_result_container = `
+           <div class="is-flex is-flex-direction-column gap-2 is-align-items-flex-start">
+               ${modal_filters}
+               ${search_divider}
+               <div class="is-size-6">0 result(s)</div>
+            </div>
+            <div class="has-text-centered my-5 py-5">No result found!</div>
+       `;
+    }
 
-    searchinfo.text("Number of results: " + count);
+    if ($(".search-modal-card-body").hasClass("is-justify-content-center")) {
+      $(".search-modal-card-body").removeClass("is-justify-content-center");
+    }
+
+    $(".search-modal-card-body").html(search_result_container);
+  } else {
+    filter_results = [];
+    modal_filters = make_modal_body_filters(filters, filter_results);
+
+    if (!$(".search-modal-card-body").hasClass("is-justify-content-center")) {
+      $(".search-modal-card-body").addClass("is-justify-content-center");
+    }
+
+    $(".search-modal-card-body").html(initial_search_body);
+  }
+}
+
+/**
+ * Make the modal filter html
+ *
+ * @param {string[]} filters
+ * @param {string[]} selected_filters
+ * @returns string
+ */
+function make_modal_body_filters(filters, selected_filters = []) {
+  let str = ``;
+
+  filters.forEach((val) => {
+    if (selected_filters.includes(val)) {
+      str += `<a href="javascript:;" class="search-filter search-filter-selected"><span>${val}</span></a>`;
+    } else {
+      str += `<a href="javascript:;" class="search-filter"><span>${val}</span></a>`;
+    }
+  });
+
+  let filter_html = `
+        <div class="is-flex gap-2 is-flex-wrap-wrap is-justify-content-flex-start is-align-items-center search-filters">
+            <span class="is-size-6">Filters:</span>
+            ${str}
+        </div>
+    `;
+
+  return filter_html;
+}
+
+/**
+ * Make the result component given a minisearch result data object and the value of the search input as queryString.
+ * To view the result object structure, refer: https://lucaong.github.io/minisearch/modules/_minisearch_.html#searchresult
+ *
+ * @param {object} result
+ * @param {string} querystring
+ * @returns string
+ */
+function make_search_result(result, querystring) {
+  let search_divider = `<div class="search-divider w-100"></div>`;
+  let display_link =
+    result.location.slice(Math.max(0), Math.min(50, result.location.length)) +
+    (result.location.length > 30 ? "..." : ""); // To cut-off the link because it messes with the overflow of the whole div
+
+  if (result.page !== "") {
+    display_link += ` (${result.page})`;
   }
 
-  function make_search_result(result, querystring) {
+  let textindex = new RegExp(`\\b${querystring}\\b`, "i").exec(result.text);
-    let display_link =
+  let text =
-      result.location.slice(Math.max(0), Math.min(50, result.location.length)) +
+    textindex !== null
-      (result.location.length > 30 ? "..." : "");
+      ? result.text.slice(
-
+          Math.max(textindex.index - 100, 0),
-    let textindex = new RegExp(`\\b${querystring}\\b`, "i").exec(result.text);
+          Math.min(
-    let text =
+            textindex.index + querystring.length + 100,
-      textindex !== null
+            result.text.length
-        ? result.text.slice(
-            Math.max(textindex.index - 100, 0),
-            Math.min(
-              textindex.index + querystring.length + 100,
-              result.text.length
-            )
           )
-        : "";
+        )
-
+      : ""; // cut-off text before and after from the match
-    let display_result = text.length
+
-      ? "..." +
+  let display_result = text.length
-        text.replace(
+    ? "..." +
-          new RegExp(`\\b${querystring}\\b`, "i"), // For first occurrence
+      text.replace(
-          '<span class="search-result-highlight p-1">$&</span>'
+        new RegExp(`\\b${querystring}\\b`, "i"), // For first occurrence
-        ) +
+        '<span class="search-result-highlight p-1">$&</span>'
-        "..."
+      ) +
-      : "";
+      "..."
-
+    : ""; // highlights the match
-    let result_div = `
+
-      <a href="${
+  let in_code = false;
+  if (!["page", "section"].includes(result.category.toLowerCase())) {
+    in_code = true;
+  }
+
+  // We encode the full url to escape some special characters which can lead to broken links
+  let result_div = `
+      <a href="${encodeURI(
         documenterBaseURL + "/" + result.location
-      }" class="search-result-link px-4 py-2 w-100 is-flex is-flex-direction-column gap-2 my-4">
+      )}" class="search-result-link w-100 is-flex is-flex-direction-column gap-2 px-4 py-2">
-        <div class="w-100 is-flex is-flex-wrap-wrap is-justify-content-space-between is-align-items-center">
+        <div class="w-100 is-flex is-flex-wrap-wrap is-justify-content-space-between is-align-items-flex-start">
-          <div class="search-result-title has-text-weight-semi-bold">${
+          <div class="search-result-title has-text-weight-bold ${
-            result.title
+            in_code ? "search-result-code-title" : ""
-          }</div>
+          }">${result.title}</div>
           <div class="property-search-result-badge">${result.category}</div>
         </div>
         <p>
@@ -291,39 +377,20 @@ $(function () {
           <i class="fas fa-link"></i> ${display_link}
         </div>
       </a>
-      <div class="search-divider"></div>
+      ${search_divider}
     `;
-    return result_div;
-  }
-
-  function update_search_box() {
-    querystring = searchbox.val();
-    update_search(querystring);
-  }
 
-  searchbox.keyup(_.debounce(update_search_box, 250));
+  return result_div;
-  searchbox.change(update_search_box);
+}
 
-  // Disable enter-key form submission for the searchbox on the search page
+/**
-  // and just re-run search rather than refresh the whole page.
+ * Get selected filters, remake the filter html and lastly update the search modal
-  searchform.keypress(function (event) {
+ */
-    if (event.which == "13") {
+function get_filters() {
-      if (sidebar.hasClass("visible")) {
+  let ele = $(".search-filters .search-filter-selected").get();
-        sidebar.removeClass("visible");
+  filter_results = ele.map((x) => $(x).text().toLowerCase());
-      }
+  modal_filters = make_modal_body_filters(filters, filter_results);
-      update_search_box();
+  update_search(filter_results);
-      event.preventDefault();
+}
-    }
-  });
-
-  search_query_uri = parseUri(window.location).queryKey["q"];
-
-  if (search_query_uri !== undefined) {
-    search_query = decodeURIComponent(search_query_uri.replace(/\+/g, "%20"));
-    searchbox.val(search_query);
-  }
-
-  update_search_box();
-});
 
 })