Day18

Description

Synopsis

• data Ins reg val
  • = Rcv reg
  • | Snd (Either reg val)
  • | Op (val -> val -> val) reg (Either reg val)
  • | Jgz (Either reg val) (Either reg val)
• data MachineSpec m pc reg val = MachineSpec {
  • program :: Array pc (Ins reg val)
  • send :: val -> m ()
  • recv :: val -> m val
  }
• data MachineState pc reg val
  • = MachineState {
    • pc :: pc
    • regs :: Map reg val
    }
  • | MachineTerminated
• parse :: (Integral a, Read a) => String -> [Ins String a]
• step :: (Monad m, Ix pc, Num pc, Ord reg, Integral val, Ord val) => MachineSpec m pc reg val -> MachineState pc reg val -> m (MachineState pc reg val)
• loop :: (Monad m, Ix pc, Num pc, Ord reg, Integral val, Ord val) => MachineSpec m pc reg val -> MachineState pc reg val -> m ()
• day18a :: String -> Int64
• day18b :: String -> Int

Documentation