refs #7647
Change-Id: I783fa3029e48c73d93ac6bb320068bd28572da1d
importJava "java.nio.file.Path" where
data Path
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
importJava "java.nio.file.Paths" where