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

Safe HaskellNone

Language.Grammars.ZipperAG.Examples.DESK.DESK_HighOrder

Documentation

data Root Source

Constructors

Root Program 

Instances

Data Root 
Show Root 
Typeable Root 

data Program Source

Constructors

PRINT Expression ConstPart 

Instances

Data Program 
Show Program 
Typeable Program 

data Expression Source

Constructors

Add Expression Factor 
Fact Factor 

Instances

Data Expression 
Show Expression 
Typeable Expression 

data Factor Source

Constructors

Name ConstName 
Number String 

Instances

Data Factor 
Show Factor 
Typeable Factor 

data ConstName Source

Constructors

Id String 

Instances

Data ConstName 
Show ConstName 
Typeable ConstName 

data ConstPart Source

Constructors

EmptyConstPart 
WHERE ConstDefList 

Instances

Data ConstPart 
Show ConstPart 
Typeable ConstPart 

data ConstDefList Source

Constructors

Comma ConstDefList ConstDef 
Def ConstDef 

Instances

Data ConstDefList 
Show ConstDefList 
Typeable ConstDefList 

data ConstDef Source

Constructors

Equal ConstName String 

Instances

Data ConstDef 
Show ConstDef 
Typeable ConstDef 

data SymbolTable Source

Constructors

NilST 
ConsST Tuple SymbolTable 

Instances

Data SymbolTable 
Show SymbolTable 
Typeable SymbolTable 

data Tuple Source

Constructors

Tuple String String 

Instances

Data Tuple 
Show Tuple 
Typeable Tuple 

constructor :: Zipper Root -> StringSource

constructor_HO :: Zipper Root_HO -> StringSource

lexeme :: Zipper Root -> StringSource

envi :: Zipper Root -> SymbolTableSource

code :: Zipper Root -> StringSource

value :: Zipper Root -> StringSource

ok :: Zipper Root -> BoolSource

name :: Zipper Root -> StringSource

envs :: Zipper Root -> SymbolTableSource

data Root_HO Source

Constructors

Root_HO SymbolTable 

Instances

Data Root_HO 
Show Root_HO 
Typeable Root_HO 

lexeme_Tuple_name :: Zipper Root_HO -> StringSource

lexeme_Tuple_value :: Zipper Root_HO -> StringSource

isInST :: String -> Zipper Root_HO -> BoolSource

getValue :: String -> Zipper Root_HO -> StringSource

expr :: ExpressionSource

deflst :: ConstPartSource

program :: RootSource

semantics :: Root -> IO ()Source