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

Safe Haskell	None

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

Instances

Data Link
Show Link
Typeable Link

createLink :: Zipper a -> Link Source

getLink :: Zipper a -> Link Source

data RootC Source

Constructors

Instances

Data RootC
Show RootC
Typeable RootC

data LetC Source

Constructors

Instances

Data LetC
Show LetC
Typeable LetC

data InC Source

Constructors

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

Constructors

Add E T
Sub E T
Et T

Instances

Data E
Show E
Typeable E

Constructors

Mul T F
Div T F
Tf F

Instances

Data T
Show T
Typeable T

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

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

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 -> String Source

lexeme_InA :: Zipper a -> A Source

lexeme_ConsLetC :: Zipper a -> String Source

lexeme_Var :: Zipper a -> String Source

lexeme_Const :: Zipper a -> Int Source

lexeme_ConsAssignA :: Zipper a -> String Source

lexeme_ConsAssignA_Expr :: Zipper a -> A Source

lexeme_ConsLetA :: Zipper a -> String Source

lexeme_Variable :: Zipper a -> String Source

lexeme_Constant :: Zipper a -> Int Source

constructor :: Zipper a -> String Source