Safe Haskell	None

Language.Grammars.ZipperAG.Examples.DESK.DESK_circular

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 Int

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

EqualInt ConstName Int
EqualString ConstName String

Instances

Data ConstDef
Show ConstDef
Typeable ConstDef

envi :: Zipper Root -> Zipper Root_HO Source

code :: Zipper Root -> String Source

value :: Zipper Root -> Int Source

ok :: Zipper Root -> Bool Source

name :: Zipper Root -> String Source

envs :: Zipper Root -> SymbolTable Source

extract :: Zipper Root -> Tuple Source

data Root_HO Source

Constructors

Root_HO SymbolTable

Instances

Data Root_HO
Show Root_HO
Typeable Root_HO

data SymbolTable Source

Constructors

NilST
ConsST Tuple SymbolTable

Instances

Data SymbolTable
Show SymbolTable
Typeable SymbolTable

data Tuple Source

Constructors

TupleInt String Int
TupleString String String

Instances

Data Tuple
Show Tuple
Typeable Tuple

isInST :: String -> Zipper Root_HO -> Bool Source

getValue :: String -> Zipper Root_HO -> Int Source

solve :: Zipper Root_HO -> Zipper Root_HO Source

auxSolve :: Zipper Root_HO -> SymbolTable Source

check :: Zipper Root_HO -> Tuple Source

apply :: [(String, Int)] -> Tuple -> Tuple Source

solvedSymbols :: Zipper Root_HO -> [(String, Int)]Source

auxSolvedSymbols :: Zipper Root_HO -> [(String, Int)]Source

isSolved :: Zipper Root_HO -> Bool Source

auxIsSolved :: Zipper Root_HO -> Bool Source

expr :: Expression Source

deflst :: ConstPart Source

program :: Root Source

semantics :: Root -> IO ()Source

constructor :: Typeable a => Zipper a -> String Source

lexeme_Id :: Zipper a -> String Source

lexeme_Number :: Zipper a -> Int Source

lexeme_Equal_Int :: Zipper a -> Int Source

lexeme_Equal_String :: Zipper a -> String Source

constructor_HO :: Typeable a => Zipper a -> String Source

lexeme_Root :: Zipper a -> SymbolTable Source

lexeme_Tuple_name :: Zipper a -> String Source

lexeme_Tuple_Int :: Zipper a -> Tuple Source

lexeme_Tuple_String :: Zipper a -> Tuple Source

lexeme_Tuple_Int_Value :: Zipper a -> Int Source

lexeme_Tuple_String_Value :: Zipper a -> String Source