Safe Haskell	None
Language	Haskell2010

AOC.Common.Intcode

Documentation

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 #

type VM = Pipe Int Int Void Source #

type AsciiVM = Pipe Text Text Void Source #

stepForever :: (AsVMErr e, MonadError e m) => Memory -> Pipe Int Int Void m Memory Source #

stepForeverAndDie :: MonadError IErr m => Memory -> Pipe Int Int Void m Void Source #

stepForeverMut :: (AsVMErr e, MonadError e m, PrimMonad m) => Memory -> Pipe Int Int Void m Memory Source #

untilHalt :: Monad m => Pipe i o u (ExceptT e m) a -> Pipe i o u m () Source #

parseMem :: String -> Maybe Memory Source #

untilFalse :: Monad m => m Bool -> m () Source #

step :: (AsVMErr e, MonadError e m, MonadMem m) => Pipe Int Int Void m Bool Source #

stepN :: (AsVMErr e, MonadError e m) => Natural -> Memory -> Pipe Int Int Void m (Maybe Natural) Source #

yieldAndDie :: MonadError IErr m => o -> Pipe i o u m a Source #

yieldAndPass :: o -> Pipe o o u m u Source #

data VMErr Source #

Constructors

VMEBadMode Int
VMEBadInstr Int
VMEBadPos Int

Instances

Eq VMErr Source #
Instance details Defined in AOC.Common.Intcode Methods (==) :: VMErr -> VMErr -> Bool # (/=) :: VMErr -> VMErr -> Bool #
Ord VMErr Source #
Instance details Defined in AOC.Common.Intcode Methods compare :: VMErr -> VMErr -> Ordering # (<) :: VMErr -> VMErr -> Bool # (<=) :: VMErr -> VMErr -> Bool # (>) :: VMErr -> VMErr -> Bool # (>=) :: VMErr -> VMErr -> Bool # max :: VMErr -> VMErr -> VMErr # min :: VMErr -> VMErr -> VMErr #
Show VMErr Source #
Instance details Defined in AOC.Common.Intcode Methods showsPrec :: Int -> VMErr -> ShowS # show :: VMErr -> String # showList :: [VMErr] -> ShowS #
Generic VMErr Source #
Instance details Defined in AOC.Common.Intcode Associated Types type Rep VMErr :: Type -> Type # Methods from :: VMErr -> Rep VMErr x # to :: Rep VMErr x -> VMErr #
Exception VMErr Source #
Instance details Defined in AOC.Common.Intcode Methods toException :: VMErr -> SomeException # fromException :: SomeException -> Maybe VMErr # displayException :: VMErr -> String #
AsVMErr VMErr Source #
Instance details Defined in AOC.Common.Intcode Methods _VMErr :: Prism' VMErr VMErr Source # _VMEBadMode :: Prism' VMErr Int Source # _VMEBadInstr :: Prism' VMErr Int Source # _VMEBadPos :: Prism' VMErr Int Source #
type Rep VMErr Source #
Instance details Defined in AOC.Common.Intcode type Rep VMErr = D1 (MetaData "VMErr" "AOC.Common.Intcode" "aoc2019-0.1.0.0-EhTXSml1EW7BLze828MOzZ" False) (C1 (MetaCons "VMEBadMode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int)) :+: (C1 (MetaCons "VMEBadInstr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int)) :+: C1 (MetaCons "VMEBadPos" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int))))

data IErr Source #

Constructors

IENoInput
IEVM VMErr

Instances

Eq IErr Source #
Instance details Defined in AOC.Common.Intcode Methods (==) :: IErr -> IErr -> Bool # (/=) :: IErr -> IErr -> Bool #
Ord IErr Source #
Instance details Defined in AOC.Common.Intcode Methods compare :: IErr -> IErr -> Ordering # (<) :: IErr -> IErr -> Bool # (<=) :: IErr -> IErr -> Bool # (>) :: IErr -> IErr -> Bool # (>=) :: IErr -> IErr -> Bool # max :: IErr -> IErr -> IErr # min :: IErr -> IErr -> IErr #
Show IErr Source #
Instance details Defined in AOC.Common.Intcode Methods showsPrec :: Int -> IErr -> ShowS # show :: IErr -> String # showList :: [IErr] -> ShowS #
Generic IErr Source #
Instance details Defined in AOC.Common.Intcode Associated Types type Rep IErr :: Type -> Type # Methods from :: IErr -> Rep IErr x # to :: Rep IErr x -> IErr #
Exception IErr Source #
Instance details Defined in AOC.Common.Intcode Methods toException :: IErr -> SomeException # fromException :: SomeException -> Maybe IErr # displayException :: IErr -> String #
AsVMErr IErr Source #
Instance details Defined in AOC.Common.Intcode Methods _VMErr :: Prism' IErr VMErr Source # _VMEBadMode :: Prism' IErr Int Source # _VMEBadInstr :: Prism' IErr Int Source # _VMEBadPos :: Prism' IErr Int Source #
AsIErr IErr Source #
Instance details Defined in AOC.Common.Intcode Methods _IErr :: Prism' IErr IErr Source # _IENoInput :: Prism' IErr () Source # _IEVM :: Prism' IErr VMErr Source #
type Rep IErr Source #
Instance details Defined in AOC.Common.Intcode type Rep IErr = D1 (MetaData "IErr" "AOC.Common.Intcode" "aoc2019-0.1.0.0-EhTXSml1EW7BLze828MOzZ" False) (C1 (MetaCons "IENoInput" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IEVM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 VMErr)))

class AsVMErr r where Source #

Minimal complete definition

_VMErr

Methods

_VMErr :: Prism' r VMErr Source #

_VMEBadMode :: Prism' r Int Source #

_VMEBadInstr :: Prism' r Int Source #

_VMEBadPos :: Prism' r Int Source #

Instances

AsVMErr VMErr Source #
Instance details Defined in AOC.Common.Intcode Methods _VMErr :: Prism' VMErr VMErr Source # _VMEBadMode :: Prism' VMErr Int Source # _VMEBadInstr :: Prism' VMErr Int Source # _VMEBadPos :: Prism' VMErr Int Source #
AsVMErr IErr Source #
Instance details Defined in AOC.Common.Intcode Methods _VMErr :: Prism' IErr VMErr Source # _VMEBadMode :: Prism' IErr Int Source # _VMEBadInstr :: Prism' IErr Int Source # _VMEBadPos :: Prism' IErr Int Source #

class AsIErr r where Source #

Minimal complete definition

_IErr

Methods

_IErr :: Prism' r IErr Source #

_IENoInput :: Prism' r () Source #

_IEVM :: Prism' r VMErr Source #

Instances

AsIErr IErr Source #
Instance details Defined in AOC.Common.Intcode Methods _IErr :: Prism' IErr IErr Source # _IENoInput :: Prism' IErr () Source # _IEVM :: Prism' IErr VMErr Source #

toAsciiVM :: Monad m => VM m a -> AsciiVM m a Source #

preAscii :: Pipe Text Int u m u Source #

postAscii :: Monad m => Pipe Int Text u m u Source #

interactVM :: Memory -> IO () Source #

interactAsciiVM :: MonadIO m => AsciiVM (ExceptT IErr m) a -> m () Source #