From 07b830672b1e3cd50a56103ee3ecee76da711f6f Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Thu, 5 Dec 2024 06:06:16 -0500 Subject: [PATCH] style: decrease indentation on `TTImp` quote --- src/Data/Problem.idr | 24 +++++++++++++----------- 1 file changed, 13 insertions(+), 11 deletions(-) diff --git a/src/Data/Problem.idr b/src/Data/Problem.idr index 3f5300d..447e986 100644 --- a/src/Data/Problem.idr +++ b/src/Data/Problem.idr @@ -82,22 +82,24 @@ public export fetchSolution : Problem -> Elab (String -> String) fetchSolution pr = do let name = solutionName pr - check `(\s => show (~(IVar EmptyFC name) s)) + check `(\s => Prelude.show (~(IVar EmptyFC name) s)) <|> fail "\{show name} does not exist as a valid solution" public export fetchAllSols : (latest : Problem) -> Elab (SortedMap Problem (String -> String)) fetchAllSols pr = let prs = allProblems pr - list = foldr (\pr,tt => `(Prelude.(::) - (Builtin.MkPair - (Data.Problem.Pr - (Prelude.fromInteger - ~(IPrimVal EmptyFC $ BI $ natToInteger pr.day)) - ~(case pr.part of - Part1 => `(Data.Problem.Part1) - Part2 => `(Data.Problem.Part2))) - (\s => show (~(IVar EmptyFC $ solutionName pr) s))) - ~(tt))) `(Prelude.Nil) prs + list = foldr + (\pr,tt => + `(Prelude.(::) + (Builtin.MkPair + (Data.Problem.Pr + (Prelude.fromInteger + ~(IPrimVal EmptyFC $ BI $ natToInteger pr.day)) + ~(case pr.part of + Part1 => `(Data.Problem.Part1) + Part2 => `(Data.Problem.Part2))) + (\s => Prelude.show (~(IVar EmptyFC $ solutionName pr) s))) + ~(tt))) `(Prelude.Nil) prs ttimp = `(Data.SortedMap.fromList ~(list)) in check ttimp