PureSyntax

Documentation

newtype Name

Constructors

Name (FilePath, String)

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

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

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

nameName :: Name -> String

namePath :: Name -> FilePath

data Program

Constructors

Program

Fields

• progName :: Name
• readVar :: Name
• block :: Block
• writeVar :: Name

Instances

Eq Program

Methods

(==) :: Program -> Program -> Bool

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

Ord Program

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

Methods

showsPrec :: Int -> Program -> ShowS

show :: Program -> String

showList :: [Program] -> ShowS

type Block = [Command]

data Command

Constructors

Assign Name Expression

While Expression Block

IfElse Expression Block Block

Instances

Eq Command

Methods

(==) :: Command -> Command -> Bool

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

Ord Command

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

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

data Expression

Constructors

Var Name

Lit ETree

Cons Expression Expression

Hd Expression

Tl Expression

IsEq Expression Expression

Instances

Eq Expression

Methods

(==) :: Expression -> Expression -> Bool

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

Ord Expression

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

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

data ETree

Constructors

ECons ETree ETree

ENil

Instances

Eq ETree

Methods

(==) :: ETree -> ETree -> Bool

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

Ord ETree

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

Methods

showsPrec :: Int -> ETree -> ShowS

show :: ETree -> String

showList :: [ETree] -> ShowS

showBlock :: Int -> Block -> String

showC :: Int -> Command -> String

tabs :: Int -> String

data Atom

Constructors

AtomAsgn

AtomDoAsgn

AtomWhile

AtomDoWhile

AtomIf

AtomDoIf

AtomVar

AtomQuote

AtomHd

AtomDoHd

AtomTl

AtomDoTl

AtomCons

AtomDoCons

Instances

Eq Atom

Methods

(==) :: Atom -> Atom -> Bool

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

Ord Atom

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

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

namesProg :: Program -> Set Name

namesBlock :: Block -> Set Name

namesComm :: Command -> Set Name

namesExpr :: Expression -> Set Name

atomToInt :: Atom -> Int

atomToTree :: Atom -> ETree

treeToAtom :: ETree -> Maybe Atom

intToAtom :: Int -> Maybe Atom

showIntTree :: Bool -> ETree -> String

showIntListTree :: Bool -> ETree -> String

showNestedIntListTree :: ETree -> String

showNestedAtomIntListTree :: ETree -> String

showProgramTree :: ETree -> Maybe String

showBlockTree :: Int -> ETree -> Maybe String

showCommandTree :: Int -> ETree -> Maybe String

showExpressionTree :: ETree -> Maybe String

parseInt :: ETree -> Maybe Int

intToTree :: Int -> ETree

toHaskellList :: ETree -> [ETree]

showListOf :: (ETree -> String) -> [ETree] -> String

showStringsAsList :: [String] -> String

showStringsAsListFmt :: Int -> [String] -> String

expFromHaskellList :: [Expression] -> Expression

treeFromHaskellList :: [ETree] -> ETree