From 281425310c5db21f87981eeb9601a71d1974d98d Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 10 Apr 2014 05:25:03 +1000 Subject: Rearranging files --- Unlambda/Builtins.hs | 70 ---------------------------------------------------- 1 file changed, 70 deletions(-) delete mode 100644 Unlambda/Builtins.hs (limited to 'Unlambda/Builtins.hs') diff --git a/Unlambda/Builtins.hs b/Unlambda/Builtins.hs deleted file mode 100644 index bb054a1..0000000 --- a/Unlambda/Builtins.hs +++ /dev/null @@ -1,70 +0,0 @@ -module Unlambda.Builtins ( - k, - s, - i, - dot, - r, - d, - c, - e - ) where - - -import Control.Exception( Exception(..), throw ) - - - -data MyException = MyException { func :: a -> b } - deriving (Show, Eq) - -instance Exception MyException - - - -k :: a -> b -> a -k x y = x - - - -s :: (a -> b -> c) -> (a -> b) -> a -> c -s x y z = (x z) (y z) - - - -i :: a -> a -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 - - - -r :: a -> IO a -r f = putChar '\n' >> return f - - - --- may not work as per unlambda lazy semantics -d :: (a -> b) -> (a -> b) -d x = (\y -> x y) - - - -c :: (a -> b) -> (a -> b) -c x = (`runCont` id) (callCC $ \cont -> x cont) - - - -e :: a -> b -e x = throw (MyException x) - -- cgit