diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2014-04-09 23:17:38 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2014-04-09 23:17:38 +1000 |
| commit | e8695600977769008f285f9958eb043cca1b9b29 (patch) | |
| tree | 7c8bc8792ad6cb4c2599f33bb310f5119e4a0a13 | |
| parent | 16eb169df1f5a2dedfc6f71673982960d3ea73e6 (diff) | |
v function added, still not type perfect
| -rw-r--r-- | Unlambda/Builtins.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Unlambda/Builtins.hs b/Unlambda/Builtins.hs index 07f79a3..bb054a1 100644 --- a/Unlambda/Builtins.hs +++ b/Unlambda/Builtins.hs @@ -36,6 +36,14 @@ i = id +class Void a where + v :: a -> r + +instance Void v => Void (a -> r) where + v x = v + + + dot :: Char -> a -> IO a dot ch f = putChar ch >> return f |