Safe Haskell	None
Language	Haskell2010

Nes.CPU.Monad

Contents

Monad
State
Program counter
Stack
Status register
Bus

Synopsis

newtype CPU r a = MkCPU {
- unCPU :: CPUState -> BusState -> (CPUState -> BusState -> a -> IO r) -> IO r
}
reset :: CPU r ()
incrementPC :: CPU r ()
readAtPC :: CPU r Byte
tick :: Int -> CPU r ()
tickOnce :: CPU r ()
popStackAddr :: CPU r Addr
popStackByte :: CPU r Byte
pushAddrStack :: Addr -> CPU r ()
pushByteStack :: Byte -> CPU r ()
popStatusRegister :: CPU r ()
pushStatusRegister :: Bool -> CPU r ()
liftBus :: Bus (a, BusState) a -> CPU r a
unsafeLiftBus :: Bus (a, BusState) a -> CPU r a

Monad

newtype CPU r a Source #

Note: we use IO because it is likely to readwrite fromto memory, which is not pure

Constructors

MkCPU
Fields unCPU :: CPUState -> BusState -> (CPUState -> BusState -> a -> IO r) -> IO r

Instances

Instances details

MonadState BusState (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods get :: CPU r BusState Source # set :: BusState -> CPU r () Source #
MonadState CPUState (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods get :: CPU r CPUState Source # set :: CPUState -> CPU r () Source #
MonadState InterruptStatus (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods get :: CPU r InterruptStatus Source # set :: InterruptStatus -> CPU r () Source #
MemoryInterface () (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods readByte :: Addr -> () -> CPU r Byte Source # readAddr :: Addr -> () -> CPU r Addr Source # writeByte :: Byte -> Addr -> () -> CPU r () Source # writeAddr :: Addr -> Addr -> () -> CPU r () Source #
MonadFail (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods fail :: String -> CPU r a #
MonadIO (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods liftIO :: IO a -> CPU r a #
Applicative (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods pure :: a -> CPU r a # (<>) :: CPU r (a -> b) -> CPU r a -> CPU r b # liftA2 :: (a -> b -> c) -> CPU r a -> CPU r b -> CPU r c # (>) :: CPU r a -> CPU r b -> CPU r b # (<*) :: CPU r a -> CPU r b -> CPU r a #
Functor (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods fmap :: (a -> b) -> CPU r a -> CPU r b # (<$) :: a -> CPU r b -> CPU r a #
Monad (CPU r) Source #
Instance details Defined in Nes.CPU.Monad Methods (>>=) :: CPU r a -> (a -> CPU r b) -> CPU r b # (>>) :: CPU r a -> CPU r b -> CPU r b # return :: a -> CPU r a #