Writer.scl

   1 import "JavaBuiltin" as Java
   2
   3 importJava "java.io.Writer" where
   4     data Writer
   5
   6 importJava "java.io.StringWriter" where
   7     data StringWriter
   8
   9     @JavaName "<init>"
  10     createStringWriter :: <Proc> StringWriter
  11
  12     @JavaName toString
  13     resultOfStringWriter :: StringWriter -> <Proc> String
  14
  15 class WriterLike a where
  16     toWriter :: a -> Writer
  17 instance WriterLike StringWriter where
  18     toWriter = Java.unsafeCoerce