ZipperAG-0.7: An implementationg of Attribute Grammars using Functional Zippers

Safe Haskell	None

Language.Grammars.ZipperAG.Examples.LET.Let_Circular_Flatening

Documentation

data VarList Source

Constructors

VarList String VarList
NoVar

pointFree :: Zipper a -> (Zipper a -> Bool) -> (Zipper a -> b) -> (Zipper a -> Zipper a) -> bSource

solve :: Zipper RootA -> Zipper RootA Source

isSolved :: Zipper RootA -> Bool Source

isSolvable :: Zipper RootA -> Bool Source

flatAG :: Zipper RootA -> RootA Source

flatLetAG :: Zipper RootA -> LetA Source

flatListAG :: Zipper RootA -> ListA Source

isConstant :: Zipper RootA -> Bool Source

calculate :: Zipper RootA -> Int Source

getVarValue :: String -> Zipper RootA -> Int Source

auxGetVarValue :: String -> Zipper RootA -> Int Source

oneUpGetVarValue :: String -> Zipper RootA -> Int Source

isVarSolved :: String -> Zipper RootA -> Bool Source

auxIsVarSolved :: String -> Zipper RootA -> Bool Source

oneUpIsVarSolved :: String -> Zipper RootA -> Bool Source

flatten_Let :: Data a => a -> Zipper RootA Source