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

Safe HaskellNone

Language.Grammars.ZipperAG.Examples.DESK.DESK_references

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 

type SymbolTable = [(String, Zipper Root)]Source

constructor :: Zipper Root -> 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

isInST :: String -> SymbolTable -> BoolSource

getValue :: String -> SymbolTable -> StringSource

expr :: ExpressionSource

deflst :: ConstPartSource

program :: RootSource

semantics :: Root -> IO ()Source