Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- parseNumberFromTLL :: (MonadSafe m, Integral a) => (TokenList, [TokenList]) -> m (a, (TokenList, [TokenList]))
- parseNumberFromTL :: (MonadSafe m, Integral a) => OperandParser m a
- parseNumber :: (MonadSafe m, Integral a) => OperandIMParser m a
- nextIM :: MonadSafe m => OperandIMParser m (Maybe Token)
- updatePC :: InstructionMemory -> InstructionCounter -> InstructionMemory
- type OperandParser m a = TokenList -> m (a, TokenList)
- data InstructionMemory = IM {}
- type OperandIMParser m a = InstructionMemory -> m (a, InstructionMemory)
Documentation
parseNumberFromTLL :: (MonadSafe m, Integral a) => (TokenList, [TokenList]) -> m (a, (TokenList, [TokenList])) #
parseNumberFromTL :: (MonadSafe m, Integral a) => OperandParser m a #
parseNumber :: (MonadSafe m, Integral a) => OperandIMParser m a #
nextIM :: MonadSafe m => OperandIMParser m (Maybe Token) #
type OperandParser m a = TokenList -> m (a, TokenList) #
Types
data InstructionMemory #
Instances
Eq InstructionMemory # | |
Defined in HelVM.HelMA.Automata.ETA.OperandParsers (==) :: InstructionMemory -> InstructionMemory -> Bool # (/=) :: InstructionMemory -> InstructionMemory -> Bool # | |
Read InstructionMemory # | |
Show InstructionMemory # | |
Defined in HelVM.HelMA.Automata.ETA.OperandParsers showsPrec :: Int -> InstructionMemory -> ShowS # show :: InstructionMemory -> String # showList :: [InstructionMemory] -> ShowS # |
type OperandIMParser m a = InstructionMemory -> m (a, InstructionMemory) #