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 -> StringSource

value :: Zipper Root -> IntSource

ok :: Zipper Root -> BoolSource

name :: Zipper Root -> StringSource

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 -> BoolSource

getValue :: String -> Zipper Root_HO -> IntSource

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 -> BoolSource

auxIsSolved :: Zipper Root_HO -> BoolSource

expr :: Expression Source

deflst :: ConstPart Source

program :: Root Source

semantics :: Root -> IO ()Source

constructor :: Typeable a => Zipper a -> StringSource

lexeme_Id :: Zipper a -> StringSource

lexeme_Number :: Zipper a -> IntSource

lexeme_Equal_Int :: Zipper a -> IntSource

lexeme_Equal_String :: Zipper a -> StringSource

constructor_HO :: Typeable a => Zipper a -> StringSource

lexeme_Root :: Zipper a -> SymbolTable Source

lexeme_Tuple_name :: Zipper a -> StringSource

lexeme_Tuple_Int :: Zipper a -> Tuple Source

lexeme_Tuple_String :: Zipper a -> Tuple Source

lexeme_Tuple_Int_Value :: Zipper a -> IntSource

lexeme_Tuple_String_Value :: Zipper a -> StringSource