1 import "JavaBuiltin" as Java
3 importJava "java.io.Writer" where
6 importJava "java.io.StringWriter" where
10 createStringWriter :: <Proc> StringWriter
13 resultOfStringWriter :: StringWriter -> <Proc> String
15 class WriterLike a where
16 toWriter :: a -> Writer
17 instance WriterLike StringWriter where
18 toWriter = Java.unsafeCoerce