old/fun/test.icl

   1 module test
   2
   3 import StdEnv
   4
   5 Start = fun 42 [0, 1, 2, 42]
   6
   7 (oo) infixr 9 :: ((a -> b) (c d -> a) c d -> b)
   8 (oo) = (o) o (o)
   9
  10 (ooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
  11 (ooo) = (o) o (o) o (o)
  12
  13 (oooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
  14 (oooo) = (o) o (o) o (o) o (o)
  15
  16 //(on) infixr 9// :: (a -> b) -> (c -> a) c -> b)
  17 //(on) n = fold [(o)  = (o)
  18 //(on) n = (o) o ((on) (n-1))
  19
  20 //fun = fmap not isMember
  21 fun = fmap (fmap not) isMember