Package frege.IO

Compiled: Wed Dec 05 00:00:39 PST 2012 from source file: ./frege/IO.fr

Package Documentation

This module provides definitions for many java classes, interfaces and methods from the java.io package.

Table of Content

Imports

Type Aliases

type BufferedReader = BufferedReader
type ClassLoader = ClassLoader
type File = File
type FileInputStream = FileInputStream
type FileReader = FileReader
type InputStream = InputStream
type InputStreamReader = InputStreamReader
type OutputStreamWriter = OutputStreamWriter
type PrintStream = PrintStream
type PrintWriter = PrintWriter
type StringWriter = StringWriter

a StringWriter suitable for the IO Monad.

type URL = URL
type URLArr = Frozen URLArray
type URLClassLoader = URLClassLoader
type Writer = Writer

Classes

class Appendable a

Known Instances

StringBuilder, PrintStreamS, PrintWriterS, StringWriterS

Member Functions

append :: Appendable a => a s -> String -> Mutable a s
native append
appendChar :: Appendable a => a s -> Char -> Mutable a s
native append
class Closeable t

Known Instances

BufferedReaderS, FileReaderS, InputStreamReaderS, StringWriterS, PrintWriterS

Member Functions

close :: Closeable t => t s -> ST s (Exception ())
native close
class LineReader (Closeable a, Reader a) => a

Known Instances

BufferedReaderS

Member Functions

getlines :: LineReader a => a RealWorld -> IO [String]
readLine :: LineReader a => a RealWorld -> IO (Exception (Maybe String))
native readLine
class Reader Closeable a => a

Known Instances

BufferedReaderS, FileReaderS, InputStreamReaderS

Member Functions

read :: Reader a => a RealWorld -> IO (Exception Int)
native read

Instances

instance Appendable PrintStreamS

Member Functions

append :: PrintStreamS α -> String -> Mutable PrintStreamS α
native append

inherited from Appendable.append

appendChar :: PrintStreamS α -> Char -> Mutable PrintStreamS α
native append

inherited from Appendable.appendChar

instance Appendable PrintWriterS

Member Functions

append :: PrintWriterS α -> String -> Mutable PrintWriterS α
native append

inherited from Appendable.append

appendChar :: PrintWriterS α -> Char -> Mutable PrintWriterS α
native append

inherited from Appendable.appendChar

instance Appendable StringBuilder

Member Functions

append :: StringBuilder α -> String -> Mutable StringBuilder α
native append

inherited from Appendable.append

appendChar :: StringBuilder α -> Char -> Mutable StringBuilder α
native append

inherited from Appendable.appendChar

instance Appendable StringWriter

Member Functions

append :: StringWriter α -> String -> Mutable StringWriter α
native append

inherited from Appendable.append

appendChar :: StringWriter α -> Char -> Mutable StringWriter α
native append

inherited from Appendable.appendChar

instance Cloneable URLArray

Member Functions

clone :: URLArray α -> URLArray β
pure native clone

inherited from Cloneable.clone

freeze :: URLArray α -> ST α (Frozen URLArray)

inherited from Cloneable.freeze

our :: URLArray α -> ST α (Frozen URLArray)
native frege.RT.our
thaw :: Frozen URLArray -> Mutable URLArray α

inherited from Cloneable.thaw

withFrozen :: URLArray α -> (Frozen URLArray->β) -> ST α β

inherited from Freezable.withFrozen

instance Closeable PrintWriterS

Member Functions

close :: PrintWriterS α -> ST α (Exception ())
native close

inherited from Closeable.close

instance Closeable StringWriter

note that the java doc states: Closing a StringWriter has no effect.

Member Functions

close :: StringWriter α -> ST α (Exception ())
native close

inherited from Closeable.close

instance LineReader BufferedReaderS

Member Functions

close :: BufferedReaderS α -> ST α (Exception ())
native close

inherited from Closeable.close

getlines :: BufferedReader -> IO [String]
read :: BufferedReader -> IO (Exception Int)
native read

inherited from Reader.read

readLine :: BufferedReader -> IO (Exception (Maybe String))
native readLine
instance Reader FileReaderS

Member Functions

close :: FileReaderS α -> ST α (Exception ())
native close

inherited from Closeable.close

read :: FileReader -> IO (Exception Int)
native read
instance Reader InputStreamReaderS

Member Functions

close :: InputStreamReaderS α -> ST α (Exception ())
native close

inherited from Closeable.close

read :: InputStreamReader -> IO (Exception Int)
native read
instance Serializable FileS

Member Functions

copySerializable :: FileS α -> FileS β
pure native frege.RT.copySerializable

inherited from Serializable.copySerializable

freeze :: FileS α -> ST α (Frozen FileS)

inherited from Serializable.freeze

our :: FileS α -> ST α (Frozen FileS)

inherited from Freezable.our

thaw :: Frozen FileS -> Mutable FileS α

inherited from Serializable.thaw

withFrozen :: FileS α -> (Frozen FileS->β) -> ST α β

inherited from Freezable.withFrozen

instance Show Frozen FileS

Member Functions

display :: Frozen FileS -> String

inherited from Show.display

show :: Frozen FileS -> String
showList :: [Frozen FileS] -> String -> String

inherited from Show.showList

showsPrec :: Int -> Frozen FileS -> String -> String

inherited from Show.showsPrec

showsub :: Frozen FileS -> String

inherited from Show.showsub

Data Types

data BufferedReaderS s = native java.io.BufferedReader

Member Functions

fromISR :: InputStreamReader -> Mutable BufferedReaderS RealWorld
native new
new :: FileReader -> Mutable BufferedReaderS RealWorld
native new
open :: String -> IO (Exception BufferedReader)
data ClassLoaderS σ = native java.lang.ClassLoader

Member Functions

current :: Mutable ClassLoaderS RealWorld
getClassLoader :: Class -> Mutable ClassLoaderS RealWorld
native getClassLoader
data FileInputStreamS s = native java.io.FileInputStream

Member Functions

inputStream :: FileInputStream -> InputStream
pure native (java.io.InputStream)

downcast from FileInputStream to InputStream

new :: File -> IO (Exception FileInputStream)
native new
open :: String -> IO (Exception FileInputStream)
native new
data FileReaderS s = native java.io.FileReader

Member Functions

new :: File -> IO (Exception FileReader)
native new
open :: String -> IO (Exception FileReader)
native new
data FileS s = native java.io.File

Member Functions

canRead :: File -> IO Bool
native canRead
canWrite :: File -> IO Bool
native canWrite
delete :: File -> IO Bool
native delete
exists :: File -> IO Bool
native exists
getName :: File -> IO String
native getName
getParentFile :: File -> IO (Maybe File)
native getParentFile
getPath :: File -> IO String
native getPath
getPathF :: Frozen FileS -> String
pure native getPath
isAbsolute :: Frozen FileS -> Bool
pure native isAbsolute
isDirectory :: File -> IO Bool
native isDirectory
isFile :: File -> IO Bool
native isFile
lastModified :: File -> IO Long
native lastModified
list :: File -> IO (Maybe (Frozen Arrays.StringArray))
native list
mkdirs :: File -> IO Bool
native mkdirs
new :: String -> Mutable FileS s
native new
newFS :: FileS s -> String -> Mutable FileS s
native new
pathSeparator :: String
pure native java.io.File.pathSeparator
renameTo :: File -> File -> IO Bool
native renameTo
separator :: String
pure native java.io.File.separator
toURI :: Frozen FileS -> URI
pure native toURI
toURL :: Frozen FileS -> Frozen URLS
data InputStreamReaderS s = native java.io.InputStreamReader

Member Functions

encoded :: InputStream -> String -> IO (Exception InputStreamReader)
native new
new :: InputStream -> Mutable InputStreamReaderS RealWorld
native new
data InputStreamS s = native java.io.InputStream
data OutputStreamWriterS s = native java.io.OutputStreamWriter

Member Functions

close :: OutputStreamWriter -> IO (Exception ())
native close
new :: PrintStream -> String -> IO (Exception OutputStreamWriter)
native new
toWriter :: OutputStreamWriterS x -> Mutable WriterS x
native (java.io.Writer)
data PrintStreamS s = native java.io.PrintStream

Member Functions

println :: PrintStream -> IO ()
native println
data PrintWriterS s = native java.io.PrintWriter

Member Functions

encoded :: File -> String -> IO (Exception PrintWriter)
native new
fromWriter :: Writer -> Mutable PrintWriterS RealWorld
native new
fromWriterAf :: Writer -> Bool -> Mutable PrintWriterS RealWorld
native new
new :: File -> IO (Exception PrintWriter)
native new
open :: String -> IO (Exception PrintWriter)
native new
print :: PrintWriter -> String -> IO ()
native print
printLn :: PrintWriter -> IO ()
native println
println :: PrintWriter -> String -> IO ()
native println
toWriter :: PrintWriterS x -> Mutable WriterS x
native (java.io.Writer)
data StringBuilder s = native java.lang.StringBuilder

Member Functions

new :: String -> Mutable StringBuilder s
native new
toString :: StringBuilder s -> ST s String
native toString
data StringWriterS s = native java.io.StringWriter

Frege type for a java.io.StringWriter

Not intended for direct use but rather as something a PrintWriter can be made of. (Though, because of the Appendable instance, one could still Appendable.append directly.)

To be used like:

 action :: PrintWriter -> IO ()
 action =  ...
 actionOnStringWriter :: IO String
 actionOnStringWriter = do
       sw <- StringWriter.new
       pr <- sw.printer
       action pr
       pr.close
       sw.toString

Member Functions

new :: () -> Mutable StringWriterS s
native new

create a fresh StringWriter

printer :: StringWriterS s -> ST s PrintWriter
native new

make a PrintWriter that prints to this StringWriter

toString :: StringWriterS s -> ST s String
native toString

get the content of a StringWriter as String

data URI = native java.net.URI

Member Functions

create :: String -> URI
pure native java.net.URI.create
new :: String -> Exception URI
pure native new
relativize :: URI -> URI -> URI
pure native relativize
toASCIIString :: URI -> String
pure native toASCIIString
toString :: URI -> String
pure native toString
toURL :: URI -> Exception (Frozen URLS)
pure native toURL
data URLArray s = native java.net.URL[]

Member Functions

elemAt :: Frozen URLArray -> Int -> Frozen URLS
pure native frege.rt.Box.<java.net.URL>arrayGet

use this only if it is absolutely sure that there are no nulls in the array

fromList :: [Frozen URLS] -> Frozen URLArray
fromListST :: [Frozen URLS] -> ST u (Frozen URLArray)
frozenGetAt :: Frozen URLArray -> Int -> Maybe (Frozen URLS)
pure native frege.rt.Box.<java.net.URL>arrayGet
getAt :: URLArray s -> Int -> ST s (Maybe (URLS s))
native frege.rt.Box.<java.net.URL>arrayGet
length :: Frozen URLArray -> Int
pure native frege.rt.Box.<java.net.URL>arrayLen
new :: Int -> Mutable URLArray s
native java.net.URL[]
setAt :: URLArray s -> Int -> Frozen URLS -> ST s ()
native frege.rt.Box.<java.net.URL>arraySet
toList :: Frozen URLArray -> [Frozen URLS]
data URLClassLoaderS σ = native java.net.URLClassLoader

Member Functions

classLoader :: URLClassLoaderS α -> ClassLoaderS α
pure native (java.lang.ClassLoader)
findResource :: URLClassLoader -> String -> IO (Maybe URL)
native findResource
getResource :: URLClassLoader -> String -> IO (Maybe URL)
native getResource
loadClass :: URLClassLoader -> String -> IO (Exception Class)
native loadClass
new :: Frozen URLArray -> ClassLoader -> IO (Exception URLClassLoader)
native new
data URLS s = native java.net.URL

Member Functions

openStream :: URL -> IO (Exception InputStream)
native openStream
toString :: Frozen URLS -> String
pure native toString
data WriterS s = native java.io.Writer

Functions and Values

<< :: (Appendable β, Show α) => Mutable β γ -> α -> Mutable β γ
currentTimeMillis :: () -> IO Long
native System.currentTimeMillis
exit :: Int -> IO ()
native System.exit
getProperty :: String -> Maybe String
pure native System.getProperty
getSystemResource :: String -> IO (Maybe URL)
native java.lang.ClassLoader.getSystemResource
getenv :: String -> Maybe String
pure native System.getenv
stderr :: Mutable PrintStreamS RealWorld
native java.lang.System.err
stdin :: Mutable InputStreamS RealWorld
native java.lang.System.in
stdout :: Mutable PrintStreamS RealWorld
native java.lang.System.out

Functions and Values by Type

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 β γ

<<

Valid HTML 4.01 Strict