tests/scl/Effects6.scl

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