Day23

Description

Synopsis

• data Ins reg imm
  • = Set {
    • reg :: reg
    • val :: Either reg imm
    }
  • | Sub {
    • reg :: reg
    • val :: Either reg imm
    }
  • | Mul {
    • reg :: reg
    • val :: Either reg imm
    }
  • | Jnz {
    • cnd :: Either reg imm
    • jmp :: Either reg imm
    }
• data State a reg imm = State {
  • pc :: Int
  • regs :: a reg imm
  }
• parseVal :: Read imm => String -> Either Char imm
• parse :: Read imm => String -> [Ins Char imm]
• step :: (IArray a imm, Ix reg, Integral imm) => [Ins reg imm] -> State a reg imm -> Maybe (State a reg imm)
• stepOptimized :: (IArray a imm, Ix reg, Integral imm) => [Ins reg imm] -> State a reg imm -> Maybe (State a reg imm)
• iterateMaybe :: (a -> Maybe a) -> Maybe a -> [a]
• day23a :: String -> Int
• day23b :: String -> Int

Documentation