Skip to content

Commit 052028c

Browse files
committed
Refactor HelMA
1 parent e7ae391 commit 052028c

21 files changed

Lines changed: 82 additions & 12 deletions
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +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</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:run" class="def">run</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</a> m =&gt; <a href="HelVM-HelMA-Automaton-API-Emit.html#t:Emit" title="HelVM.HelMA.Automaton.API.Emit">Emit</a> -&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:run" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:simpleEval" class="def">simpleEval</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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.32.0</p></div></body></html>
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</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:runWithOptions" class="def">runWithOptions</a> :: <a href="HelVM-HelMA-Automaton-API-Env.html#t:Has" title="HelVM.HelMA.Automaton.API.Env">Has</a> env =&gt; <a href="HelVM-HelMA-Automaton-API-AppOptions.html#t:AppOptions" title="HelVM.HelMA.Automaton.API.AppOptions">AppOptions</a> -&gt; <a href="file:///Users/test/.local/state/cabal/store/ghc-9.12.3-inplace/r-0.1.25.0-e74d6f32/share/doc/html/RIO.html#t:RIO" title="RIO">RIO</a> env () <a href="#v:runWithOptions" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:run" class="def">run</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</a> m =&gt; <a href="HelVM-HelMA-Automaton-API-Emit.html#t:Emit" title="HelVM.HelMA.Automaton.API.Emit">Emit</a> -&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:run" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:simpleEval" class="def">simpleEval</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</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.32.0</p></div></body></html>
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +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.Cat.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</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.Cat.Evaluator</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:run" class="def">run</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</a> m =&gt; <a href="HelVM-HelMA-Automaton-API-Emit.html#t:Emit" title="HelVM.HelMA.Automaton.API.Emit">Emit</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:run" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:evalParams" class="def">evalParams</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</a> m =&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-Eff-MonadEff.html#t:MonadEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">MonadEff</a> m =&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; m () <a href="#v:eval" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.32.0</p></div></body></html>
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.Cat.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</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.Cat.Evaluator</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:runWithOptions" class="def">runWithOptions</a> :: <a href="HelVM-HelMA-Automaton-API-Env.html#t:Has" title="HelVM.HelMA.Automaton.API.Env">Has</a> env =&gt; <a href="HelVM-HelMA-Automaton-API-AppOptions.html#t:AppOptions" title="HelVM.HelMA.Automaton.API.AppOptions">AppOptions</a> -&gt; <a href="file:///Users/test/.local/state/cabal/store/ghc-9.12.3-inplace/r-0.1.25.0-e74d6f32/share/doc/html/RIO.html#t:RIO" title="RIO">RIO</a> env () <a href="#v:runWithOptions" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:run" class="def">run</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</a> m =&gt; <a href="HelVM-HelMA-Automaton-API-Emit.html#t:Emit" title="HelVM.HelMA.Automaton.API.Emit">Emit</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:run" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:evalParams" class="def">evalParams</a> :: <a href="HelVM-HelMA-Automaton-Eff-MonadEff.html#t:AppEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">AppEff</a> m =&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-Eff-MonadEff.html#t:MonadEff" title="HelVM.HelMA.Automaton.Eff.MonadEff">MonadEff</a> m =&gt; <a href="HelVM-HelMA-Automaton-API-IOTypes.html#t:Source" title="HelVM.HelMA.Automaton.API.IOTypes">Source</a> -&gt; m () <a href="#v:eval" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.32.0</p></div></body></html>

0 commit comments

Comments
 (0)