Skip to content

Commit

Permalink
Add examples for Piet
Browse files Browse the repository at this point in the history
  • Loading branch information
kamil-adam committed Jul 24, 2023
1 parent b87f034 commit 172a6bd
Show file tree
Hide file tree
Showing 280 changed files with 482 additions and 484 deletions.
8 changes: 3 additions & 5 deletions docs/developers/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
# 📅 Revision history for HelMA

## 0.8.4.12 -- 2023-07-24
* Add examples for Piet

## 0.8.4.11 -- 2023-05-30
* Add types for Piet
* Use universeNonEmpty
Expand Down Expand Up @@ -96,12 +99,7 @@ Use optparse-applicative for CLI better
* Add `Zot` to `Main`

## 0.7.0.0 -- 2022-02-19
<<<<<<< HEAD

* Implement `Automaton` of `Zot`
=======
* Implement `Automaton` of `Zot`
>>>>>>> d97c4798 (WIP)

## 0.6.16.0 -- 2022-02-10
* Remove `MonoTraversable`
Expand Down
176 changes: 88 additions & 88 deletions docs/reports/helma-test/hpc_index.html

Large diffs are not rendered by default.

176 changes: 88 additions & 88 deletions docs/reports/helma-test/hpc_index_alt.html

Large diffs are not rendered by default.

176 changes: 88 additions & 88 deletions docs/reports/helma-test/hpc_index_exp.html

Large diffs are not rendered by default.

176 changes: 88 additions & 88 deletions docs/reports/helma-test/hpc_index_fun.html

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
@@ -1 +1 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>HelVM.HelMA.Automata.BrainFuck.Evaluator</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">helma-0.8.4.11: HELMA - Haskellish Esoteric Limited Minimal Automaton</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">HelVM.HelMA.Automata.BrainFuck.Evaluator</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:simpleEval" class="def">simpleEval</a> :: <a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m =&gt; (<a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a>, <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a>, <a href="HelVM-HelMA-Automaton-Types-CellType.html#t:CellType" title="HelVM.HelMA.Automaton.Types.CellType">CellType</a>) -&gt; m () <a href="#v:simpleEval" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:evalParams" class="def">evalParams</a> :: <a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m =&gt; <a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a> -&gt; <a href="HelVM-HelMA-Automaton-API-EvalParams.html#t:EvalParams" title="HelVM.HelMA.Automaton.API.EvalParams">EvalParams</a> -&gt; m () <a href="#v:evalParams" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:eval" class="def">eval</a> :: <a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m =&gt; <a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a> -&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; <a href="HelVM-HelMA-Automaton-Types-CellType.html#t:CellType" title="HelVM.HelMA.Automaton.Types.CellType">CellType</a> -&gt; <a href="HelVM-HelMA-Automaton-Types-DumpType.html#t:DumpType" title="HelVM.HelMA.Automaton.Types.DumpType">DumpType</a> -&gt; m () <a href="#v:eval" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:evalSource" class="def">evalSource</a> :: (<a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m, <a href="HelVM-HelMA-Automata-BrainFuck-Common-Symbol.html#t:Symbol" title="HelVM.HelMA.Automata.BrainFuck.Common.Symbol">Symbol</a> e) =&gt; <a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a> -&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; <a href="HelVM-HelMA-Automata-BrainFuck-Common-TapeOfSymbols.html#t:FullTape" title="HelVM.HelMA.Automata.BrainFuck.Common.TapeOfSymbols">FullTape</a> e -&gt; <a href="HelVM-HelMA-Automaton-Types-DumpType.html#t:DumpType" title="HelVM.HelMA.Automaton.Types.DumpType">DumpType</a> -&gt; m () <a href="#v:evalSource" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.24.2</p></div></body></html>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>HelVM.HelMA.Automata.BrainFuck.Evaluator</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">helma-0.8.4.12: HELMA - Haskellish Esoteric Limited Minimal Automaton</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">HelVM.HelMA.Automata.BrainFuck.Evaluator</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:simpleEval" class="def">simpleEval</a> :: <a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m =&gt; (<a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a>, <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a>, <a href="HelVM-HelMA-Automaton-Types-CellType.html#t:CellType" title="HelVM.HelMA.Automaton.Types.CellType">CellType</a>) -&gt; m () <a href="#v:simpleEval" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:evalParams" class="def">evalParams</a> :: <a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m =&gt; <a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a> -&gt; <a href="HelVM-HelMA-Automaton-API-EvalParams.html#t:EvalParams" title="HelVM.HelMA.Automaton.API.EvalParams">EvalParams</a> -&gt; m () <a href="#v:evalParams" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:eval" class="def">eval</a> :: <a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m =&gt; <a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a> -&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; <a href="HelVM-HelMA-Automaton-Types-CellType.html#t:CellType" title="HelVM.HelMA.Automaton.Types.CellType">CellType</a> -&gt; <a href="HelVM-HelMA-Automaton-Types-DumpType.html#t:DumpType" title="HelVM.HelMA.Automaton.Types.DumpType">DumpType</a> -&gt; m () <a href="#v:eval" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:evalSource" class="def">evalSource</a> :: (<a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m, <a href="HelVM-HelMA-Automata-BrainFuck-Common-Symbol.html#t:Symbol" title="HelVM.HelMA.Automata.BrainFuck.Common.Symbol">Symbol</a> e) =&gt; <a href="HelVM-HelMA-Automata-BrainFuck-API-BFType.html#t:BFType" title="HelVM.HelMA.Automata.BrainFuck.API.BFType">BFType</a> -&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; <a href="HelVM-HelMA-Automata-BrainFuck-Common-TapeOfSymbols.html#t:FullTape" title="HelVM.HelMA.Automata.BrainFuck.Common.TapeOfSymbols">FullTape</a> e -&gt; <a href="HelVM-HelMA-Automaton-Types-DumpType.html#t:DumpType" title="HelVM.HelMA.Automaton.Types.DumpType">DumpType</a> -&gt; m () <a href="#v:evalSource" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.24.2</p></div></body></html>
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>HelVM.HelMA.Automata.BrainFuck.Impl.Fast.Evaluator</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">helma-0.8.4.11: HELMA - Haskellish Esoteric Limited Minimal Automaton</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">HelVM.HelMA.Automata.BrainFuck.Impl.Fast.Evaluator</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:evalSource" class="def">evalSource</a> :: (<a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m, <a href="HelVM-HelMA-Automata-BrainFuck-Common-Symbol.html#t:Symbol" title="HelVM.HelMA.Automata.BrainFuck.Common.Symbol">Symbol</a> e) =&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; <a href="HelVM-HelMA-Automata-BrainFuck-Common-TapeOfSymbols.html#t:FullTape" title="HelVM.HelMA.Automata.BrainFuck.Common.TapeOfSymbols">FullTape</a> e -&gt; <a href="HelVM-HelMA-Automaton-Types-DumpType.html#t:DumpType" title="HelVM.HelMA.Automaton.Types.DumpType">DumpType</a> -&gt; m () <a href="#v:evalSource" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.24.2</p></div></body></html>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>HelVM.HelMA.Automata.BrainFuck.Impl.Fast.Evaluator</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">helma-0.8.4.12: HELMA - Haskellish Esoteric Limited Minimal Automaton</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">HelVM.HelMA.Automata.BrainFuck.Impl.Fast.Evaluator</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:evalSource" class="def">evalSource</a> :: (<a href="HelVM-HelMA-Automaton-IO-BusinessIO.html#t:BIO" title="HelVM.HelMA.Automaton.IO.BusinessIO">BIO</a> m, <a href="HelVM-HelMA-Automata-BrainFuck-Common-Symbol.html#t:Symbol" title="HelVM.HelMA.Automata.BrainFuck.Common.Symbol">Symbol</a> e) =&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; <a href="HelVM-HelMA-Automata-BrainFuck-Common-TapeOfSymbols.html#t:FullTape" title="HelVM.HelMA.Automata.BrainFuck.Common.TapeOfSymbols">FullTape</a> e -&gt; <a href="HelVM-HelMA-Automaton-Types-DumpType.html#t:DumpType" title="HelVM.HelMA.Automaton.Types.DumpType">DumpType</a> -&gt; m () <a href="#v:evalSource" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.24.2</p></div></body></html>
Loading

0 comments on commit 172a6bd

Please sign in to comment.