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

   1 import "JavaBuiltin" as Java\r
   2 \r
   3 class Functor f where\r
   4     map :: (a -> b) -> f a -> f b\r
   5     \r
   6 data Foo a = Foo a\r
   7 \r
   8 instance Functor Foo where\r
   9     map f (Foo x) = Foo (f x)\r
  10     \r
  11 instance Functor Maybe where\r
  12     map f Nothing = Nothing\r
  13     map f (Just x) = Just (f x)\r
  14     \r
  15 data List a = Nil | Cons a (List a)\r
  16 \r
  17 instance Functor List where\r
  18     map f Nil = Nil\r
  19     map f (Cons h t) = Cons (f h) (map f t)\r
  20     \r
  21 main = map (map (Java.iadd 1)) (Cons Nothing (Cons (Just (1 :: Integer)) Nil))\r
  22 --\r
  23 (Cons null (Cons 2 Nil))