Documentation

input :: (Num a, Read a) => [(Loc, (a, a))] #

type Loc = (Int, Int) #

data State #

initialState :: (Num a, Ord a) => [(Loc, (a, a))] -> State #

save :: State -> ShortByteString #

step :: Enum a => (State, a) -> Set ShortByteString -> ([(State, a)], Set ShortByteString) #

unfold :: (a -> b -> ([a], b)) -> b -> [a] -> [a] #

main :: IO () #