Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

pretty print

Browse source
This commit is contained in:
Seungheon Oh 2022-05-25 14:52:33 -05:00
parent 34caeab332
commit 12cec802a0
4 changed files with 34 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora-spec/Spec/Specification.hs
View file

@ -101,13 +101,13 @@ getSpecification :: String -> SpecificationTree -> [Specification]
getSpecification name (Terminal spec@(Specification sn _ _))
| name == sn = [spec]
| otherwise = []
getSpecification name (Group _ st) = mconcat $ (getSpecification name) <$> st
getSpecification name (Group _ st) = mconcat $ getSpecification name <$> st
-- | Query specific @SpecificationTree@ from a tree.
getSpecificationTree :: String -> SpecificationTree -> [SpecificationTree]
getSpecificationTree name specTree@(Group gn st)
| gn == name = [specTree]
| otherwise = mconcat $ (getSpecificationTree name) <$> st
| otherwise = mconcat $ getSpecificationTree name <$> st
getSpecificationTree _ _ = []
-- | Convert @SpecificationTree@ into @TestTree@ to be used as a unit test.