From be678b06a9444d3c4d3153aebec0f3282482498d Mon Sep 17 00:00:00 2001 From: Siphalor Date: Tue, 17 Dec 2024 21:11:06 +0100 Subject: [PATCH] Day seventeen part one --- day-17-haskell/.gitignore | 2 + day-17-haskell/Setup.hs | 2 + day-17-haskell/app/Main.hs | 18 ++++++ day-17-haskell/day17-haskell.cabal | 52 +++++++++++++++ day-17-haskell/package.yaml | 49 ++++++++++++++ day-17-haskell/src/Lib.hs | 100 +++++++++++++++++++++++++++++ day-17-haskell/stack.yaml | 67 +++++++++++++++++++ day-17-haskell/stack.yaml.lock | 13 ++++ day-17-haskell/test/Spec.hs | 2 + 9 files changed, 305 insertions(+) create mode 100644 day-17-haskell/.gitignore create mode 100644 day-17-haskell/Setup.hs create mode 100644 day-17-haskell/app/Main.hs create mode 100644 day-17-haskell/day17-haskell.cabal create mode 100644 day-17-haskell/package.yaml create mode 100644 day-17-haskell/src/Lib.hs create mode 100644 day-17-haskell/stack.yaml create mode 100644 day-17-haskell/stack.yaml.lock create mode 100644 day-17-haskell/test/Spec.hs diff --git a/day-17-haskell/.gitignore b/day-17-haskell/.gitignore new file mode 100644 index 0000000..c368d45 --- /dev/null +++ b/day-17-haskell/.gitignore @@ -0,0 +1,2 @@ +.stack-work/ +*~ \ No newline at end of file diff --git a/day-17-haskell/Setup.hs b/day-17-haskell/Setup.hs new file mode 100644 index 0000000..9a994af --- /dev/null +++ b/day-17-haskell/Setup.hs @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain diff --git a/day-17-haskell/app/Main.hs b/day-17-haskell/app/Main.hs new file mode 100644 index 0000000..a7cfe06 --- /dev/null +++ b/day-17-haskell/app/Main.hs @@ -0,0 +1,18 @@ +module Main (main) where + +import System.Environment.Blank ( getArgs ) +import Lib (task1, task2) + +main :: IO () +main = do + args <- getArgs + case args of + ["1", file] -> do + input <- readFile file + result <- task1 input + print result + ["2", file] -> do + input <- readFile file + result <- task2 input + print result + _ -> error "Usage: <1|2> " diff --git a/day-17-haskell/day17-haskell.cabal b/day-17-haskell/day17-haskell.cabal new file mode 100644 index 0000000..58ac0a9 --- /dev/null +++ b/day-17-haskell/day17-haskell.cabal @@ -0,0 +1,52 @@ +cabal-version: 2.2 + +-- This file has been generated from package.yaml by hpack version 0.37.0. +-- +-- see: https://github.com/sol/hpack + +name: day17-haskell +version: 0.1.0.0 +homepage: https://github.com/Siphalor/day17-haskell#readme +bug-reports: https://github.com/Siphalor/day17-haskell/issues +author: Siphalor +maintainer: info@siphalor.de +copyright: Siphalor +license: BSD-3-Clause +build-type: Simple + +source-repository head + type: git + location: https://github.com/Siphalor/day17-haskell + +library + exposed-modules: + Lib + hs-source-dirs: + src + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints + build-depends: + base >=4.7 && <5 + , containers + , flow + default-language: Haskell2010 + +executable day17-haskell-exe + main-is: Main.hs + hs-source-dirs: + app + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N + build-depends: + base >=4.7 && <5 + , day17-haskell + default-language: Haskell2010 + +test-suite day17-haskell-test + type: exitcode-stdio-1.0 + main-is: Spec.hs + hs-source-dirs: + test + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N + build-depends: + base >=4.7 && <5 + , day17-haskell + default-language: Haskell2010 diff --git a/day-17-haskell/package.yaml b/day-17-haskell/package.yaml new file mode 100644 index 0000000..95399a8 --- /dev/null +++ b/day-17-haskell/package.yaml @@ -0,0 +1,49 @@ +name: day17-haskell +version: 0.1.0.0 +github: "Siphalor/day17-haskell" +license: BSD-3-Clause +author: "Siphalor" +maintainer: "info@siphalor.de" +copyright: "Siphalor" +spec-version: 0.36.0 + +dependencies: +- base >= 4.7 && < 5 + +ghc-options: +- -Wall +- -Wcompat +- -Widentities +- -Wincomplete-record-updates +- -Wincomplete-uni-patterns +- -Wmissing-home-modules +- -Wpartial-fields +- -Wredundant-constraints + +library: + source-dirs: src + dependencies: + - flow + - containers + +executables: + day17-haskell-exe: + main: Main.hs + source-dirs: app + ghc-options: + - -threaded + - -rtsopts + - -with-rtsopts=-N + dependencies: + - day17-haskell + +tests: + day17-haskell-test: + main: Spec.hs + source-dirs: test + ghc-options: + - -threaded + - -rtsopts + - -with-rtsopts=-N + dependencies: + - day17-haskell diff --git a/day-17-haskell/src/Lib.hs b/day-17-haskell/src/Lib.hs new file mode 100644 index 0000000..ece81e8 --- /dev/null +++ b/day-17-haskell/src/Lib.hs @@ -0,0 +1,100 @@ +{-# LANGUAGE NamedFieldPuns #-} + +module Lib where + +import Control.Monad (join) +import Data.Bits (xor) +import Data.Char (isNumber) +import qualified Data.Map.Strict as Map +import Flow +import Text.ParserCombinators.ReadP + +type IntType = Int + +type Registers = Map.Map Char IntType +data DebuggerInfo = DebuggerInfo { dRegs :: Registers, dInstructions :: [IntType] } + +task1 :: String -> IO IntType +task1 input = + let di = readInput input + in do + outs <- tick 0 (dRegs di) di + print outs + outs |> map show |> join |> read |> return + +tick :: IntType -> Registers -> DebuggerInfo -> IO [IntType] +tick pos regs di@DebuggerInfo { dInstructions } = do + print regs + case drop pos dInstructions of + [] -> return [] + (0:operand:_) -> + let result = (regs Map.! 'A') `div` (2 ^ comboValue operand) + in tick (pos+2) (Map.insert 'A' result regs) di + (1:operand:_) -> + let result = (regs Map.! 'B') `xor` operand + in tick (pos+2) (Map.insert 'B' result regs) di + (2:operand:_) -> + let result = comboValue operand `mod` 8 + in tick (pos+2) (Map.insert 'B' result regs) di + (3:operand:_) -> + if regs Map.! 'A' == 0 + then tick (pos+2) regs di + else tick operand regs di + (4:_:_) -> + let result = (regs Map.! 'B') `xor` (regs Map.! 'C') + in tick (pos+2) (Map.insert 'B' result regs) di + (5:operand:_) -> do + rest <- tick (pos+2) regs di + return $ (comboValue operand `mod` 8) : rest + (6:operand:_) -> + let result = (regs Map.! 'A') `div` (2 ^ comboValue operand) + in tick (pos+2) (Map.insert 'B' result regs) di + (7:operand:_) -> + let result = (regs Map.! 'A') `div` (2 ^ comboValue operand) + in tick (pos+2) (Map.insert 'C' result regs) di + (opcode) -> error $ "Illegal opcode (" ++ (show opcode) ++ ") at " ++ (show pos) + + where + comboValue :: IntType -> IntType + comboValue 0 = 0 + comboValue 1 = 1 + comboValue 2 = 2 + comboValue 3 = 3 + comboValue 4 = regs Map.! 'A' + comboValue 5 = regs Map.! 'B' + comboValue 6 = regs Map.! 'C' + comboValue other = error $ "Illegal combo operand (" ++ (show other) ++ ") at " ++ (show pos) + +task2 :: String -> IO IntType +task2 _ = return 2 + +readInput :: String -> DebuggerInfo +readInput input = case readP_to_S parseDebuggerInfo input of + [] -> error "Failed to parse input" + ((res,_):_) -> res + +parseDebuggerInfo :: ReadP DebuggerInfo +parseDebuggerInfo = do + registers <- sepBy1 parseRegister (char '\n') + _ <- munch isNewLine + _ <- string "Program: " + instrs <- sepBy1 parseInt (char ',') + _ <- munch isNewLine + _ <- eof + return DebuggerInfo { dRegs = Map.fromList registers, dInstructions = instrs } + +parseRegister :: ReadP (Char, IntType) +parseRegister = do + _ <- string "Register " + name <- get + _ <- string ": " + initial <- parseInt + return (name, initial) + +parseInt :: ReadP IntType +parseInt = do + digits <- munch1 isNumber + return $ read digits + +isNewLine :: Char -> Bool +isNewLine = (==) '\n' diff --git a/day-17-haskell/stack.yaml b/day-17-haskell/stack.yaml new file mode 100644 index 0000000..1620b4f --- /dev/null +++ b/day-17-haskell/stack.yaml @@ -0,0 +1,67 @@ +# This file was automatically generated by 'stack init' +# +# Some commonly used options have been documented as comments in this file. +# For advanced use and comprehensive documentation of the format, please see: +# https://docs.haskellstack.org/en/stable/yaml_configuration/ + +# A 'specific' Stackage snapshot or a compiler version. +# A snapshot resolver dictates the compiler version and the set of packages +# to be used for project dependencies. For example: +# +# snapshot: lts-22.28 +# snapshot: nightly-2024-07-05 +# snapshot: ghc-9.6.6 +# +# The location of a snapshot can be provided as a file or url. Stack assumes +# a snapshot provided as a file might change, whereas a url resource does not. +# +# snapshot: ./custom-snapshot.yaml +# snapshot: https://example.com/snapshots/2024-01-01.yaml +snapshot: + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/23/0.yaml + +# User packages to be built. +# Various formats can be used as shown in the example below. +# +# packages: +# - some-directory +# - https://example.com/foo/bar/baz-0.0.2.tar.gz +# subdirs: +# - auto-update +# - wai +packages: +- . +# Dependency packages to be pulled from upstream that are not in the snapshot. +# These entries can reference officially published versions as well as +# forks / in-progress versions pinned to a git hash. For example: +# +# extra-deps: +# - acme-missiles-0.3 +# - git: https://github.com/commercialhaskell/stack.git +# commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a +# +# extra-deps: [] + +# Override default flag values for project packages and extra-deps +# flags: {} + +# Extra package databases containing global packages +# extra-package-dbs: [] + +# Control whether we use the GHC we find on the path +# system-ghc: true +# +# Require a specific version of Stack, using version ranges +# require-stack-version: -any # Default +# require-stack-version: ">=3.1" +# +# Override the architecture used by Stack, especially useful on Windows +# arch: i386 +# arch: x86_64 +# +# Extra directories used by Stack for building +# extra-include-dirs: [/path/to/dir] +# extra-lib-dirs: [/path/to/dir] +# +# Allow a newer minor version of GHC than the snapshot specifies +# compiler-check: newer-minor diff --git a/day-17-haskell/stack.yaml.lock b/day-17-haskell/stack.yaml.lock new file mode 100644 index 0000000..a4edf3e --- /dev/null +++ b/day-17-haskell/stack.yaml.lock @@ -0,0 +1,13 @@ +# This file was autogenerated by Stack. +# You should not edit this file by hand. +# For more information, please see the documentation at: +# https://docs.haskellstack.org/en/stable/lock_files + +packages: [] +snapshots: +- completed: + sha256: 9444fadfa30b67a93080254d53872478c087592ad64443e47c546cdcd13149ae + size: 678857 + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/23/0.yaml + original: + url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/23/0.yaml diff --git a/day-17-haskell/test/Spec.hs b/day-17-haskell/test/Spec.hs new file mode 100644 index 0000000..cd4753f --- /dev/null +++ b/day-17-haskell/test/Spec.hs @@ -0,0 +1,2 @@ +main :: IO () +main = putStrLn "Test suite not yet implemented"