InterSyntax

Documentation

data InProgram

Constructors

InProgram

Fields

• inProgName :: Name
• inReadVar :: Name
• inBlock :: InBlock
• inWriteVar :: Name

Instances

Eq InProgram

Methods

(==) :: InProgram -> InProgram -> Bool

(/=) :: InProgram -> InProgram -> Bool

Ord InProgram

Methods

compare :: InProgram -> InProgram -> Ordering

(<) :: InProgram -> InProgram -> Bool

(<=) :: InProgram -> InProgram -> Bool

(>) :: InProgram -> InProgram -> Bool

(>=) :: InProgram -> InProgram -> Bool

max :: InProgram -> InProgram -> InProgram

min :: InProgram -> InProgram -> InProgram

type InBlock = [InCommand]

data InCommand

Constructors

InAssign Info Name Expression

InWhile Info Expression InBlock

InIfElse Info Expression InBlock InBlock

InSwitch Info Expression [(Expression, InBlock)] InBlock

Instances

Eq InCommand

Methods

(==) :: InCommand -> InCommand -> Bool

(/=) :: InCommand -> InCommand -> Bool

Ord InCommand

Methods

compare :: InCommand -> InCommand -> Ordering

(<) :: InCommand -> InCommand -> Bool

(<=) :: InCommand -> InCommand -> Bool

(>) :: InCommand -> InCommand -> Bool

(>=) :: InCommand -> InCommand -> Bool

max :: InCommand -> InCommand -> InCommand

min :: InCommand -> InCommand -> InCommand

Show InCommand

Methods

showsPrec :: Int -> InCommand -> ShowS

show :: InCommand -> String

showList :: [InCommand] -> ShowS

info :: InCommand -> Info

namesInProg :: InProgram -> Set Name

namesInBlock :: InBlock -> Set Name

namesInComm :: InCommand -> Set Name