-import "JavaBuiltin" as Java\r
-\r
-importJava "java.io.Writer" where\r
- data Writer\r
-\r
-importJava "java.io.StringWriter" where\r
- data StringWriter\r
- \r
- @JavaName "<init>"\r
- createStringWriter :: <Proc> StringWriter\r
-\r
- @JavaName toString\r
- resultOfStringWriter :: StringWriter -> <Proc> String\r
-\r
-class WriterLike a where\r
- toWriter :: a -> Writer\r
-instance WriterLike StringWriter where\r
+import "JavaBuiltin" as Java
+
+importJava "java.io.Writer" where
+ data Writer
+
+importJava "java.io.StringWriter" where
+ data StringWriter
+
+ @JavaName "<init>"
+ createStringWriter :: <Proc> StringWriter
+
+ @JavaName toString
+ resultOfStringWriter :: StringWriter -> <Proc> String
+
+class WriterLike a where
+ toWriter :: a -> Writer
+instance WriterLike StringWriter where
toWriter = Java.unsafeCoerce
\ No newline at end of file