Safe Haskell	Safe
Language	Haskell2010

PureSyntax

Documentation

Constructors

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #
Show Name Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #

Constructors

Program
Fields progName :: Name readVar :: Name block :: Block writeVar :: Name

Instances

Eq Program Source #
Methods (==) :: Program -> Program -> Bool # (/=) :: Program -> Program -> Bool #
Ord Program Source #
Methods compare :: Program -> Program -> Ordering # (<) :: Program -> Program -> Bool # (<=) :: Program -> Program -> Bool # (>) :: Program -> Program -> Bool # (>=) :: Program -> Program -> Bool # max :: Program -> Program -> Program # min :: Program -> Program -> Program #
Show Program Source #
Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #

Constructors

Assign Name Expression
While Expression Block
IfElse Expression Block Block

Instances

Eq Command Source #
Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
Ord Command Source #
Methods compare :: Command -> Command -> Ordering # (<) :: Command -> Command -> Bool # (<=) :: Command -> Command -> Bool # (>) :: Command -> Command -> Bool # (>=) :: Command -> Command -> Bool # max :: Command -> Command -> Command # min :: Command -> Command -> Command #
Show Command Source #
Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #

Constructors

Instances

Eq Expression Source #
Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Ord Expression Source #
Methods compare :: Expression -> Expression -> Ordering # (<) :: Expression -> Expression -> Bool # (<=) :: Expression -> Expression -> Bool # (>) :: Expression -> Expression -> Bool # (>=) :: Expression -> Expression -> Bool # max :: Expression -> Expression -> Expression # min :: Expression -> Expression -> Expression #
Show Expression Source #
Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #

Constructors

ECons ETree ETree
ENil

Instances

Eq ETree Source #
Methods (==) :: ETree -> ETree -> Bool # (/=) :: ETree -> ETree -> Bool #
Ord ETree Source #
Methods compare :: ETree -> ETree -> Ordering # (<) :: ETree -> ETree -> Bool # (<=) :: ETree -> ETree -> Bool # (>) :: ETree -> ETree -> Bool # (>=) :: ETree -> ETree -> Bool # max :: ETree -> ETree -> ETree # min :: ETree -> ETree -> ETree #
Show ETree Source #
Methods showsPrec :: Int -> ETree -> ShowS # show :: ETree -> String # showList :: [ETree] -> ShowS #

Constructors

Instances

Eq Atom Source #
Methods (==) :: Atom -> Atom -> Bool # (/=) :: Atom -> Atom -> Bool #
Ord Atom Source #
Methods compare :: Atom -> Atom -> Ordering # (<) :: Atom -> Atom -> Bool # (<=) :: Atom -> Atom -> Bool # (>) :: Atom -> Atom -> Bool # (>=) :: Atom -> Atom -> Bool # max :: Atom -> Atom -> Atom # min :: Atom -> Atom -> Atom #
Show Atom Source #
Methods showsPrec :: Int -> Atom -> ShowS # show :: Atom -> String # showList :: [Atom] -> ShowS #