ZipperAG-0.9: 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 -> IntSource

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 -> IntSource

getVarValue :: String -> Zipper RootHO -> IntSource

auxGetVarValue :: String -> Zipper RootHO -> IntSource

oneUpGetVarValue :: String -> Zipper RootHO -> IntSource

isSolved :: Zipper RootHO -> BoolSource

isVarSolved :: String -> Zipper RootHO -> BoolSource

auxIsVarSolved :: String -> Zipper RootHO -> BoolSource

oneUpIsVarSolved :: String -> Zipper RootHO -> BoolSource

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 -> IntSource

lexeme_RootHO :: Zipper a -> A Source

lexeme_ConsVarHO_Var :: Zipper a -> StringSource

lexeme_ConsVarHO_isSolved :: Zipper a -> IsSolved Source

lexeme_ConsVarHO_A :: Zipper a -> A Source

lexeme_ConsLetHO_Var :: Zipper a -> StringSource

lexeme_ConsLetHO_isSolved :: Zipper a -> IsSolved Source

lexeme_ConsLetHO_NestedST :: Zipper a -> ListHO Source

lexeme_NestedListHO :: Zipper a -> A Source

constructorHO :: Zipper a -> StringSource

solve_ho_plus_circularity :: Data a => a -> IntSource