Safe Haskell	None
Language	Haskell2010

AOC.Common.Intcode.Memory

Documentation

class Monad m => MonadMem m where Source #

Methods

mRead :: m Int Source #

mCurr :: m Natural Source #

mPeek :: Natural -> m Int Source #

mSeek :: Natural -> m () Source #

mWrite :: Natural -> Int -> m () Source #

mShiftBase :: Int -> m () Source #

mWithBase :: Int -> m Int Source #

Instances

(PrimMonad m, s ~ PrimState m) => MonadMem (ReaderT (MemRef s) m) Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods mRead :: ReaderT (MemRef s) m Int Source # mCurr :: ReaderT (MemRef s) m Natural Source # mPeek :: Natural -> ReaderT (MemRef s) m Int Source # mSeek :: Natural -> ReaderT (MemRef s) m () Source # mWrite :: Natural -> Int -> ReaderT (MemRef s) m () Source # mShiftBase :: Int -> ReaderT (MemRef s) m () Source # mWithBase :: Int -> ReaderT (MemRef s) m Int Source #
MonadMem m => MonadMem (ExceptT e m) Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods mRead :: ExceptT e m Int Source # mCurr :: ExceptT e m Natural Source # mPeek :: Natural -> ExceptT e m Int Source # mSeek :: Natural -> ExceptT e m () Source # mWrite :: Natural -> Int -> ExceptT e m () Source # mShiftBase :: Int -> ExceptT e m () Source # mWithBase :: Int -> ExceptT e m Int Source #
Monad m => MonadMem (StateT Memory m) Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods mRead :: StateT Memory m Int Source # mCurr :: StateT Memory m Natural Source # mPeek :: Natural -> StateT Memory m Int Source # mSeek :: Natural -> StateT Memory m () Source # mWrite :: Natural -> Int -> StateT Memory m () Source # mShiftBase :: Int -> StateT Memory m () Source # mWithBase :: Int -> StateT Memory m Int Source #
MonadMem m => MonadMem (Pipe i o u m) Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods mRead :: Pipe i o u m Int Source # mCurr :: Pipe i o u m Natural Source # mPeek :: Natural -> Pipe i o u m Int Source # mSeek :: Natural -> Pipe i o u m () Source # mWrite :: Natural -> Int -> Pipe i o u m () Source # mShiftBase :: Int -> Pipe i o u m () Source # mWithBase :: Int -> Pipe i o u m Int Source #

data Memory Source #

Constructors

Mem
Fields mPos :: Natural mBase :: Int mRegs :: Map Natural Int

Instances

Eq Memory Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods (==) :: Memory -> Memory -> Bool # (/=) :: Memory -> Memory -> Bool #
Ord Memory Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods compare :: Memory -> Memory -> Ordering # (<) :: Memory -> Memory -> Bool # (<=) :: Memory -> Memory -> Bool # (>) :: Memory -> Memory -> Bool # (>=) :: Memory -> Memory -> Bool # max :: Memory -> Memory -> Memory # min :: Memory -> Memory -> Memory #
Show Memory Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods showsPrec :: Int -> Memory -> ShowS # show :: Memory -> String # showList :: [Memory] -> ShowS #
Generic Memory Source #
Instance details Defined in AOC.Common.Intcode.Memory Associated Types type Rep Memory :: Type -> Type # Methods from :: Memory -> Rep Memory x # to :: Rep Memory x -> Memory #
NFData Memory Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods rnf :: Memory -> () #
Monad m => MonadMem (StateT Memory m) Source #
Instance details Defined in AOC.Common.Intcode.Memory Methods mRead :: StateT Memory m Int Source # mCurr :: StateT Memory m Natural Source # mPeek :: Natural -> StateT Memory m Int Source # mSeek :: Natural -> StateT Memory m () Source # mWrite :: Natural -> Int -> StateT Memory m () Source # mShiftBase :: Int -> StateT Memory m () Source # mWithBase :: Int -> StateT Memory m Int Source #
type Rep Memory Source #
Instance details Defined in AOC.Common.Intcode.Memory type Rep Memory = D1 (MetaData "Memory" "AOC.Common.Intcode.Memory" "aoc2019-0.1.0.0-EhTXSml1EW7BLze828MOzZ" False) (C1 (MetaCons "Mem" PrefixI True) (S1 (MetaSel (Just "mPos") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural) :: (S1 (MetaSel (Just "mBase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Just "mRegs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Natural Int)))))

mRegLens :: Natural -> Lens' Memory Int Source #

data MemRef s Source #

Constructors

MemRef
Fields mrPos :: MutVar s Natural mrBase :: MutVar s Int mrRegs :: MutVar s (MVector s Int)

Instances

(PrimMonad m, s ~ PrimState m) => MonadMem (ReaderT (MemRef s) m) Source #

Instance details

Defined in AOC.Common.Intcode.Memory

Methods

mRead :: ReaderT (MemRef s) m Int Source #

mCurr :: ReaderT (MemRef s) m Natural Source #

mPeek :: Natural -> ReaderT (MemRef s) m Int Source #

mSeek :: Natural -> ReaderT (MemRef s) m () Source #

mWrite :: Natural -> Int -> ReaderT (MemRef s) m () Source #

mShiftBase :: Int -> ReaderT (MemRef s) m () Source #

mWithBase :: Int -> ReaderT (MemRef s) m Int Source #

initMemRef :: (PrimMonad m, s ~ PrimState m) => Memory -> m (MemRef s) Source #

freezeMemRef :: (PrimMonad m, s ~ PrimState m) => MemRef s -> m Memory Source #