5 importJava "java.io.File" where
12 childFile :: File -> String -> File
15 pathOfFile :: File -> String
17 @JavaName "getAbsolutePath"
21 parentFile :: File -> String
24 fileExists :: File -> <Proc> Boolean
26 @JavaName createNewFile
27 createFile :: File -> <Proc> ()
30 sizeOfFile :: File -> <Proc> Long
32 @JavaName createTempFile
33 createTempFile :: String -> String -> Maybe File -> <Proc> File
35 @JavaName deleteOnExit
36 deleteFileOnExit :: File -> <Proc> ()
39 deleteFile :: File -> <Proc> ()
42 makeDirs :: File -> <Proc> Boolean
44 isFile :: File -> <Proc> Boolean
45 isDirectory :: File -> <Proc> Boolean
49 listMaybeFiles :: File -> <Proc> Maybe (Vector File)
51 listFiles :: File -> <Proc> Vector File
53 match listMaybeFiles filees with
57 importJava "org.simantics.scl.runtime.io.FileIO" where
58 copyFile :: File -> File -> <Proc> ()
59 moveFile :: File -> File -> <Proc> ()
60 syncFile :: File -> <Proc> ()
61 createTempDirectory :: String -> Maybe File -> <Proc> File
64 pwd () = cwd (file "")
66 instance Show File where
69 importJava "java.io.FileInputStream" where
72 openFileForReading :: File -> InputStream
74 instance Readable File where
75 openForReading = openFileForReading
77 importJava "java.io.FileOutputStream" where
80 openFileForWriting :: File -> OutputStream
82 instance Writable File where
83 openForWriting = openFileForWriting