Documentation

type Id = String Source

type Location = String Source

type Substitution = Map Id Expr Source

data Expr Source

type LocExpr = (Maybe Location, Expr) Source

data Instruction Source

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

data Element Source

data Object Source

data 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