31:T409,renderResults = (results, decimalScore) => { const ul = DOM.element('ul') const els = results.map(({item, score, matches}) => { const itemSpan = html`` let prev = 0 for (const [a, b] of matches) { if (prev != a) itemSpan.appendChild(html`${item.slice(prev, a)}`) itemSpan.appendChild(html`${item.slice(a, b)}`) prev = b } if (prev != item.length) { itemSpan.appendChild(html`${item.slice(prev, item.length)}`) } const scoreDisp = decimalScore ? formatDecimals(score) : score const cands = dict[item].slice(0, 8).map(renderGlyph).join('') let candsEx = '' if (dict[item].length > 8) { candsEx = html` +${dict[item].length - 8}` } return html`

${itemSpan} (${cands}${candsEx}) ${scoreDisp}

` }) els.forEach(s => ul.appendChild(s)) return ul }32:[] 2f:{"title":"Agda input method fuzzy algo. comparison","cells":[{"id":0,"value":"# Agda input method fuzzy algo. comparison","pinned":false,"hidden":false,"mode":"md"},{"id":7,"value":"viewof query = Inputs.text({ label: 'Query' })","pinned":false,"hidden":false,"mode":"ojs"},{"id":62,"value":"{\n if (query === '') {\n return html`(Query is empty)`\n }\n\n const entries = [\n { name: 'CM', fn: CMFuzzyMatcherEngine(keys) },\n { name: 'FZF', fn: FzfEngine(keys) },\n { name: 'QuickScore', fn: QuickScoreEngine(keys), decimalScore: true },\n ]\n \n return html`

\n ${entries.map(({name, fn, decimalScore}) => {\n const rs = fn(query)\n return html`

${name} (${rs.length}):

\n ${renderResults(rs, decimalScore)}\n

`\n })}\n

`\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":230,"value":"## Issues\n\n* CM includes lowercase result when the query is lowercase only (e.g. `alpha`/`Alpha`)\n* QuickScore favors longer results while Fzf does not (is possible to do so via a built-in tiebreaker); e.g. `zdig`.\n* Some candidates beginning `^\\` have peculiarly long names (and contains spaces in them). Not sure how much I can do...","pinned":false,"hidden":false,"mode":"md"},{"id":228,"value":"---","pinned":false,"hidden":false,"mode":"md"},{"id":60,"value":"$31","pinned":true,"hidden":false,"mode":"ojs"},{"id":242,"value":"---","pinned":false,"hidden":false,"mode":"md"},{"id":225,"value":"# Engines","pinned":false,"hidden":false,"mode":"md"},{"id":158,"value":"CMFuzzyMatcherEngine = keys => s => {\n const fm = new FuzzyMatcher(s)\n return keys.map(item => {\n const ok = fm.match(item)\n if (!ok) return null\n const { score, matched } = fm\n const matches = []\n for (let i = 0; i < matched.length; i += 2) {\n matches.push([matched[i], matched[i + 1]])\n }\n return { item, score, matches }\n })\n .filter(result => result && result.matches.length)\n // assuming the sort is stable: \n // https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/sort#sort_stability\n .sort((a, b) => b.score - a.score)\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":26,"value":"FzfEngine = {\n const fzf = await import('https://esm.sh/fzf')\n\n function positionsToIntervals(xs) {\n if (!xs.length) return []\n let start = xs[0], prev = xs[0]\n const ret = []\n for (let idx = 1; idx < xs.length; idx++) {\n const cur = xs[idx]\n if (cur == prev + 1) {\n prev++\n continue\n }\n ret.push([start, prev + 1])\n start = prev = cur\n }\n ret.push([start, prev + 1])\n return ret\n }\n \n return keys => {\n const coll = new fzf.Fzf(keys, {\n casing: 'case-sensitive',\n tiebreakers: [fzf.byStartAsc],\n })\n \n return s => coll.find(s).map(({ item, score, positions }) => ({\n item, score, matches: positionsToIntervals(Array.from(positions).sort((a, b) => a - b)),\n }))\n }\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":23,"value":"QuickScoreEngine = {\n const QS = await import('quick-score@0.0.14')\n return keys => {\n const qs = new QS.QuickScore(keys, {\n transformString: s => s,\n config: QS.createConfig({\n wordSeparators: ' \\t\\n\\r',\n })\n })\n \n return s => qs.search(s).map(({ item, score, matches }) => ({\n item, score, matches,\n }))\n }\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":198,"value":"---","pinned":false,"hidden":false,"mode":"md"},{"id":160,"value":"import { FuzzyMatcher } from '@qbane/cm6-fuzzy-matcher'","pinned":true,"hidden":false,"mode":"ojs"},{"id":200,"value":"formatDecimals = {\n const fmt = Intl.NumberFormat(undefined, {\n minimumFractionDigits: 2,\n maximumFractionDigits: 4,\n })\n return n => fmt.format(n)\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":143,"value":"renderGlyph = s => {\n // TODO: space\n if (s.match(/\\p{Mn}/u)) {\n return '\\u25cc' + s\n }\n return s\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":287,"value":"---","pinned":false,"hidden":false,"mode":"md"},{"id":5,"value":"dict = fetch('https://raw.githubusercontent.com/agda-web/agda-input/refs/heads/master/out/dict.json').then(x => x.json())","pinned":true,"hidden":false,"mode":"ojs"},{"id":123,"value":"keys = Object.keys(dict)","pinned":true,"hidden":false,"mode":"ojs"},{"id":247,"value":"values = Array.from(new Set(Object.values(dict).flat())).sort()","pinned":true,"hidden":false,"mode":"ojs"},{"id":289,"value":"# \"Tricky\" characters","pinned":false,"hidden":false,"mode":"md"},{"id":245,"value":"values.filter(x => x.match(/\\p{Mn}/u)).map(renderGlyph)","pinned":true,"hidden":false,"mode":"ojs"},{"id":251,"value":"html`Z category:

⟧\\u200b${c}\\u200b⟦: ${cp}

`","pinned":false,"hidden":false,"mode":"ojs"},{"id":267,"value":"html`C category:

⟧\\u200b${c}\\u200b⟦: ${cp}

`","pinned":false,"hidden":false,"mode":"ojs"},{"id":292,"value":"keys.filter(x => x.includes(' ') && !x.startsWith('^\\\\'))","pinned":true,"hidden":false,"mode":"ojs"},{"id":10,"value":"","pinned":false,"hidden":false,"mode":"html"}],"files":"$W32","stdlib":"1","titling":"auto"}