repositories
/
clean-tests.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
a10
[clean-tests.git]
/
funcdeps
/
test.icl
diff --git
a/funcdeps/test.icl
b/funcdeps/test.icl
index
5a03545
..
3f9bb21
100644
(file)
--- a/
funcdeps/test.icl
+++ b/
funcdeps/test.icl
@@
-1,18
+1,9
@@
module test
module test
-import Std
Misc
+import Std
Env
-:: Zero = Zero
-:: Succ a = Succ
+class fmap t :: (a -> b) (t a) -> t b
-
:: Ar3 a b c :== (a -> b -> c
)
+
instance fmap ((,)a) where fmap f (a, b) = (a, f b
)
-class C m :: (m b)
-
-instance C ((->) a) where C = \x->undef
-
-Start :: (a -> b -> c)
-Start = t
-
-t :: (Ar3 a b c)
-t = C
+Start = fmap inc (42, 37)