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