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

Safe HaskellNone

Language.Grammars.ZipperAG.Examples.LET.Let_DataTypes_Boilerplate

Documentation

data Link Source

Constructors

IsRootC RootC 
IsLetC LetC 
IsInC InC 
IsListC ListC 
IsE E 
IsT T 
IsF F 
Empty 

createLink :: Zipper a -> LinkSource

getLink :: Zipper a -> LinkSource

data RootC Source

Constructors

RootC LetC 

Instances

Data RootC 
Show RootC 
Typeable RootC 

data LetC Source

Constructors

LetC ListC InC 

Instances

Data LetC 
Show LetC 
Typeable LetC 

data InC Source

Constructors

InC E 

Instances

Data InC 
Show InC 
Typeable InC 

data ListC Source

Constructors

ConsLetC String LetC ListC 
ConsAssignC String E ListC 
EmptyListC 

Instances

Data ListC 
Show ListC 
Typeable ListC 

data E Source

Constructors

Add E T 
Sub E T 
Et T 

Instances

Data E 
Show E 
Typeable E 

data T Source

Constructors

Mul T F 
Div T F 
Tf F 

Instances

Data T 
Show T 
Typeable T 

data F Source

Constructors

Nest E 
Neg F 
Var String 
Const Int 

Instances

Data F 
Show F 
Typeable F 

data RootA Source

Constructors

RootA LetA Link 

Instances

Data RootA 
Show RootA 
Typeable RootA 

data LetA Source

Constructors

LetA ListA InA Link 

Instances

Data LetA 
Show LetA 
Typeable LetA 

data InA Source

Constructors

InA A Link 

Instances

Data InA 
Show InA 
Typeable InA 

data ListA Source

Constructors

ConsLetA String LetA ListA Link 
ConsAssignA String A ListA Link 
EmptyListA Link 

Instances

Data ListA 
Show ListA 
Typeable ListA 

data A Source

Constructors

Plus A A Link 
Minus A A Link 
Time A A Link 
Divide A A Link 
Variable String Link 
Constant Int Link 

Instances

Data A 
Show A 
Typeable A 

lexeme_ConsAssignC :: Zipper a -> StringSource

lexme_LetA_2 :: Zipper a -> InASource

lexeme_InA :: Zipper a -> ASource

lexeme_ConsLetC :: Zipper a -> StringSource

lexeme_Var :: Zipper a -> StringSource

lexeme_Const :: Zipper a -> IntSource

lexeme_ConsAssignA_1 :: Zipper a -> StringSource

lexeme_ConsAssignA_2 :: Zipper a -> ASource

lexeme_ConsLetA_1 :: Zipper a -> StringSource

lexeme_ConsLetA_2 :: Zipper a -> LetASource

lexeme_Variable :: Zipper a -> StringSource

lexeme_Constant :: Zipper a -> IntSource

constructor :: Zipper a -> StringSource