31:Tb26,trypurescript = `module Main where import Prelude import Data.Foldable (fold, foldMap, class Foldable) import Effect (Effect) import Effect.Console (logShow) text :: String -> String text = identity h1 :: String -> String h1 s = "

" <> s <> "

" h2 :: String -> String h2 s = "

" <> s <> "

" p :: String -> String p s = "

" <> s <> "

" ul :: String -> String ul s = "

" <> s <> "" li :: String -> String li s = "

" <> s <> "

" list :: forall f. Foldable f => f String -> String list = ul <<< foldMap (li) indent :: String -> String indent s = "

" <> s <> "

" code :: String -> String code s = "" <> s <> "" link :: String -> String -> String link url html = " url <> "\\" target=\\"_top\\">" <> html <> "" main :: Effect Unit main = do logShow render render :: String render = fold [ h1 (text "Try PureScript!") , p (text "Try out the examples below, or create your own!") , h2 (text "Examples") , list (map fromExample examples) , h2 (text "Share Your Code") , p (text "The contents of the text editor are stored in the URL. To share your code you can simply copy the URL.") , p (text "Additionally, a PureScript file can be loaded from GitHub from a gist or a repository. To share code using a gist, include the gist ID in the URL as follows:") , indent (p (code (text " try.purescript.org?gist="))) , p (fold [ text "The gist should contain PureScript module named " , code (text "Main") , text " in a file named " , code (text "Main.purs") , text " containing your PureScript code." ]) , p (text "To share code from a repository, include the path to the source file as follows:") , indent (p (code (text " try.purescript.org?github=////.purs"))) , p (fold [ text "The file should be a PureScript module named " , code (text "Main") , text " containing your PureScript code." ]) ] where fromExample { title, source } = link ("https://github.com/purescript/trypurescript/master/client/examples/" <> source) (text title) examples = [ { title: "Algebraic Data Types" , source: "ADTs.purs" } , { title: "Loops" , source: "Loops.purs" } , { title: "Operators" , source: "Operators.purs" } , { title: "Records" , source: "Records.purs" } , { title: "Recursion" , source: "Recursion.purs" } , { title: "Do Notation" , source: "DoNotation.purs" } , { title: "Type Classes" , source: "TypeClasses.purs" } , { title: "Generic Programming" , source: "Generic.purs" } , { title: "QuickCheck" , source: "QuickCheck.purs" } ] `32:[{"id":"6f40deb936bd75eae42893d683764ccb88a71c9bcc3e15c785b56a0afdfce87b9cd53e67885a65b409a003015d21dcd239bad13d3a8511f551e35de51ea399bb","href":"https://static.observableusercontent.com/files/6f40deb936bd75eae42893d683764ccb88a71c9bcc3e15c785b56a0afdfce87b9cd53e67885a65b409a003015d21dcd239bad13d3a8511f551e35de51ea399bb","name":"image.png","type":"image/png","lastModified":1702489039831.125,"size":14317}] 2f:{"title":"Try Purescript (deprecated)","cells":[{"id":0,"value":"# Try Purescript (deprecated)\n\n> WARNING: Still not usable, unfortunately when the editor sends the code for compilation, the cursor gets reset.\n\nRun purescript code in ObservableHQ using `try.purescript.org`'s compiler endpoint and [@jmatsushita/purescript](https://observablehq.com/@jmatsushita/purescript).\n\n## Usage\n\n- Modify the [Source code](#cell-85) in the Editor below.\n- The notebook sends your changes to the try purescript compiler API.\n- Check errors and warnings\n- You can now [Run it](#cell-89) and use the compiled module using `module.{symbol}` (only tested with simple values!)\n\n> NOTE: The editor has a 2s debounce to be polite with the compiler endpoint.\n\nYou even get your purescript exported symbols autocompleted in the javascript editor. 🎉\n\n![image.png](${await FileAttachment(\"image.png\").url()})\n\nSee [Todo section](#cell-155) for some next steps ideas, and [Internals](#cell-91) for details on how this works. ","pinned":false,"hidden":false,"mode":"md"},{"id":85,"value":"## Source code","pinned":false,"hidden":false,"mode":"md"},{"id":436,"value":"Inputs.button([\n [\"Simple example\", () => set(viewof source, example)],\n [\"Try Purescript\", () => set(viewof source, trypurescript)],\n [\"Reset\", () => set(viewof source, 'module Main where\\n')]\n])","pinned":false,"hidden":false,"mode":"ojs"},{"id":7,"value":"viewof editor = Editor({ \n language: 'haskell',\n debounced: 2000\n})\n// viewof source = Inputs.textarea()","pinned":false,"hidden":false,"mode":"ojs"},{"id":647,"value":"||\n| --- |--- | --- |\n|Compilation status|","pinned":false,"hidden":false,"mode":"md"},{"id":274,"value":"$${\nwarnings && warnings.length >0 ? \nhtl.html`

Compiler warnings

\n \n \n ${toColumns(warnings).map(col => htl.html``)}\n \n \n \n ${toTable(warnings, source).map(row => htl.html`\n ${Object.values(row).map(cell => htl.html``)}\n `)}\n \n

${col}
${cell}

\n` : htl.html`No warnings
`}\n${\nerrors ? \nhtl.html`

Compiler errors

\n \n \n ${toColumns(errors).map(col => htl.html``)}\n \n \n \n ${toTable(errors, source).map(row => htl.html`\n ${Object.values(row).map(cell => htl.html``)}\n `)}\n \n

${col}
${cell}

\n` : htl.html`No errors`}","pinned":false,"hidden":false,"mode":"html"},{"id":684,"value":"||\n| --- |--- | --- |\n|Output `val`|","pinned":false,"hidden":false,"mode":"md"},{"id":685,"value":"module.val","pinned":true,"hidden":false,"mode":"ojs"},{"id":686,"value":"||\n| --- |--- | --- |\n|Run the `greet` function|","pinned":false,"hidden":false,"mode":"md"},{"id":687,"value":"module.greet(\"me\")","pinned":true,"hidden":false,"mode":"ojs"},{"id":566,"value":"||\n| --- |--- | --- |\n|Displaying the `render` value as html|","pinned":false,"hidden":false,"mode":"md"},{"id":504,"value":"html = unsafe_html`${module.render}`","pinned":true,"hidden":false,"mode":"ojs"},{"id":690,"value":"||\n| --- |--- | --- |\n|Run `main`, a console effect, check your devtools.|","pinned":false,"hidden":false,"mode":"md"},{"id":689,"value":"module.main()","pinned":true,"hidden":false,"mode":"ojs"},{"id":155,"value":"// mdPlus`## Todo\n\n// Reach out on the [purescript discord](https://purescript.org/chat) if you have ideas or want to help!\n\n// - [x] Add syntax highlighting (partially done using the \\`haskell\\` grammar and https://observablehq.com/@cmudig/editor).\n// - [x] Improve warnings and errors rendering\n// - [x] Added a version of the original try purescript \n// - [x] Make this notebook into a nicely importable notebook. https://observablehq.com/@jmatsushita/purescript\n// - [ ] How would multiple modules work?\n// - [ ] Display spinner while compiling`","pinned":false,"hidden":false,"mode":"ojs"},{"id":91,"value":"## Internals\n","pinned":false,"hidden":false,"mode":"md"},{"id":364,"value":"### Import the module\n","pinned":false,"hidden":false,"mode":"md"},{"id":618,"value":"ps = await Purescript(source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":621,"value":"// module = ps.module\nmodule = (await Purescript(source)).module","pinned":false,"hidden":false,"mode":"ojs"},{"id":623,"value":"errors = ps.errors","pinned":true,"hidden":false,"mode":"ojs"},{"id":635,"value":"warnings = ps.warnings","pinned":true,"hidden":false,"mode":"ojs"},{"id":571,"value":"import { Purescript } from '@jmatsushita/purescript'","pinned":true,"hidden":false,"mode":"ojs"},{"id":576,"value":"Purescript","pinned":true,"hidden":false,"mode":"ojs"},{"id":168,"value":"And there we have it. A compiled module that's accessible from the notebook 🎉","pinned":false,"hidden":false,"mode":"md"},{"id":366,"value":"### Use an embedded code editor with Haskell syntax highlighting","pinned":false,"hidden":false,"mode":"md"},{"id":192,"value":"Reuse https://observablehq.com/@cmudig/editor, an inline code editor with syntax highlighting","pinned":false,"hidden":false,"mode":"md"},{"id":176,"value":"import {Editor} from '@jmatsushita/editor'","pinned":false,"hidden":false,"mode":"ojs"},{"id":457,"value":"### Support persistence in local storage","pinned":false,"hidden":false,"mode":"md"},{"id":379,"value":"import {localStorageView} from '@tomlarkworthy/local-storage-view'","pinned":true,"hidden":false,"mode":"ojs"},{"id":462,"value":"If the local storage key doesn't exist, use this example as a default value.","pinned":false,"hidden":false,"mode":"md"},{"id":406,"value":"example = `module Main where\n\nimport Prelude\nimport Effect (Effect)\nimport Effect.Console (logShow)\n\nval :: String\nval = \"blah\"\n\ngreet :: String -> String\ngreet val = \"Hello \" <> val\n-- ^ shadowing on purpose to show compiler warnings\n\nrender :: String\nrender = \"

a list item

\"\n\nmain :: Effect Unit\nmain = do\n logShow $ \"hello from purescript\"`","pinned":false,"hidden":false,"mode":"ojs"},{"id":526,"value":"$31","pinned":false,"hidden":false,"mode":"ojs"},{"id":445,"value":"viewof source = localStorageView(\"source\", { defaultValue: example })","pinned":true,"hidden":false,"mode":"ojs"},{"id":717,"value":"// creating a fake source to subscribe from, together with a bound localStorageView didn't work.\n// Uncaught TypeError: e.closest is not a function\n// at inputs.min.js:40:1444\n// viewof source = Inputs.input()\n// viewof sourceStorage = localStorageView(\"sourceStorage\")\n// Inputs.bind(viewof source, viewof sourceStorage)\n// See reproducer here https://observablehq.com/d/f7e7508476855e8b#cell-264","pinned":true,"hidden":false,"mode":"ojs"},{"id":726,"value":"Inputs.bind(viewof editor, viewof source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":382,"value":"// Note you need to get these the right way round to have the page load work correctly\n// Inputs.bind(viewof source, viewof sourceStorage)","pinned":true,"hidden":false,"mode":"ojs"},{"id":438,"value":"// set helper\nfunction set(input, value) {\n input.value = value;\n input.dispatchEvent(new Event(\"input\", {bubbles: true}));\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":371,"value":"### Make warnings and errors readable\n\nUse a bunch of utility functions to render the warnings and errors in an html table (using the built-in `Inputs.table` didn't seem to allow multiline cells)","pinned":false,"hidden":false,"mode":"md"},{"id":195,"value":"toTable = (array, source) => array ? array.map(row => objectFilter(objectMap(row, toReadableRow(source)), hideColumns)) : []","pinned":true,"hidden":false,"mode":"ojs"},{"id":290,"value":"hideColumns = k => k !== \"allSpans\" && k !== \"moduleName\" && k !== \"filename\" && k !== \"errorLink\"","pinned":true,"hidden":false,"mode":"ojs"},{"id":205,"value":"toColumns = array => array && array[0] ? Object.keys(array[0]).filter(hideColumns) : []","pinned":true,"hidden":false,"mode":"ojs"},{"id":237,"value":"toReadableRow = source => (v,k) => {\n switch(k) {\n case \"allSpans\": \n return JSON.stringify(v)\n\n case \"position\":\n // console.log(source.split(\"\\n\"))\n // console.log(source.split(\"\\n\").slice(v.startLine - 1, v.endLine))\n return source.split(\"\\n\").slice(v.startLine - 1, v.endLine).join(\"\\n\")\n \n default:\n return v;\n }\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":221,"value":"toTable(warnings, source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":210,"value":"toColumns(warnings)","pinned":true,"hidden":false,"mode":"ojs"},{"id":200,"value":"warnings","pinned":true,"hidden":false,"mode":"ojs"},{"id":263,"value":"errors.contents","pinned":true,"hidden":false,"mode":"ojs"},{"id":285,"value":"toColumns(errors.contents)","pinned":true,"hidden":false,"mode":"ojs"},{"id":287,"value":"toTable(errors.contents, source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":231,"value":"objectMap = (obj, fn) =>\n Object.fromEntries(\n Object.entries(obj).map(\n ([k, v], i) => [k, fn(v, k, i)]\n )\n )\n ","pinned":false,"hidden":false,"mode":"ojs"},{"id":295,"value":"objectFilter = (obj, fn) => Object.fromEntries(Object.entries(obj).\n filter(([key, val]) => fn(key)));","pinned":false,"hidden":false,"mode":"ojs"},{"id":667,"value":"// import {mdPlus} from \"@tmcw/bonus-markdown-flavor\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":521,"value":"function unsafe_html() {\n const span = document.createElement(\"span\");\n span.innerHTML = String.raw.apply(this, arguments);\n return span;\n}","pinned":true,"hidden":false,"mode":"ojs"}],"files":"$W32","stdlib":"1","titling":"auto"}