diff options
| -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 |