Add types for Piet

helvm · May 30, 2023 · 9fd7a3d · 9fd7a3d
1 parent f2c58f3
commit 9fd7a3d
Show file tree

Hide file tree

Showing 246 changed files with 889 additions and 873 deletions.
diff --git a/docs/developers/CHANGELOG.md b/docs/developers/CHANGELOG.md
@@ -1,5 +1,9 @@
 # 📅 Revision history for HelMA
 
+## 0.8.4.11 -- 2023-05-30
+* Add types for Piet
+* Use universeNonEmpty
+
 ## 0.8.4.10 -- 2023-05-01
 * Remove Loop
 

diff --git a/...ports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automata.BrainFuck.API.BFType.hs.html b/...ports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automata.BrainFuck.API.BFType.hs.html
diff --git a/docs/reports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automaton.Loop.hs.html b/docs/reports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automaton.Loop.hs.html
diff --git a/docs/reports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automaton.Types.RAMType.hs.html b/docs/reports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automaton.Types.RAMType.hs.html
diff --git a/docs/reports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automaton.Types.StackType.hs.html b/docs/reports/helma-test/helma-0.8.4.10-inplace/HelVM.HelMA.Automaton.Types.StackType.hs.html
diff --git a/...ports/helma-test/helma-0.8.4.11-inplace/HelVM.HelMA.Automata.BrainFuck.API.BFType.hs.html b/...ports/helma-test/helma-0.8.4.11-inplace/HelVM.HelMA.Automata.BrainFuck.API.BFType.hs.html
@@ -0,0 +1,35 @@
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<style type="text/css">
+span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
+span.nottickedoff { background: yellow}
+span.istickedoff { background: white }
+span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
+span.tickonlytrue  { margin: -1px; border: 1px solid #60de51; background: #60de51 }
+span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
+span.decl { font-weight: bold }
+span.spaces    { background: white }
+</style>
+</head>
+<body>
+<pre>
+<span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
+</pre>
+<pre>
+<span class="lineno">    1 </span>module HelVM.HelMA.Automata.BrainFuck.API.BFType where
+<span class="lineno">    2 </span>
+<span class="lineno">    3 </span>-- | Constructors
+<span class="lineno">    4 </span>defaultBFType :: BFType
+<span class="lineno">    5 </span><span class="decl"><span class="istickedoff">defaultBFType = minBound</span></span>
+<span class="lineno">    6 </span>
+<span class="lineno">    7 </span>bfTypes :: NonEmpty BFType
+<span class="lineno">    8 </span><span class="decl"><span class="nottickedoff">bfTypes = universeNonEmpty</span></span>
+<span class="lineno">    9 </span>
+<span class="lineno">   10 </span>-- | Type
+<span class="lineno">   11 </span>data BFType = FastType | TreeType | FlatType
+<span class="lineno">   12 </span>  deriving stock (<span class="decl"><span class="istickedoff"><span class="decl"><span class="nottickedoff">Bounded</span></span></span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Enum</span></span></span></span></span></span></span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span> , <span class="decl"><span class="istickedoff">Show</span></span>)
+
+</pre>
+</body>
+</html>
diff --git a/...rainFuck.Common.SimpleInstruction.hs.html → ...rainFuck.Common.SimpleInstruction.hs.html b/...rainFuck.Common.SimpleInstruction.hs.html → ...rainFuck.Common.SimpleInstruction.hs.html
diff --git a/....Automata.BrainFuck.Common.Symbol.hs.html → ....Automata.BrainFuck.Common.Symbol.hs.html b/....Automata.BrainFuck.Common.Symbol.hs.html → ....Automata.BrainFuck.Common.Symbol.hs.html
diff --git a/...ta.BrainFuck.Common.TapeOfSymbols.hs.html → ...ta.BrainFuck.Common.TapeOfSymbols.hs.html b/...ta.BrainFuck.Common.TapeOfSymbols.hs.html → ...ta.BrainFuck.Common.TapeOfSymbols.hs.html
diff --git a/...elMA.Automata.BrainFuck.Evaluator.hs.html → ...elMA.Automata.BrainFuck.Evaluator.hs.html b/...elMA.Automata.BrainFuck.Evaluator.hs.html → ...elMA.Automata.BrainFuck.Evaluator.hs.html
diff --git a/...ata.BrainFuck.Impl.Fast.Evaluator.hs.html → ...ata.BrainFuck.Impl.Fast.Evaluator.hs.html b/...ata.BrainFuck.Impl.Fast.Evaluator.hs.html → ...ata.BrainFuck.Impl.Fast.Evaluator.hs.html
diff --git a/...a.BrainFuck.Impl.Fast.Instruction.hs.html → ...a.BrainFuck.Impl.Fast.Instruction.hs.html b/...a.BrainFuck.Impl.Fast.Instruction.hs.html → ...a.BrainFuck.Impl.Fast.Instruction.hs.html
diff --git a/...ata.BrainFuck.Impl.Fast.Optimizer.hs.html → ...ata.BrainFuck.Impl.Fast.Optimizer.hs.html b/...ata.BrainFuck.Impl.Fast.Optimizer.hs.html → ...ata.BrainFuck.Impl.Fast.Optimizer.hs.html
diff --git a/...tomata.BrainFuck.Impl.Fast.Parser.hs.html → ...tomata.BrainFuck.Impl.Fast.Parser.hs.html b/...tomata.BrainFuck.Impl.Fast.Parser.hs.html → ...tomata.BrainFuck.Impl.Fast.Parser.hs.html
diff --git a/...ata.BrainFuck.Impl.Flat.Evaluator.hs.html → ...ata.BrainFuck.Impl.Flat.Evaluator.hs.html b/...ata.BrainFuck.Impl.Flat.Evaluator.hs.html → ...ata.BrainFuck.Impl.Flat.Evaluator.hs.html
diff --git a/...a.BrainFuck.Impl.Flat.Instruction.hs.html → ...a.BrainFuck.Impl.Flat.Instruction.hs.html b/...a.BrainFuck.Impl.Flat.Instruction.hs.html → ...a.BrainFuck.Impl.Flat.Instruction.hs.html
diff --git a/...tomata.BrainFuck.Impl.Flat.Parser.hs.html → ...tomata.BrainFuck.Impl.Flat.Parser.hs.html b/...tomata.BrainFuck.Impl.Flat.Parser.hs.html → ...tomata.BrainFuck.Impl.Flat.Parser.hs.html
diff --git a/...uck.Impl.Flat.TableOfInstructions.hs.html → ...uck.Impl.Flat.TableOfInstructions.hs.html b/...uck.Impl.Flat.TableOfInstructions.hs.html → ...uck.Impl.Flat.TableOfInstructions.hs.html
diff --git a/...ata.BrainFuck.Impl.Tree.Evaluator.hs.html → ...ata.BrainFuck.Impl.Tree.Evaluator.hs.html b/...ata.BrainFuck.Impl.Tree.Evaluator.hs.html → ...ata.BrainFuck.Impl.Tree.Evaluator.hs.html
diff --git a/...a.BrainFuck.Impl.Tree.Instruction.hs.html → ...a.BrainFuck.Impl.Tree.Instruction.hs.html b/...a.BrainFuck.Impl.Tree.Instruction.hs.html → ...a.BrainFuck.Impl.Tree.Instruction.hs.html
diff --git a/...tomata.BrainFuck.Impl.Tree.Parser.hs.html → ...tomata.BrainFuck.Impl.Tree.Parser.hs.html b/...tomata.BrainFuck.Impl.Tree.Parser.hs.html → ...tomata.BrainFuck.Impl.Tree.Parser.hs.html
diff --git a/...elVM.HelMA.Automata.Cat.Evaluator.hs.html → ...elVM.HelMA.Automata.Cat.Evaluator.hs.html b/...elVM.HelMA.Automata.Cat.Evaluator.hs.html → ...elVM.HelMA.Automata.Cat.Evaluator.hs.html
diff --git a/...elMA.Automata.ETA.API.ETAImplType.hs.html → ...elMA.Automata.ETA.API.ETAImplType.hs.html b/...elMA.Automata.ETA.API.ETAImplType.hs.html → ...elMA.Automata.ETA.API.ETAImplType.hs.html
@@ -19,18 +19,16 @@
 <pre>
 <span class="lineno">    1 </span>module HelVM.HelMA.Automata.ETA.API.ETAImplType where
 <span class="lineno">    2 </span>
-<span class="lineno">    3 </span>import           HelVM.HelIO.SwitchEnum
-<span class="lineno">    4 </span>
-<span class="lineno">    5 </span>-- | Constructors
-<span class="lineno">    6 </span>defaultETAImplType :: ETAImplType
-<span class="lineno">    7 </span><span class="decl"><span class="istickedoff">defaultETAImplType = defaultEnum</span></span>
-<span class="lineno">    8 </span>
-<span class="lineno">    9 </span>etaImplTypes:: [ETAImplType]
-<span class="lineno">   10 </span><span class="decl"><span class="istickedoff">etaImplTypes = generateEnums 2</span></span>
-<span class="lineno">   11 </span>
-<span class="lineno">   12 </span>-- | Type
-<span class="lineno">   13 </span>data ETAImplType = Fast | Original
-<span class="lineno">   14 </span>  deriving stock (<span class="decl"><span class="istickedoff"><span class="decl"><span class="istickedoff">Bounded</span></span></span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="istickedoff"><span class="decl"><span class="istickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Enum</span></span></span></span></span></span></span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span> , <span class="decl"><span class="istickedoff">Show</span></span>)
+<span class="lineno">    3 </span>-- | Constructors
+<span class="lineno">    4 </span>defaultETAImplType :: ETAImplType
+<span class="lineno">    5 </span><span class="decl"><span class="istickedoff">defaultETAImplType = minBound</span></span>
+<span class="lineno">    6 </span>
+<span class="lineno">    7 </span>etaImplTypes:: NonEmpty ETAImplType
+<span class="lineno">    8 </span><span class="decl"><span class="istickedoff">etaImplTypes = universeNonEmpty</span></span>
+<span class="lineno">    9 </span>
+<span class="lineno">   10 </span>-- | Type
+<span class="lineno">   11 </span>data ETAImplType = Fast | Original
+<span class="lineno">   12 </span>  deriving stock (<span class="decl"><span class="istickedoff"><span class="decl"><span class="istickedoff">Bounded</span></span></span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="istickedoff"><span class="decl"><span class="istickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Enum</span></span></span></span></span></span></span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span> , <span class="decl"><span class="istickedoff">Show</span></span>)
 
 </pre>
 </body>

diff --git a/...lVM.HelMA.Automata.ETA.Addressing.hs.html → ...lVM.HelMA.Automata.ETA.Addressing.hs.html b/...lVM.HelMA.Automata.ETA.Addressing.hs.html → ...lVM.HelMA.Automata.ETA.Addressing.hs.html
diff --git a/...elVM.HelMA.Automata.ETA.Automaton.hs.html → ...elVM.HelMA.Automata.ETA.Automaton.hs.html b/...elVM.HelMA.Automata.ETA.Automaton.hs.html → ...elVM.HelMA.Automata.ETA.Automaton.hs.html
diff --git a/...elVM.HelMA.Automata.ETA.Evaluator.hs.html → ...elVM.HelMA.Automata.ETA.Evaluator.hs.html b/...elVM.HelMA.Automata.ETA.Evaluator.hs.html → ...elVM.HelMA.Automata.ETA.Evaluator.hs.html
diff --git a/...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html b/...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html
diff --git a/...HelMA.Automata.ETA.OperandParsers.hs.html → ...HelMA.Automata.ETA.OperandParsers.hs.html b/...HelMA.Automata.ETA.OperandParsers.hs.html → ...HelMA.Automata.ETA.OperandParsers.hs.html
diff --git a/...elVM.HelMA.Automata.ETA.Optimizer.hs.html → ...elVM.HelMA.Automata.ETA.Optimizer.hs.html b/...elVM.HelMA.Automata.ETA.Optimizer.hs.html → ...elVM.HelMA.Automata.ETA.Optimizer.hs.html
diff --git a/...e/HelVM.HelMA.Automata.ETA.Parser.hs.html → ...e/HelVM.HelMA.Automata.ETA.Parser.hs.html b/...e/HelVM.HelMA.Automata.ETA.Parser.hs.html → ...e/HelVM.HelMA.Automata.ETA.Parser.hs.html
diff --git a/...M.HelMA.Automata.ETA.SimpleParams.hs.html → ...M.HelMA.Automata.ETA.SimpleParams.hs.html b/...M.HelMA.Automata.ETA.SimpleParams.hs.html → ...M.HelMA.Automata.ETA.SimpleParams.hs.html
diff --git a/...ce/HelVM.HelMA.Automata.ETA.Token.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Token.hs.html b/...ce/HelVM.HelMA.Automata.ETA.Token.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Token.hs.html
diff --git a/...M.HelMA.Automata.FALSE.Expression.hs.html → ...M.HelMA.Automata.FALSE.Expression.hs.html b/...M.HelMA.Automata.FALSE.Expression.hs.html → ...M.HelMA.Automata.FALSE.Expression.hs.html
diff --git a/...HelVM.HelMA.Automata.FALSE.Parser.hs.html → ...HelVM.HelMA.Automata.FALSE.Parser.hs.html b/...HelVM.HelMA.Automata.FALSE.Parser.hs.html → ...HelVM.HelMA.Automata.FALSE.Parser.hs.html
diff --git a/...VM.HelMA.Automata.LazyK.Automaton.hs.html → ...VM.HelMA.Automata.LazyK.Automaton.hs.html b/...VM.HelMA.Automata.LazyK.Automaton.hs.html → ...VM.HelMA.Automata.LazyK.Automaton.hs.html
diff --git a/...VM.HelMA.Automata.LazyK.Constants.hs.html → ...VM.HelMA.Automata.LazyK.Constants.hs.html b/...VM.HelMA.Automata.LazyK.Constants.hs.html → ...VM.HelMA.Automata.LazyK.Constants.hs.html
diff --git a/...VM.HelMA.Automata.LazyK.Evaluator.hs.html → ...VM.HelMA.Automata.LazyK.Evaluator.hs.html b/...VM.HelMA.Automata.LazyK.Evaluator.hs.html → ...VM.HelMA.Automata.LazyK.Evaluator.hs.html
diff --git a/...HelMA.Automata.LazyK.InputEncoder.hs.html → ...HelMA.Automata.LazyK.InputEncoder.hs.html b/...HelMA.Automata.LazyK.InputEncoder.hs.html → ...HelMA.Automata.LazyK.InputEncoder.hs.html
diff --git a/...HelVM.HelMA.Automata.LazyK.Lambda.hs.html → ...HelVM.HelMA.Automata.LazyK.Lambda.hs.html b/...HelVM.HelMA.Automata.LazyK.Lambda.hs.html → ...HelVM.HelMA.Automata.LazyK.Lambda.hs.html
diff --git a/.../HelVM.HelMA.Automata.LazyK.Lexer.hs.html → .../HelVM.HelMA.Automata.LazyK.Lexer.hs.html b/.../HelVM.HelMA.Automata.LazyK.Lexer.hs.html → .../HelVM.HelMA.Automata.LazyK.Lexer.hs.html
diff --git a/...HelVM.HelMA.Automata.LazyK.Parser.hs.html → ...HelVM.HelMA.Automata.LazyK.Parser.hs.html b/...HelVM.HelMA.Automata.LazyK.Parser.hs.html → ...HelVM.HelMA.Automata.LazyK.Parser.hs.html
diff --git a/...elVM.HelMA.Automata.LazyK.Reducer.hs.html → ...elVM.HelMA.Automata.LazyK.Reducer.hs.html b/...elVM.HelMA.Automata.LazyK.Reducer.hs.html → ...elVM.HelMA.Automata.LazyK.Reducer.hs.html
diff --git a/...elVM.HelMA.Automata.Rev.Evaluator.hs.html → ...elVM.HelMA.Automata.Rev.Evaluator.hs.html b/...elVM.HelMA.Automata.Rev.Evaluator.hs.html → ...elVM.HelMA.Automata.Rev.Evaluator.hs.html
diff --git a/...M.HelMA.Automata.SubLeq.Automaton.hs.html → ...M.HelMA.Automata.SubLeq.Automaton.hs.html b/...M.HelMA.Automata.SubLeq.Automaton.hs.html → ...M.HelMA.Automata.SubLeq.Automaton.hs.html
diff --git a/...M.HelMA.Automata.SubLeq.Evaluator.hs.html → ...M.HelMA.Automata.SubLeq.Evaluator.hs.html b/...M.HelMA.Automata.SubLeq.Evaluator.hs.html → ...M.HelMA.Automata.SubLeq.Evaluator.hs.html
diff --git a/...HelVM.HelMA.Automata.SubLeq.Lexer.hs.html → ...HelVM.HelMA.Automata.SubLeq.Lexer.hs.html b/...HelVM.HelMA.Automata.SubLeq.Lexer.hs.html → ...HelVM.HelMA.Automata.SubLeq.Lexer.hs.html
diff --git a/...lMA.Automata.WhiteSpace.Evaluator.hs.html → ...lMA.Automata.WhiteSpace.Evaluator.hs.html b/...lMA.Automata.WhiteSpace.Evaluator.hs.html → ...lMA.Automata.WhiteSpace.Evaluator.hs.html
diff --git a/...M.HelMA.Automata.WhiteSpace.Lexer.hs.html → ...M.HelMA.Automata.WhiteSpace.Lexer.hs.html b/...M.HelMA.Automata.WhiteSpace.Lexer.hs.html → ...M.HelMA.Automata.WhiteSpace.Lexer.hs.html
diff --git a/...utomata.WhiteSpace.OperandParsers.hs.html → ...utomata.WhiteSpace.OperandParsers.hs.html b/...utomata.WhiteSpace.OperandParsers.hs.html → ...utomata.WhiteSpace.OperandParsers.hs.html
diff --git a/....HelMA.Automata.WhiteSpace.Parser.hs.html → ....HelMA.Automata.WhiteSpace.Parser.hs.html b/....HelMA.Automata.WhiteSpace.Parser.hs.html → ....HelMA.Automata.WhiteSpace.Parser.hs.html
diff --git a/....Automata.WhiteSpace.SimpleParams.hs.html → ....Automata.WhiteSpace.SimpleParams.hs.html b/....Automata.WhiteSpace.SimpleParams.hs.html → ....Automata.WhiteSpace.SimpleParams.hs.html
diff --git a/...M.HelMA.Automata.WhiteSpace.Token.hs.html → ...M.HelMA.Automata.WhiteSpace.Token.hs.html b/...M.HelMA.Automata.WhiteSpace.Token.hs.html → ...M.HelMA.Automata.WhiteSpace.Token.hs.html
diff --git a/...elVM.HelMA.Automata.Zot.Automaton.hs.html → ...elVM.HelMA.Automata.Zot.Automaton.hs.html b/...elVM.HelMA.Automata.Zot.Automaton.hs.html → ...elVM.HelMA.Automata.Zot.Automaton.hs.html
diff --git a/...elVM.HelMA.Automata.Zot.Evaluator.hs.html → ...elVM.HelMA.Automata.Zot.Evaluator.hs.html b/...elVM.HelMA.Automata.Zot.Evaluator.hs.html → ...elVM.HelMA.Automata.Zot.Evaluator.hs.html
diff --git a/...lVM.HelMA.Automata.Zot.Expression.hs.html → ...lVM.HelMA.Automata.Zot.Expression.hs.html b/...lVM.HelMA.Automata.Zot.Expression.hs.html → ...lVM.HelMA.Automata.Zot.Expression.hs.html
diff --git a/...e/HelVM.HelMA.Automata.Zot.Parser.hs.html → ...e/HelVM.HelMA.Automata.Zot.Parser.hs.html b/...e/HelVM.HelMA.Automata.Zot.Parser.hs.html → ...e/HelVM.HelMA.Automata.Zot.Parser.hs.html
diff --git a/...M.HelMA.Automaton.API.AutoOptions.hs.html → ...M.HelMA.Automaton.API.AutoOptions.hs.html b/...M.HelMA.Automaton.API.AutoOptions.hs.html → ...M.HelMA.Automaton.API.AutoOptions.hs.html
diff --git a/...MA.Automaton.API.AutomatonOptions.hs.html → ...MA.Automaton.API.AutomatonOptions.hs.html b/...MA.Automaton.API.AutomatonOptions.hs.html → ...MA.Automaton.API.AutomatonOptions.hs.html
diff --git a/...VM.HelMA.Automaton.API.EvalParams.hs.html → ...VM.HelMA.Automaton.API.EvalParams.hs.html b/...VM.HelMA.Automaton.API.EvalParams.hs.html → ...VM.HelMA.Automaton.API.EvalParams.hs.html
diff --git a/...HelMA.Automaton.API.MemoryOptions.hs.html → ...HelMA.Automaton.API.MemoryOptions.hs.html b/...HelMA.Automaton.API.MemoryOptions.hs.html → ...HelMA.Automaton.API.MemoryOptions.hs.html