hwhile-0.1.1.0: An implementation of Neil D. Jones' While language

Safe Haskell	Safe
Language	Haskell2010

InterSyntax

Documentation

data InProgram Source #

Constructors

InProgram
Fields inProgName :: Name inReadVar :: Name inBlock :: InBlock inWriteVar :: Name

Instances

Eq InProgram Source #
Methods (==) :: InProgram -> InProgram -> Bool # (/=) :: InProgram -> InProgram -> Bool #
Ord InProgram Source #
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] Source #

data InCommand Source #

Constructors

InAssign Info Name Expression
InWhile Info Expression InBlock
InIfElse Info Expression InBlock InBlock
InSwitch Info Expression [(Expression, InBlock)] InBlock

Instances

Eq InCommand Source #
Methods (==) :: InCommand -> InCommand -> Bool # (/=) :: InCommand -> InCommand -> Bool #
Ord InCommand Source #
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 Source #
Methods showsPrec :: Int -> InCommand -> ShowS # show :: InCommand -> String # showList :: [InCommand] -> ShowS #

info :: InCommand -> Info Source #

namesInProg :: InProgram -> Set Name Source #

namesInBlock :: InBlock -> Set Name Source #

namesInComm :: InCommand -> Set Name Source #