Meta-data
Contents
readMany : Int -> (Handle R) -> (Handle R, String) <IO>
Read a string of a specified length from a file
auxiliaryReadFile : (Handle R) -> String -> (Handle R, String) <{Read, IOExcept}>
readFile : String -> String <{Open, Read, Close, IOExcept}>
Given a filename, open the file, read it all in, and close it
auxiliaryWriteFile : (Handle W) -> String -> (Handle W) <{Write, IOExcept}>
writeFile : String -> String -> () <{Open, Write, Close, IOExcept}>
Given a filename, and a string, open the file, write the string, and close