subleq-toolchain-0.1.8.4: Toolchain of subleq computer.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Subleq.Assembly.Locate

Documentation

data MemoryArchitecture m Source

Constructors

MemoryArchitecture 

Fields

wordLength :: Integer
 
instructionLength :: Integer
 
locateArg :: LocateArg
 
locateStatic :: Map Id Integer
 
writeWord :: Integer -> Integer -> m -> m
 

type LocateArg = [Id] -> Map Id Integer Source

locateArgDefault :: LocateArg Source

locateLocExpr :: MemoryArchitecture m -> Integer -> [LocExpr] -> Map Id Integer Source

locate' :: MemoryArchitecture m -> [Element] -> State Integer (Map Id Integer) Source

locate :: MemoryArchitecture m -> Integer -> Object -> Maybe (Object, Integer) Source

locateModulePacked :: MemoryArchitecture m -> Integer -> Module -> (Integer, Map Id (Integer, Object)) Source

loadElement :: MemoryArchitecture m -> Integer -> Element -> m -> (m, Integer) Source

loadElements :: MemoryArchitecture m -> Integer -> [Element] -> m -> m Source

loadObject :: MemoryArchitecture m -> Integer -> Object -> m -> m Source

loadModulePacked :: MemoryArchitecture m -> Integer -> Module -> m -> (Integer, Map Id Integer, m) Source