5 importJava "java.nio.file.Path" where
8 importJava "java.nio.file.Paths" where
11 paths :: String -> Vector String -> Path
13 path :: String -> Path
14 path path = paths path (vector [])
16 importJava "java.nio.file.OpenOption" where
19 importJava "java.nio.file.StandardOpenOption" where
23 TRUNCATE_EXISTING :: OpenOption
25 CREATE_NEW :: OpenOption
26 DELETE_ON_CLOSE :: OpenOption
31 importJava "java.nio.file.CopyOption" where
34 importJava "java.nio.file.LinkOption" where
37 importJava "java.nio.file.StandardCopyOption" where
38 REPLACE_EXISTING :: CopyOption
39 COPY_ATTRIBUTES :: CopyOption
40 ATOMIC_MOVE :: CopyOption
42 importJava "java.nio.file.LinkOption" where
43 NOFOLLOW_LINKS :: CopyOption // OpenOption
45 importJava "java.nio.file.attribute.FileAttribute" where
48 importJava "java.nio.file.Files" where
49 @JavaName newInputStream
50 newInputStreamWithOpenOptions :: Path -> Vector OpenOption -> <Proc, Exception> InputStream
52 @JavaName newOutputStream
53 newOutputStreamWithOpenOptions :: Path -> Vector OpenOption -> <Proc, Exception> OutputStream
56 createFileWithFileAttributes :: Path -> Vector FileAttribute -> <Proc, Exception> Path
58 @JavaName createDirectory
59 createDirectoryWithFileAttributes :: Path -> Vector FileAttribute -> <Proc, Exception> Path
61 @JavaName createDirectories
62 createDirectoriesWithFileAttributes :: Path -> Vector FileAttribute -> <Proc, Exception> Path
64 @JavaName createTempFile
65 createTempFileWithFileAttributes :: Path -> String -> String -> Vector FileAttribute -> <Proc, Exception> Path
67 delete :: Path -> <Proc, Exception> ()
69 deleteIfExists :: Path -> <Proc, Exception> Boolean
72 copyWithCopyOptions :: Path -> Path -> Vector CopyOption -> <Proc, Exception> Path
75 moveWithCopyOptions :: Path -> Path -> Vector CopyOption -> <Proc, Exception> Path
77 size :: Path -> <Proc, Exception> Long
80 existsWithLinkOptions :: Path -> Vector LinkOption -> <Proc> Boolean
83 notExistsWithLinkOptions :: Path -> Vector LinkOption -> <Proc> Boolean
85 isReadable :: Path -> <Proc> Boolean
87 isWritable :: Path -> <Proc> Boolean
89 isExecutable :: Path -> <Proc> Boolean
91 // Simupedia has BufferedReader.scl module which contains BufferedReader
92 // newBufferedReader :: Path -> Charset -> <Proc> BufferedReader
93 // newBufferedReader :: Path -> <Proc> BufferedReader
96 copyInputStreamWithCopyOptions :: InputStream -> Path -> Vector CopyOption -> <Proc, Exception> Long
99 copyToOutputStream :: Path -> OutputStream -> <Proc, Exception> Long
101 readAllBytes :: Path -> <Proc, Exception> Vector Byte
103 @JavaName readAllLines
104 readAllLinesWithCharset :: Path -> Charset -> <Proc, Exception> [String]
106 readAllLines :: Path -> <Proc, Exception> [String]
109 writeBytesWithOpenOptions :: Path -> Vector Byte -> Vector OpenOption -> <Proc, Exception> Path
111 newInputStream :: Path -> <Proc, Exception> InputStream
112 newInputStream path = newInputStreamWithOpenOptions path (vector [])
114 newOutputStream :: Path -> <Proc, Exception> OutputStream
115 newOutputStream path = newOutputStreamWithOpenOptions path (vector [])
117 createFile :: Path -> <Proc, Exception> Path
118 createFile path = createFileWithFileAttributes path (vector [])
120 createDirectory :: Path -> <Proc, Exception> Path
121 createDirectory path = createDirectoryWithFileAttributes path (vector [])
123 createDirectories :: Path -> <Proc, Exception> Path
124 createDirectories path = createDirectoriesWithFileAttributes path (vector [])
126 createTempFile :: Path -> String -> String -> <Proc, Exception> Path
127 createTempFile dir prefix suffix = createTempFileWithFileAttributes dir prefix suffix (vector [])
129 copy :: Path -> Path -> <Proc, Exception> Path
130 copy source target = copyWithCopyOptions source target (vector [])
132 move :: Path -> Path -> <Proc, Exception> Path
133 move source target = moveWithCopyOptions source target (vector [])
135 exists :: Path -> <Proc> Boolean
136 exists path = existsWithLinkOptions path (vector [])
138 notExists :: Path -> <Proc> Boolean
139 notExists path = notExistsWithLinkOptions path (vector [])