maam-0.1.0.0: A monadic framework for abstract interpretation.
FP.IO
readFile :: String -> IO String Source
writeFile :: String -> String -> IO () Source