Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- runSLI :: LSU m s r element => LSInstruction -> LoadStoreMemory s r -> m $ LoadStoreMemory s r
- load :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r
- loadD :: LSU m s r element => Index -> LoadStoreMemory s r -> m $ LoadStoreMemory s r
- loadPure :: LSU m s r element => element -> LoadStoreMemory s r -> m $ LoadStoreMemory s r
- store :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r
- storeID :: LSU m s r element => Integer -> Index -> LoadStoreMemory s r -> m $ LoadStoreMemory s r
- storePure :: LSU m s r element => element -> element -> LoadStoreMemory s r -> m $ LoadStoreMemory s r
- moveD :: LSU m s r element => Index -> Index -> LoadStoreMemory s r -> m $ LoadStoreMemory s r
- loadOutputChar :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r
- loadOutputDec :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r
- storeInputChar :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r
- storeInputDec :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r
- type LSU m s r element = (ALU m s element, RAM r element)
- data LoadStoreMemory s r = LSM {}
Documentation
runSLI :: LSU m s r element => LSInstruction -> LoadStoreMemory s r -> m $ LoadStoreMemory s r #
load :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r #
loadD :: LSU m s r element => Index -> LoadStoreMemory s r -> m $ LoadStoreMemory s r #
loadPure :: LSU m s r element => element -> LoadStoreMemory s r -> m $ LoadStoreMemory s r #
store :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r #
storeID :: LSU m s r element => Integer -> Index -> LoadStoreMemory s r -> m $ LoadStoreMemory s r #
storePure :: LSU m s r element => element -> element -> LoadStoreMemory s r -> m $ LoadStoreMemory s r #
moveD :: LSU m s r element => Index -> Index -> LoadStoreMemory s r -> m $ LoadStoreMemory s r #
loadOutputChar :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r #
IO
loadOutputDec :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r #
storeInputChar :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r #
storeInputDec :: LSU m s r element => LoadStoreMemory s r -> m $ LoadStoreMemory s r #
data LoadStoreMemory s r #