My personal blog Zola 1970-01-01T00:00:00+00:00 https://pranavmanoj.net/tags/tutorial/atom.xml 1970-01-01T00:00:00+00:00 1970-01-01T00:00:00+00:00 Pranav https://pranavmanoj.net/blog/megaparsec/ <h1 id="hello-world">Hello World</h1> <h2 id="random-stuff">Random stuff</h2> <p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magnam aliquam quaerat voluptatem. Ut enim aeque doleamus animo, cum corpore dolemus, fieri tamen permagna accessio potest, si aliquod aeternum et infinitum impendere malum nobis opinemur. Quod idem licet transferre in voluptatem, ut postea.</p> <p>Ullus investigandi veri, nisi inveneris, et quaerendi defatigatio turpis est, cum esset accusata et vituperata ab Hortensio. Qui liber cum et mortem contemnit, qua qui est imbutus quietus esse numquam potest. Praeterea bona praeterita grata recordatione renovata delectant. Est.</p> <p>Ullus investigandi veri, nisi inveneris, et quaerendi defatigatio turpis est, cum esset accusata et vituperata ab Hortensio. Qui liber cum et mortem contemnit, qua qui est imbutus quietus esse numquam potest. Praeterea.</p> <h2 id="code">Code</h2> <pre class="giallo" style="color: #ADBAC7; background-color: #22272E;"><code data-lang="haskell"><span class="giallo-l"><span style="color: #768390;">-- Parse a given user request and run the corresponding action</span></span> <span class="giallo-l"><span style="color: #DCBDFB;">handleRequest</span><span style="color: #F47067;"> :: String -&gt; StateT Memory</span><span> (</span><span style="color: #F47067;">InputT IO</span><span>)</span><span style="color: #6CB6FF;"> ()</span></span> <span class="giallo-l"><span>handleRequest str </span><span style="color: #F47067;">= do</span></span> <span class="giallo-l"><span style="color: #768390;"> -- Parse and update state</span></span> <span class="giallo-l"><span style="color: #F47067;"> let</span><span> parserAction </span><span style="color: #F47067;">=</span><span> runParserT parseRequest </span><span style="color: #96D0FF;">&quot;&quot;</span><span> str</span></span> <span class="giallo-l"><span> result </span><span style="color: #F47067;">&lt;-</span><span> state </span><span style="color: #F47067;">$ \</span><span>st </span><span style="color: #F47067;">-&gt;</span><span> runState parserAction st</span></span> <span class="giallo-l"></span> <span class="giallo-l"><span style="color: #768390;"> -- Allow IO actions to be interrupted with Ctrl-C</span></span> <span class="giallo-l"><span style="color: #F47067;"> let</span><span> interruptable </span><span style="color: #F47067;">=</span><span> handleInterrupt (outputStrLn </span><span style="color: #96D0FF;">&quot;</span><span style="color: #F47067;">\n</span><span style="color: #96D0FF;">Interrupted.&quot;</span><span>)</span><span style="color: #F47067;"> .</span><span> withInterrupt</span></span> <span class="giallo-l"><span style="color: #F47067;"> let</span><span> liftInterruptableIO action </span><span style="color: #F47067;">=</span><span> lift </span><span style="color: #F47067;">$</span><span> interruptable </span><span style="color: #F47067;">$</span><span> liftIO action</span></span> <span class="giallo-l"></span> <span class="giallo-l"><span> liftInterruptableIO </span><span style="color: #F47067;">$ case</span><span> result </span><span style="color: #F47067;">of</span></span> <span class="giallo-l"><span style="color: #6CB6FF;"> Left</span><span> error </span><span style="color: #F47067;">-&gt;</span><span> handleErrorBundle error</span></span> <span class="giallo-l"><span style="color: #6CB6FF;"> Right</span><span> action </span><span style="color: #F47067;">-&gt;</span><span> action</span></span></code></pre><h2 id="more-random-stuff">More random stuff</h2> <p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magnam aliquam quaerat voluptatem. Ut enim aeque doleamus animo, cum corpore dolemus, fieri tamen permagna accessio potest, si aliquod aeternum et infinitum impendere malum nobis opinemur. Quod idem licet transferre in voluptatem, ut postea.</p> <p>Ullus investigandi veri, nisi inveneris, et quaerendi defatigatio turpis est, cum esset accusata et vituperata ab Hortensio. Qui liber cum et mortem contemnit, qua qui est imbutus quietus esse numquam potest. Praeterea bona praeterita grata recordatione renovata delectant. Est.</p> <p>Ullus investigandi veri, nisi inveneris, et quaerendi defatigatio turpis est, cum esset accusata et vituperata ab Hortensio. Qui liber cum et mortem contemnit, qua qui est imbutus quietus esse numquam potest. Praeterea<sup class="footnote-reference" id="fr-1-1"><a href="#fn-1">1</a></sup>.</p> <h1 id="thing">Thing</h1> <ul> <li> <p><input disabled="" type="checkbox"/> Check</p> </li> <li> <p><input disabled="" type="checkbox"/> List</p> </li> <li> <p>Unordered</p> </li> <li> <p>List</p> </li> </ul> <ol> <li>Ordered</li> <li>List</li> </ol> <blockquote class="markdown-alert-note"> <p>hi</p> </blockquote> <h2 id="more-stuff">More stuff</h2> <p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magnam aliquam quaerat voluptatem. Ut enim aeque doleamus animo, cum corpore dolemus, fieri tamen permagna accessio potest, si aliquod aeternum et infinitum impendere malum nobis opinemur. Quod idem licet transferre in voluptatem, ut postea.</p> <p>Ullus investigandi veri, nisi inveneris, et quaerendi defatigatio turpis est, cum esset accusata et vituperata ab Hortensio. Qui liber cum et mortem contemnit, qua qui est imbutus quietus esse numquam potest. Praeterea bona praeterita grata recordatione renovata delectant. Est.</p> <p>Ullus investigandi veri, nisi inveneris, et quaerendi defatigatio turpis est, cum esset accusata et vituperata ab Hortensio. Qui liber cum et mortem contemnit, qua qui est imbutus quietus esse numquam potest. Praeterea.</p> <p>“Quote test”</p> <section class="footnotes"> <ol class="footnotes-list"> <li id="fn-1"> <p>Citation. <a href="#fr-1-1">↩</a></p> </li> </ol> </section>