importJava "java.nio.file.Path" where
data Path
+
+ @JavaName "getParent"
+ getParentPath :: Path -> <Proc> Path
+
+ @JavaName "resolve"
+ resolvePath :: Path -> String -> <Proc> Path
+
+ @JavaName "relativize"
+ relativizePath :: Path -> Path -> <Proc> Path
+
+ toAbsolutePath :: Path -> <Proc> Path
+
+ @JavaName "toString"
+ pathToString :: Path -> <Proc> String
importJava "java.nio.file.Paths" where
copyToOutputStream :: Path -> OutputStream -> <Proc, Exception> Long
readAllBytes :: Path -> <Proc, Exception> Vector Byte
+ write :: Path -> Vector Byte -> Vector OpenOption -> <Proc,Exception> ()
@JavaName readAllLines
readAllLinesWithCharset :: Path -> Charset -> <Proc, Exception> [String]