parser.hs

data Tree = Tree [Tree] | Node Char deriving Show


a :: String -> (Tree, String)
a xs = (Tree ns, rem)
    where
      (ns, rem) = b xs

-- OMG WHUT HAPPENED HERE
(.:.) :: Tree -> ([Tree], String) -> ([Tree], String)
t .:. (ts,s) = (t:ts, s)
(.|.) :: (Tree, String) -> (String -> ([Tree], String)) -> ([Tree], String)
(t,s) .|. f = t .:. f s
           

b :: String -> ([Tree], String)
b [] = ([], "")
b xxs@(x:xs) | x == '(' = a xs .|. b --undefined --t .:. (a xs)
         | x == ')' = ([], xs)
         | otherwise =  Node x .:. (b xs)



test = b "df(fg)(f)dffdf()" --this at least works