tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Serialization3.scl

   1 import "Prelude"
   2 import "Serialization" as Serialization
   3
   4 rt :: Serialization.IO a => a -> a
   5 rt v = Serialization.readByteArray (Serialization.writeByteArray v)
   6
   7 data FooBar a = Foo Integer | Bar a
   8
   9 deriving instance (Show a) => Show (FooBar a)
  10 deriving instance (Serialization.IO a) => Serialization.IO (FooBar a)
  11
  12 /*
  13 instance IO FooBar where
  14     read s = match Serialization.read s :: Integer with
  15              0 -> Foo (Serialization.read s)
  16              1 -> Bar (Serialization.read s)
  17     write s (Foo x) = do Serialization.write s (0 :: Integer) ; Serialization.write s x
  18     write s (Bar x) = do Serialization.write s (1 :: Integer) ; Serialization.write s x
  19 */
  20 main = show (rt (Foo 3 :: FooBar Double))
  21 --
  22 Foo 3