| import gradio as gr | |
| import visual | |
| import gen | |
| import subprocess | |
| import sys | |
| def showpuzzle(encoding): | |
| p1 = visual.parse(encoding) | |
| return visual.fig(p1) | |
| showpuzzint = gr.Interface(fn=showpuzzle, inputs=gr.Text(label="Puzzle encoding"), outputs=gr.Plot()) | |
| def genpuzzle(width,height,is_square,shuffle,seed): | |
| if is_square: | |
| height=width | |
| p = gen.genpuzzle(width,height,seed) | |
| if seed==0: | |
| seed=gen.seed1 | |
| if not shuffle: | |
| return visual.fig(p),seed,gen.h(p),'' | |
| p_ = gen.shuf(p) | |
| p2 = visual.join(p,p_) | |
| return visual.fig(p2),seed,gen.h(p),gen.h(p_) | |
| genint = gr.Interface(fn=genpuzzle, inputs=[gr.Slider(label="Width",step=1,minimum=1,maximum=40,value=3),gr.Slider(label="Height",step=1,minimum=1,maximum=40,value=3),gr.Checkbox(label="Square",value=True),gr.Checkbox(label="Shuffle"),gr.Number(label="Seed",value=0)], outputs=[gr.Plot(label="Puzzle"),gr.Number(label="Seed"),gr.Text(label="Puzzle encoding"),gr.Text(label="Shuffled encoding")]) | |
| def shuffle(encoding,show): | |
| p = visual.parse(encoding) | |
| p_ = gen.shuf(p) | |
| if show: | |
| return visual.fig(p_),gen.h(p_) | |
| return None,gen.h(p_) | |
| shufint = gr.Interface(fn=shuffle, inputs=[gr.Text(label="Puzzle encoding"),gr.Checkbox(label="Visualise")], outputs=[gr.Plot(label="Visualisation"),gr.Text(label="Shuffled encoding")]) | |
| def sendcommand(function,args): | |
| process = subprocess.run(["ghc", "Challenges.hs", "-e", f'{function} {args}' ], check=True, capture_output=True) | |
| return process.stdout.decode(sys.stdout.encoding).strip() | |
| commandint = gr.Interface(fn=sendcommand, inputs=['text','text'], outputs='text', description="sends a function call to Challenges.hs") | |
| def runtests(): | |
| output = subprocess.run(["runghc", "../Tests.hs"],check=True,capture_output=True).stderr.decode(sys.stdout.encoding).strip() | |
| if output == "": | |
| return "All tests passed" | |
| return output | |
| testint = gr.Interface(fn=runtests, inputs=None, outputs='text', description="runs automated tests from Tests.hs") | |
| demo = gr.TabbedInterface([showpuzzint,genint,shufint,commandint,testint],["visualise","generate","shuffle","run","test"],title="comp2209 Tools") | |
| demo.launch() | |