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

Safe HaskellNone

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 RootASource

isSolved :: Zipper RootA -> BoolSource

isSolvable :: Zipper RootA -> BoolSource

flatAG :: Zipper RootA -> RootASource

flatLetAG :: Zipper RootA -> LetASource

flatListAG :: Zipper RootA -> ListASource

isConstant :: Zipper RootA -> BoolSource

calculate :: Zipper RootA -> IntSource

getVarValue :: String -> Zipper RootA -> IntSource

auxGetVarValue :: String -> Zipper RootA -> IntSource

oneUpGetVarValue :: String -> Zipper RootA -> IntSource

isVarSolved :: String -> Zipper RootA -> BoolSource

auxIsVarSolved :: String -> Zipper RootA -> BoolSource

oneUpIsVarSolved :: String -> Zipper RootA -> BoolSource

flatten_Let :: Data a => a -> Zipper RootASource