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

Safe Haskell	None

Language.Grammars.ZipperAG.Examples.LET.Let_Meaning_HO_NestedST_Circ

Documentation

solve :: Zipper RootA -> Int Source

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

solveSTRoot :: Zipper RootHO -> Zipper RootHO Source

solveST :: Zipper RootHO -> ListHO Source

calculate :: Zipper RootHO -> Int Source

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

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

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

isSolved :: Zipper RootHO -> Bool Source

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

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

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

createSTRoot :: Zipper RootA -> RootHO Source

createST :: Zipper RootA -> ListHO Source

data RootHO Source

Constructors

RootHO ListHO A

Instances

Data RootHO
Show RootHO
Typeable RootHO

data ListHO Source

Constructors

ConsVarHO String IsSolved A ListHO
ConsLetHO String IsSolved ListHO ListHO
NestedListHO ListHO A
EmptyListHO

Instances

Data ListHO
Show ListHO
Typeable ListHO

data IsSolved Source

Constructors

IsSolved Int
NotSolved

Instances

Data IsSolved
Show IsSolved
Typeable IsSolved

lexeme_IsSolved :: Zipper a -> Int Source

lexeme_RootHO :: Zipper a -> A Source

lexeme_ConsVarHO_Var :: Zipper a -> String Source

lexeme_ConsVarHO_isSolved :: Zipper a -> IsSolved Source

lexeme_ConsVarHO_A :: Zipper a -> A Source

lexeme_ConsLetHO_Var :: Zipper a -> String Source

lexeme_ConsLetHO_isSolved :: Zipper a -> IsSolved Source

lexeme_ConsLetHO_NestedST :: Zipper a -> ListHO Source

lexeme_NestedListHO :: Zipper a -> A Source

constructorHO :: Zipper a -> String Source

solve_ho_plus_circularity :: Data a => a -> Int Source