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