Language.C.Data.InputStream
type InputStream
readInputStream
inputStreamToString
inputStreamFromString
takeByte
takeChar
inputStreamEmpty
takeChars
countLines