This module provides definitions for many java classes, interfaces and methods from the java.io package.
-
BufferedReader -> IO (Exception (Maybe String))
-
LineReader_BufferedReaderS.readLine
-
BufferedReader -> IO (Exception Int)
-
LineReader_BufferedReaderS.read
-
BufferedReader -> IO [String]
-
LineReader_BufferedReaderS.getlines
-
FileInputStream -> InputStream
-
FileInputStreamS.inputStream
-
FileReader -> IO (Exception Int)
-
Reader_FileReaderS.read
-
FileReader -> Mutable BufferedReaderS RealWorld
-
BufferedReaderS.new
-
Frozen FileS -> Frozen URLS
-
FileS.toURL
-
Frozen FileS -> String
-
Show_FileS.show, Show_FileS.display, Show_FileS.showsub, FileS.getPathF
-
Frozen FileS -> URI
-
FileS.toURI
-
Frozen FileS -> Bool
-
FileS.isAbsolute
-
File -> File -> IO Bool
-
FileS.renameTo
-
File -> String -> IO (Exception PrintWriter)
-
PrintWriterS.encoded
-
File -> IO (Exception FileInputStream)
-
FileInputStreamS.new
-
File -> IO (Exception FileReader)
-
FileReaderS.new
-
File -> IO (Exception PrintWriter)
-
PrintWriterS.new
-
File -> IO (Maybe File)
-
FileS.getParentFile
-
File -> IO (Maybe (Frozen Arrays.StringArray))
-
FileS.list
-
File -> IO String
-
FileS.getPath, FileS.getName
-
File -> IO Bool
-
FileS.delete, FileS.canWrite, FileS.canRead, FileS.exists, FileS.mkdirs, FileS.isFile, FileS.isDirectory
-
File -> IO Long
-
FileS.lastModified
-
InputStreamReader -> IO (Exception Int)
-
Reader_InputStreamReaderS.read
-
InputStreamReader -> Mutable BufferedReaderS RealWorld
-
BufferedReaderS.fromISR
-
InputStream -> String -> IO (Exception InputStreamReader)
-
InputStreamReaderS.encoded
-
InputStream -> Mutable InputStreamReaderS RealWorld
-
InputStreamReaderS.new
-
OutputStreamWriter -> IO (Exception ())
-
OutputStreamWriterS.close
-
PrintStream -> String -> IO (Exception OutputStreamWriter)
-
OutputStreamWriterS.new
-
PrintStream -> IO ()
-
PrintStreamS.println
-
PrintWriter -> String -> IO ()
-
PrintWriterS.print, PrintWriterS.println
-
PrintWriter -> IO ()
-
PrintWriterS.printLn
-
Frozen URLArray -> ClassLoader -> IO (Exception URLClassLoader)
-
URLClassLoaderS.new
-
Frozen URLArray -> Int -> Frozen URLS
-
URLArray.elemAt
-
Frozen URLArray -> Int -> Maybe (Frozen URLS)
-
URLArray.frozenGetAt
-
Frozen URLArray -> [Frozen URLS]
-
URLArray.toList
-
Frozen URLArray -> Int
-
URLArray.length
-
URLClassLoader -> String -> IO (Exception Class)
-
URLClassLoaderS.loadClass
-
URLClassLoader -> String -> IO (Maybe URL)
-
URLClassLoaderS.findResource, URLClassLoaderS.getResource
-
Frozen URLS -> String
-
URLS.toString
-
URL -> IO (Exception InputStream)
-
URLS.openStream
-
Writer -> Bool -> Mutable PrintWriterS RealWorld
-
PrintWriterS.fromWriterAf
-
Writer -> Mutable PrintWriterS RealWorld
-
PrintWriterS.fromWriter
-
String -> Exception URI
-
URI.new
-
String -> IO (Exception BufferedReader)
-
BufferedReaderS.open
-
String -> IO (Exception FileInputStream)
-
FileInputStreamS.open
-
String -> IO (Exception FileReader)
-
FileReaderS.open
-
String -> IO (Exception PrintWriter)
-
PrintWriterS.open
-
String -> IO (Maybe URL)
-
getSystemResource
-
String -> Maybe String
-
getProperty, getenv
-
String -> URI
-
URI.create
-
[Frozen FileS] -> String -> String
-
Show_FileS.showList
-
[Frozen URLS] -> Frozen URLArray
-
URLArray.fromList
-
URI -> URI -> URI
-
URI.relativize
-
URI -> Exception (Frozen URLS)
-
URI.toURL
-
URI -> String
-
URI.toASCIIString, URI.toString
-
() -> IO Long
-
currentTimeMillis
-
Class -> Mutable ClassLoaderS RealWorld
-
ClassLoaderS.getClassLoader
-
Int -> Frozen FileS -> String -> String
-
Show_FileS.showsPrec
-
Int -> IO ()
-
exit
-
Mutable ClassLoaderS RealWorld
-
ClassLoaderS.current
-
Mutable InputStreamS RealWorld
-
stdin
-
Mutable PrintStreamS RealWorld
-
stderr, stdout
-
String
-
FileS.pathSeparator, FileS.separator
-
StringWriter α -> String -> Mutable StringWriter α
-
Appendable_StringWriter.append
-
StringWriter α -> Char -> Mutable StringWriter α
-
Appendable_StringWriter.appendChar
-
StringWriter α -> ST α (Exception ())
-
Closeable_StringWriter.close
-
BufferedReaderS α -> ST α (Exception ())
-
LineReader_BufferedReaderS.close
-
FileReaderS α -> ST α (Exception ())
-
Reader_FileReaderS.close
-
Frozen FileS -> Mutable FileS α
-
Serializable_FileS.thaw
-
FileS s -> String -> Mutable FileS s
-
FileS.newFS
-
FileS α -> ST α (Frozen FileS)
-
Serializable_FileS.freeze, Serializable_FileS.our
-
InputStreamReaderS α -> ST α (Exception ())
-
Reader_InputStreamReaderS.close
-
OutputStreamWriterS x -> Mutable WriterS x
-
OutputStreamWriterS.toWriter
-
PrintStreamS α -> String -> Mutable PrintStreamS α
-
Appendable_PrintStreamS.append
-
PrintStreamS α -> Char -> Mutable PrintStreamS α
-
Appendable_PrintStreamS.appendChar
-
PrintWriterS x -> Mutable WriterS x
-
PrintWriterS.toWriter
-
PrintWriterS α -> String -> Mutable PrintWriterS α
-
Appendable_PrintWriterS.append
-
PrintWriterS α -> Char -> Mutable PrintWriterS α
-
Appendable_PrintWriterS.appendChar
-
PrintWriterS α -> ST α (Exception ())
-
Closeable_PrintWriterS.close
-
StringBuilder s -> ST s String
-
StringBuilder.toString
-
StringBuilder α -> String -> Mutable StringBuilder α
-
Appendable_StringBuilder.append
-
StringBuilder α -> Char -> Mutable StringBuilder α
-
Appendable_StringBuilder.appendChar
-
StringWriterS s -> ST s PrintWriter
-
StringWriterS.printer
-
StringWriterS s -> ST s String
-
StringWriterS.toString
-
Frozen URLArray -> Mutable URLArray α
-
Cloneable_URLArray.thaw
-
URLArray s -> Int -> Frozen URLS -> ST s ()
-
URLArray.setAt
-
URLArray s -> Int -> ST s (Maybe (URLS s))
-
URLArray.getAt
-
URLArray α -> ST α (Frozen URLArray)
-
Cloneable_URLArray.freeze, Cloneable_URLArray.our
-
URLClassLoaderS α -> ClassLoaderS α
-
URLClassLoaderS.classLoader
-
String -> Mutable FileS s
-
FileS.new
-
String -> Mutable StringBuilder s
-
StringBuilder.new
-
[Frozen URLS] -> ST u (Frozen URLArray)
-
URLArray.fromListST
-
() -> Mutable StringWriterS s
-
StringWriterS.new
-
Int -> Mutable URLArray s
-
URLArray.new
-
LineReader a => a RealWorld -> IO (Exception (Maybe String))
-
LineReader.readLine
-
LineReader a => a RealWorld -> IO [String]
-
LineReader.getlines
-
Reader a => a RealWorld -> IO (Exception Int)
-
Reader.read
-
FileS α -> (Frozen FileS->β) -> ST α β
-
Serializable_FileS.withFrozen
-
FileS α -> FileS β
-
Serializable_FileS.copySerializable
-
URLArray α -> (Frozen URLArray->β) -> ST α β
-
Cloneable_URLArray.withFrozen
-
URLArray α -> URLArray β
-
Cloneable_URLArray.clone
-
Appendable a => a s -> String -> Mutable a s
-
Appendable.append
-
Appendable a => a s -> Char -> Mutable a s
-
Appendable.appendChar
-
Closeable t => t s -> ST s (Exception ())
-
Closeable.close
-
(Appendable β, Show α) => Mutable β γ -> α -> Mutable β γ
-
<<