diff options
| author | Camil Staps | 2016-02-02 19:24:50 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-02-02 19:24:50 +0100 |
| commit | a7d7542dc646a5fd124ef71e71ce260889f1701b (patch) | |
| tree | 04ed89503bbb3cc9933273a1326a53ca724c3492 /1415/files/practicum/StdBool2.icl | |
| parent | week6 camil: working positioning of lines by putting empties at left and righ... (diff) | |
Diffstat (limited to '1415/files/practicum/StdBool2.icl')
| -rw-r--r-- | 1415/files/practicum/StdBool2.icl | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/1415/files/practicum/StdBool2.icl b/1415/files/practicum/StdBool2.icl new file mode 100644 index 0000000..9efebc4 --- /dev/null +++ b/1415/files/practicum/StdBool2.icl @@ -0,0 +1,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]
+ )
|