tarquin-the-brave

newAmps :: [Int] -> [Int] -> Amps

tarquin-the-brave

import Intcode (
  Status,
  Program
)

data Amps = Amps {
  ampsOf::[Program],
  activeAmp::Int
} deriving(Show)

tarquin-the-brave

runProgram :: Program -> Program
runProgram prog = case status prog of
   Running -> runProg . runStep $ prog
   AwaitInput -> if (length . input $ prog) > 0
     then runProg . runStep $ prog
     else prog
   _ -> prog

runStep :: Program -> Program
runStep = ...

tarquin-the-brave

data Program = Program {
  input::[Int],
  intCode::[Int],
  status::Status,
  -- ip: Instruction Pointer
  ip::Int,
  -- rb: Relative Base
  rb::Int,
  output::[Int]
} deriving(Show, Eq)

tarquin-the-brave

runProgram :: Int -> State Program Int

tarquin-the-brave

runProgram :: State Program ()
runProgram = do
  prog <- get
  case programState prog of
    Running -> do
      runStep'
      runProgram
    _ -> return ()

runStep' :: State Program ()

tarquin-the-brave

runProgram :: Program -> Program
runProgram prog = case status prog of
   Running -> runProgram . runStep $ prog
   _ -> prog

runStep :: Program -> Program
runStep prog = ...

tarquin-the-brave

data Program = Program {
  intCode::[Int],
  status::Status,
  -- Instruction Pointer: ip
  ip::Int
} deriving(Show)

data Status = Running | Terminated | Crashed deriving(Show)

tarquin-the-brave

import qualified Lib as L (someFunc)

tarquin-the-brave

import quailfied Lib as L