Add LargestSeriesProduct Matrix Generator

Author: keiravillekode

exercises/practice/largest-series-product/LargestSeriesProductTest.lean

@@ -4,7 +4,7 @@ import LargestSeriesProduct
 open LeanTest
 
 def largestSeriesProductTests : TestSuite :=
-  (TestSuite.empty "largestSeriesProduct")
+  (TestSuite.empty "LargestSeriesProduct")
   |>.addTest "finds the largest product if span equals length" (do
       return assertEqual (some 18) (LargestSeriesProduct.largestProduct 2 "29"))
   |>.addTest "can find the largest product of 2 with numbers in order" (do

generators/Generator/Generator.lean

@@ -35,6 +35,8 @@ import Generator.RnaTranscriptionGenerator
 import Generator.RunLengthEncodingGenerator
 import Generator.TransposeGenerator
 import Generator.GameOfLifeGenerator
+import Generator.LargestSeriesProductGenerator
+import Generator.MatrixGenerator
 import Generator.WordyGenerator
 import Generator.ParallelLetterFrequencyGenerator
 import Generator.ComplexNumbersGenerator
@@ -120,6 +122,8 @@ def dispatch : Std.HashMap String (introGenerator × testCaseGenerator × endBod
     ("RunLengthEncoding", (RunLengthEncodingGenerator.genIntro, RunLengthEncodingGenerator.genTestCase, RunLengthEncodingGenerator.genEnd)),
     ("Transpose", (TransposeGenerator.genIntro, TransposeGenerator.genTestCase, TransposeGenerator.genEnd)),
     ("GameOfLife", (GameOfLifeGenerator.genIntro, GameOfLifeGenerator.genTestCase, GameOfLifeGenerator.genEnd)),
+    ("LargestSeriesProduct", (LargestSeriesProductGenerator.genIntro, LargestSeriesProductGenerator.genTestCase, LargestSeriesProductGenerator.genEnd)),
+    ("Matrix", (MatrixGenerator.genIntro, MatrixGenerator.genTestCase, MatrixGenerator.genEnd)),
     ("Wordy", (WordyGenerator.genIntro, WordyGenerator.genTestCase, WordyGenerator.genEnd)),
     ("ParallelLetterFrequency", (ParallelLetterFrequencyGenerator.genIntro, ParallelLetterFrequencyGenerator.genTestCase, ParallelLetterFrequencyGenerator.genEnd)),
     ("ComplexNumbers", (ComplexNumbersGenerator.genIntro, ComplexNumbersGenerator.genTestCase, ComplexNumbersGenerator.genEnd)),

generators/Generator/Generator/LargestSeriesProductGenerator.lean

@@ -0,0 +1,39 @@
+import Lean.Data.Json
+import Std
+import Helper
+
+open Lean
+open Std
+open Helper
+
+namespace LargestSeriesProductGenerator
+
+def genIntro (exercise : String) : String := s!"import LeanTest
+import {exercise}
+
+open LeanTest
+
+def {exercise.decapitalize}Tests : TestSuite :=
+  (TestSuite.empty \"{exercise}\")"
+
+def genTestCase (exercise : String) (case : TreeMap.Raw String Json) : String :=
+  let input := case.get! "input"
+  let digits := input.getObjValD "digits"
+  let span := input.getObjValD "span"
+  let expected := case.get! "expected"
+  let description := case.get! "description"
+              |> (·.compress)
+  let funName := getFunName (case.get! "property")
+  let call := s!"({exercise}.{funName} {span} {digits})"
+  s!"
+  |>.addTest {description} (do
+      return assertEqual {errorToOption expected} {call})"
+
+def genEnd (exercise : String) : String :=
+  s!"
+
+def main : IO UInt32 := do
+  runTestSuitesWithExitCode [{exercise.decapitalize}Tests]
+"
+
+end LargestSeriesProductGenerator

generators/Generator/Generator/MatrixGenerator.lean

@@ -0,0 +1,39 @@
+import Lean.Data.Json
+import Std
+import Helper
+
+open Lean
+open Std
+open Helper
+
+namespace MatrixGenerator
+
+def genIntro (exercise : String) : String := s!"import LeanTest
+import {exercise}
+
+open LeanTest
+
+def {exercise.decapitalize}Tests : TestSuite :=
+  (TestSuite.empty \"{exercise}\")"
+
+def genTestCase (exercise : String) (case : TreeMap.Raw String Json) : String :=
+  let input := case.get! "input"
+  let string := input.getObjValD "string"
+  let index := input.getObjValD "index"
+  let expected := case.get! "expected"
+  let description := case.get! "description"
+              |> (·.compress)
+  let funName := getFunName (case.get! "property")
+  let call := s!"({exercise}.{funName} {string} {index})"
+  s!"
+  |>.addTest {description} (do
+      return assertEqual {expected} {call})"
+
+def genEnd (exercise : String) : String :=
+  s!"
+
+def main : IO UInt32 := do
+  runTestSuitesWithExitCode [{exercise.decapitalize}Tests]
+"
+
+end MatrixGenerator