Language.Grammars.ZipperAG.Examples.DESK_HighOrder

Documentation

data Root

Constructors

Root Program

Instances

Data Root

Show Root

Typeable Root

data Program

Constructors

PRINT Expression ConstPart

Instances

Data Program

Show Program

Typeable Program

data Expression

Constructors

Add Expression Factor

Fact Factor

Instances

Data Expression

Show Expression

Typeable Expression

data Factor

Constructors

Name ConstName

Number String

Instances

Data Factor

Show Factor

Typeable Factor

data ConstName

Constructors

Id String

Instances

Data ConstName

Show ConstName

Typeable ConstName

data ConstPart

Constructors

EmptyConstPart

WHERE ConstDefList

Instances

Data ConstPart

Show ConstPart

Typeable ConstPart

data ConstDefList

Constructors

Comma ConstDefList ConstDef

Def ConstDef

Instances

Data ConstDefList

Show ConstDefList

Typeable ConstDefList

data ConstDef

Constructors

Equal ConstName String

Instances

Data ConstDef

Show ConstDef

Typeable ConstDef

data SymbolTable

Constructors

NilST

ConsST Tuple SymbolTable

Instances

Data SymbolTable

Show SymbolTable

Typeable SymbolTable

data Tuple

Constructors

Tuple String String

Instances

Data Tuple

Show Tuple

Typeable Tuple

constructor :: Zipper Root -> String

constructor_HO :: Zipper Root_HO -> String

(.$) :: Zipper a -> Int -> Zipper a

parent :: Zipper a -> Zipper a

lexeme :: Zipper Root -> String

envi :: Zipper Root -> SymbolTable

code :: Zipper Root -> String

value :: Zipper Root -> String

ok :: Zipper Root -> Bool

name :: Zipper Root -> String

envs :: Zipper Root -> SymbolTable

data Root_HO

Constructors

Root_HO SymbolTable

Instances

Data Root_HO

Show Root_HO

Typeable Root_HO

lexeme_Tuple_name :: Zipper Root_HO -> String

lexeme_Tuple_value :: Zipper Root_HO -> String

isInST :: String -> Zipper Root_HO -> Bool

getValue :: String -> Zipper Root_HO -> String

expr :: Expression

deflst :: ConstPart

program :: Root

semantics :: Root -> IO ()