files/practicum/StdBool2.icl

   1 implementation module StdBool2
   2
   3 import StdEnv
   4
   5 lift0                                   :: // meest algemene type
   6 lift0 f          a              = f a
   7
   8 lift1                                   :: // meest algemene type
   9 lift1 f g1       a              = f (g1 a)
  10
  11 lift2                                   :: // meest algemene type
  12 lift2 f g1 g2    a              = f (g1 a) (g2 a)
  13
  14 lift3                                   :: // meest algemene type
  15 lift3 f g1 g2 g3 a              = f (g1 a) (g2 a) (g3 a)
  16
  17 instance ~~  Bool        where ...
  18 instance ||| Bool        where ...
  19 instance &&& Bool        where ...
  20
  21 instance ~~  (a -> Bool) where ...
  22 instance ||| (a -> Bool) where ...
  23 instance &&& (a -> Bool) where ...
  24
  25 Start = ( filter ((<) 3 &&& (>) 8) [1 .. 10]
  26         , filter (~~ ((==) 5))     [1 .. 10]
  27         )