30:T99e,function codeView({value, mode, height}) { const fn = ({CodeMirror} = {}) => { return ({id, value, mode}) => { const cm = CodeMirror(document.body, { value, mode, lineNumbers: true }) CodeMirror.modeURL = 'https://codemirror.net/mode/%N/%N.js' CodeMirror.autoLoadMode(cm, mode) cm.on('keypress', (cm, event) => { if (event.key === 'Enter' && event.shiftKey) { event.preventDefault() window.parent.postMessage({ id, value: cm.getValue(), height: document.body.offsetHeight }, `https://${document.domain}`) } }) setInterval(() => { window.parent.postMessage({ id, height: document.body.offsetHeight }, `https://${document.domain}`) }, 100) } } const randomId = `el${Math.floor(Math.random() * 1000000)}` const frameSrc = ` ` const frameStyle = `width: 100%; height: 300px; border: 0; overflow-y: hidden;` const frame = html`` const messageListener = event => { if (document.contains(frame)) { if (event.data.id === randomId) { if (event.data.value !== undefined) { frame.value = event.data.value frame.dispatchEvent(new CustomEvent("input")) } frame.style.height = `${event.data.height}px` } } else { window.removeEventListener('message', messageListener) } } window.addEventListener('message', messageListener, false) frame.srcdoc = frameSrc frame.value = value return frame }31:[] 2e:{"title":"Orientable","cells":[{"id":0,"value":"md`# Orientable`","pinned":false,"hidden":false,"mode":"ojs"},{"id":109,"value":"md`**Orient** is a programming model where devs write equations instead of code. **Orientable** is a UI to navigate \\`.orient\\` files.`","pinned":false,"hidden":false,"mode":"ojs"},{"id":66,"value":"viewof url = text({\n title: 'Model File',\n placeholder: 'type url and click fetch', \n description: 'Location of your .orient file',\n value: 'https://raw.githubusercontent.com/filecoin-project/specs/spec-refactoring-wip/src/orient/filecoin.orient',\n submit: 'load'})","pinned":false,"hidden":false,"mode":"ojs"},{"id":130,"value":"viewof model = codeView({\n value: await fetch_model(url),\n mode: 'yaml',\n height: 400,\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":254,"value":"DOM.download(\n new Blob([model], {type: \"text/plain\"}),\n \"system.orient\", // optional file name\n \"Download model\" // optional button label\n)","pinned":false,"hidden":false,"mode":"ojs"},{"id":221,"value":"viewof url_defaults = text({\n title: 'Initial Params',\n placeholder: 'type url and click fetch', \n description: 'Location of your .json file with your params',\n value: 'https://gist.githubusercontent.com/nicola/90f8e37648043118721dc8c4e9fb8542/raw/params.json',\n submit: 'load'})","pinned":false,"hidden":false,"mode":"ojs"},{"id":200,"value":"viewof defaults = codeView({\n value: await fetch_model(url_defaults),\n mode: 'yaml',\n height: 100\n})","pinned":false,"hidden":false,"mode":"ojs"},{"id":224,"value":"md`## Explore`","pinned":false,"hidden":false,"mode":"ojs"},{"id":8,"value":"viewof starting_assignments = {\n const obj = JSON.parse(defaults)\n const array = Object.keys(m.vars).sort()\n return checkbox({options: array, value: array.filter(d => !!obj[d]) })\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":42,"value":"viewof assignments = {\n const obj = JSON.parse(defaults)\n\n if (starting_assignments.length === 0 ) {\n const dom = html`Pick variables to play with`\n dom.value = []\n return dom\n }\n const assignments = starting_assignments\n .reduce((acc, curr) => {\n acc[curr] = obj[curr]\n return acc\n }, {})\n return params(model, assignments)\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":49,"value":"viewof assigns = report_from_result(result, assignments)","pinned":false,"hidden":false,"mode":"ojs"},{"id":247,"value":"DOM.download(\n new Blob([JSON.stringify(assigns)], {type: \"application/json\"}),\n \"output.json\", // optional file name\n \"Download results\" // optional button label\n)","pinned":false,"hidden":false,"mode":"ojs"},{"id":118,"value":"viewof constraints = report_unsolved_from_result(result, assignments, Object.keys(defaults), ['delta'])","pinned":false,"hidden":false,"mode":"ojs"},{"id":409,"value":"result = solve_webworker(model, assignments)","pinned":false,"hidden":false,"mode":"ojs"},{"id":58,"value":"md`\n---\n\n---\n`","pinned":false,"hidden":false,"mode":"ojs"},{"id":137,"value":"$30","pinned":false,"hidden":false,"mode":"ojs"},{"id":71,"value":"m = parse(model)","pinned":false,"hidden":false,"mode":"ojs"},{"id":87,"value":"code = (model) => {\n const head = model.split('\\n').slice(0, 10).join('\\n')\n const tail = model.split('\\n').slice(10).join('\\n')\n const dom = md`\n\\`\\`\\`\\\n${head}\n\\`\\`\\`\n

See rest of code

\n\n\\`\\`\\`\\\n${tail}\n\\`\\`\\`\n\n

\n`\n dom.value = model\n return dom\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":9,"value":"import {checkbox} from \"@jashkenas/inputs\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":61,"value":"import {text, select} from \"@jashkenas/inputs\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":5,"value":"import {fetch_model, parse, solve, params, report_from_result, report_unsolved_from_result, solve_webworker} from \"@nicola/orient\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":380,"value":"md``\n// viewof val = {\n// const view1 = codeView({\n// value: await fetch_model(url),\n// mode: 'yaml',\n// height: '500px',\n// width: '580px',\n// })\n// const view2 = report(view1.value, assignments)\n// const dom = html`\n\n//

\n//

\n// ${view1}\n//

\n\n//

\n// ${view2}\n//

\n//

\n// `\n// dom.value = {model: view1.value, assignments:view2.value}\n// return dom\n// }","pinned":false,"hidden":false,"mode":"ojs"}],"files":"$W31","stdlib":"1","titling":"auto"}