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

   1 effectfulId :: a -> <Proc> a\r
   2 effectfulId x = x\r
   3 \r
   4 (.) :: (b -> <e> c) -> (a -> <e> b) -> a -> <e> c\r
   5 (f . g) x = f (g x)\r
   6 \r
   7 doubleId = effectfulId . effectfulId\r
   8 \r
   9 main :: Integer\r
  10 main = runProc (doubleId (13 :: Integer))\r
  11 --\r
  12 13