Documentation

input :: [String] #

data Initial i e #

data Instruction i j #

parse :: (Read i, Read j, Read e) => ReadP (Either (Initial i e) (Instruction i j)) #

insertSorted :: (Ord i, Ord e) => e -> i -> Map i [e] -> Map i [e] #

initialize :: (Ord i, Ord e) => [Initial i e] -> Map i [e] #

step :: (Ord i, Ord j, Ord e) => [Instruction i j] -> (Map i [e], Map j [e]) -> (Map i [e], Map j [e]) #

main :: IO () #