importJava "java.nio.file.attribute.FileAttribute" where
data FileAttribute
+importJava "java.nio.file.FileSystem" where
+ data FileSystem
+
+ @JavaName close
+ closeFileSystem :: FileSystem -> <Proc> ()
+
+ @JavaName getPath
+ getPathFromFileSystem :: FileSystem -> String -> Vector String -> <Proc> Path
+
+importJava "java.lang.ClassLoader" where
+ @private
+ data ClassLoader
+
+importJava "java.nio.file.FileSystems" where
+ @private
+ newFileSystem :: Path -> Maybe ClassLoader -> FileSystem
+
+newFileSystemFromPath path = newFileSystem path Nothing
+
importJava "java.nio.file.Files" where
@JavaName newInputStream
newInputStreamWithOpenOptions :: Path -> Vector OpenOption -> <Proc, Exception> InputStream