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