Compare commits
No commits in common. "463df720958dd14aa92d2552c037b0089e33aa32" and "aff4844a1eb50a88a6d00206fd54d527f81128d2" have entirely different histories.
463df72095
...
aff4844a1e
62
04/Main.idr
62
04/Main.idr
|
@ -1,62 +0,0 @@
|
|||
import Data.String
|
||||
import Data.List1
|
||||
import System.File.ReadWrite
|
||||
|
||||
record Range where
|
||||
constructor MkRange
|
||||
start, end : Int
|
||||
|
||||
-- Parse a range from a string like "2-4"
|
||||
parseRange : String -> Maybe Range
|
||||
parseRange str =
|
||||
let components = forget $ Data.String.split (== '-') str
|
||||
in case components of
|
||||
[x, y] => do start <- parseInteger x
|
||||
end <- parseInteger y
|
||||
Just $ MkRange start end
|
||||
_ => Nothing
|
||||
|
||||
-- Return true if the first range contains the second
|
||||
contains : Range -> Range -> Bool
|
||||
contains outer inner = (start outer <= start inner) && (end outer >= end inner)
|
||||
|
||||
-- Returns true if the first range contains part of the second
|
||||
overlaps : Range -> Range -> Bool
|
||||
overlaps outer inner = start outer <= start inner && end outer >= start inner
|
||||
|
||||
record RangePair where
|
||||
constructor MkRangePair
|
||||
first, second : Range
|
||||
|
||||
-- Parse a range pair from a string like "2-4,5-8"
|
||||
parseRangePair : String -> Maybe RangePair
|
||||
parseRangePair str =
|
||||
let components = forget $ Data.String.split (== ',') str
|
||||
in case components of
|
||||
[x, y] => do first <- parseRange x
|
||||
second <- parseRange y
|
||||
Just $ MkRangePair first second
|
||||
_ => Nothing
|
||||
|
||||
-- Returns true if one of the ranges contains the other
|
||||
doesContain : RangePair -> Bool
|
||||
doesContain pair = contains (first pair) (second pair) || contains (second pair) (first pair)
|
||||
|
||||
-- Returns true if one of the ranges overlaps the other
|
||||
doesOverlap : RangePair -> Bool
|
||||
doesOverlap pair = overlaps (first pair) (second pair) || overlaps (second pair) (first pair)
|
||||
|
||||
|
||||
main : IO ()
|
||||
main =
|
||||
do file <- readFile "input"
|
||||
case file of
|
||||
Right content =>
|
||||
let pairs = catMaybes . map parseRangePair . lines $ content
|
||||
containsCount = length . filter doesContain $ pairs
|
||||
overlapsCount = length . filter doesOverlap $ pairs
|
||||
in do putStr "Part 1: "
|
||||
printLn containsCount
|
||||
putStr "Part 2: "
|
||||
printLn overlapsCount
|
||||
Left err => printLn err
|
Loading…
Reference in New Issue