Compare commits

..

2 Commits

  1. 36
      src/Day2.hs

@ -4,10 +4,12 @@ module Day2 (day2) where
import qualified Data.Text as T import qualified Data.Text as T
import qualified Data.Attoparsec.Text as P import qualified Data.Attoparsec.Text as P
import Data.List (elemIndices)
type Max = Integer type Max = Int
type Min = Integer type Min = Int
type Letter = Char type Letter = Char
type Validator = Policy -> String -> Bool
data Policy = Policy { lBound :: Min data Policy = Policy { lBound :: Min
, uBound :: Max , uBound :: Max
@ -24,20 +26,34 @@ parserPolicy = do
_ <- P.string ": " _ <- P.string ": "
return $ Policy lB uB le return $ Policy lB uB le
validatePolicy :: Policy -> String -> Bool validatePolicy :: Validator
validatePolicy p s = validatePolicy p s =
let l = toInteger . length $ filter (== letter p) s in let l = length $ filter (== letter p) s in
l >= lBound p && l <= uBound p l >= lBound p && l <= uBound p
validateLine :: String -> Bool validateLine :: Validator -> String -> Bool
validateLine s = validateLine v s =
case P.parse parserPolicy (T.pack s) of case P.parse parserPolicy (T.pack s) of
P.Fail {} -> error "day2 - parser error" P.Fail {} -> error "day2 - parser error"
P.Partial _ -> error "day2 - input error" P.Partial _ -> error "day2 - input error"
P.Done i r -> validatePolicy r (T.unpack i) P.Done i r -> v r (T.unpack i)
xor :: Bool -> Bool -> Bool
xor True = not
xor False = id
validateCorrectPolicy :: Validator
validateCorrectPolicy p s =
let index1 = lBound p - 1
index2 = uBound p - 1
indices = elemIndices (letter p) s in
xor (index1 `elem` indices) (index2 `elem` indices)
day2 :: IO () day2 :: IO ()
day2 = do day2 = do
r <- readFile "./input/day2" rs <- lines <$> readFile "./input/day2"
putStr "[Day 1-1] # valid passwords: " putStr "[Day 2-1] # valid passwords: "
print . length . filter (==True) . fmap validateLine . lines $ r print . length . filter (==True) . fmap (validateLine validatePolicy) $ rs
putStr "[Day 2-2] # valid passwords: "
print . length . filter (==True) . fmap (validateLine validateCorrectPolicy) $ rs

Loading…
Cancel
Save