Safe Haskell	Safe
Language	Haskell2010

Language.Subleq.Assembly.Prim

Documentation

type Id = String Source

type Location = String Source

type Substitution = Map Id Expr Source

data Expr Source

Constructors

Identifier Id
Number Integer
EAdd Expr Expr
ESub Expr Expr
EShiftL Expr Expr

Instances

Eq Expr Source
Ord Expr Source
Read Expr Source
Show Expr Source

type LocExpr = (Maybe Location, Expr) Source

data Instruction Source

Constructors

Subleq

Instances

Eq Instruction Source
Ord Instruction Source
Read Instruction Source
Show Instruction Source

instructionArity :: Instruction -> (Int, Int) Source

data Element Source

Constructors

ElemInst Instruction [LocExpr]
SubroutineCall (Maybe Location) Id [Expr]
ElemLoc Location

Instances

Eq Element Source
Ord Element Source
Read Element Source
Show Element Source

data Object Source

Constructors

Subroutine Id [Id] [Element]
Macro Id [Id] [Element]

Instances

Eq Object Source
Ord Object Source
Read Object Source
Show Object Source

data Module Source

Constructors

Module (Map Id Object)

Instances

Eq Module Source
Ord Module Source
Read Module Source
Show Module Source

maybeToSet :: Maybe a -> Set a Source

elemsSet :: Ord a => Map k a -> Set a Source

unionsMap :: Ord b => (a -> Set b) -> Map k a -> Set b Source

objectId :: Object -> Id Source

objectArity :: Object -> Int Source

evaluateNumExpr :: Expr -> Integer Source

evaluateNumExprInLocElem :: LocExpr -> LocExpr Source

evaluateNumExprInElem :: Element -> Element Source

substituteExpr :: Substitution -> Expr -> Expr Source

substituteLocId :: Substitution -> Id -> Id Source

substituteLocExpr :: Substitution -> LocExpr -> LocExpr Source

substituteElement :: Substitution -> Element -> Element Source

substituteObject :: Substitution -> Object -> Object Source

locationsElement :: Element -> Set Id Source

locationsElements :: [Element] -> Set Id Source

locationsObject :: Object -> Set Id Source

freqMap :: Ord a => [a] -> Map a Int Source

locationsOccursionElement :: Element -> Map Id Int Source

locationsOccursionElements :: [Element] -> Map Id Int Source

locationsOccursionObject :: Object -> Map Id Int Source

errorsObject :: Object -> [String] Source

errorsObject' :: Id -> [Id] -> [Element] -> [String] Source

boundedVars :: Object -> Set Id Source

freeVarExpr :: Expr -> Set Id Source

freeVarLocExpr :: LocExpr -> Set Id Source

freeVarElement :: Element -> Set Id Source

freeVarObject :: Object -> Set Id Source

freeVarModule :: Module -> Set Id Source

applyObject :: LabelPrefix -> Object -> [Expr] -> [Element] Source

applyObject' :: LabelPrefix -> Id -> [Id] -> [Element] -> [Expr] -> [Element] Source

type DistinctStack a = ([a], Set a) Source

push :: Ord a => a -> DistinctStack a -> Maybe (DistinctStack a) Source

pop :: Ord a => DistinctStack a -> Maybe (a, DistinctStack a) Source

emptyStack :: DistinctStack a Source

singletonStack :: Ord a => a -> DistinctStack a Source

stackToList :: DistinctStack a -> [a] Source

lookupModule :: Id -> Module -> Maybe Object Source

expandMacroAll :: Module -> Module Source

expandMacro :: Module -> Object -> Object Source

expandMacro' :: DistinctStack Id -> Module -> LabelPrefix -> Element -> [Element] Source

addLocationPrefix :: LabelPrefix -> Set Id -> [Element] -> [Element] Source

type LabelPrefix = [Int] Source

labelPrefixToString :: LabelPrefix -> String Source