From 4e987026148fe65c323afbc93cd560c07bf06b3f Mon Sep 17 00:00:00 2001
From: Yale AI Dept <ai@nebula.cs.yale.edu>
Date: Wed, 14 Jul 1993 13:08:00 -0500
Subject: Import to github.

---
 progs/prelude/PreludeIOPrims.hi | 55 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 progs/prelude/PreludeIOPrims.hi

(limited to 'progs/prelude/PreludeIOPrims.hi')

diff --git a/progs/prelude/PreludeIOPrims.hi b/progs/prelude/PreludeIOPrims.hi
new file mode 100644
index 0000000..e4c2e74
--- /dev/null
+++ b/progs/prelude/PreludeIOPrims.hi
@@ -0,0 +1,55 @@
+-- These lisp functions implement the standard Haskell requests
+
+interface PreludeBltinIO where
+
+import PreludeCore(String,Bin)
+import PreludeIO(SystemState,IOResult,IO)
+data IOResponse a = Succ a | Fail String
+
+{-# Prelude #-}
+
+primReadStringFile :: String -> IO (IOResponse String)
+primWriteStringFile :: String -> String -> IO (IOResponse ())
+primAppendStringFile :: String -> String -> IO (IOResponse ())
+primReadBinFile :: String -> IO (IOResponse Bin)
+primWriteBinFile :: String -> Bin -> IO (IOResponse ())
+primAppendBinFile :: String -> Bin -> IO (IOResponse ())
+primDeleteFile :: String -> IO (IOResponse ())
+primStatusFile :: String -> IO (IOResponse String)
+primReadStdin :: IO String
+primWriteStdout :: String -> IO (IOResponse ())
+primReadBinStdin :: IO (IOResponse Bin)
+primWriteBinStdout :: Bin -> IO (IOResponse ())
+primGetEnv :: String -> IO (IOResponse String)
+
+{-#
+primReadStringFile ::   LispName("prim.read-string-file")
+primWriteStringFile ::  LispName("prim.write-string-file"), NoConversion
+primAppendStringFile :: LispName("prim.append-string-file"), NoConversion
+primReadBinFile ::      LispName("prim.read-bin-file")
+primWriteBinFile ::     LispName("prim.write-bin-file")
+primAppendBinFile ::    LispName("prim.append-bin-file")
+primDeleteFile ::       LispName("prim.delete-file")
+primStatusFile ::       LispName("prim.status-file")
+primReadStdin ::        LispName("prim.read-string-stdin"), NoConversion
+primWriteStdout ::      LispName("prim.write-string-stdout"), NoConversion
+primReadBinStdin ::     LispName("prim.read-bin-stdin")
+primWriteBinStdout ::   LispName("prim.write-bin-stdout")
+primGetEnv ::           LispName("prim.getenv")
+#-}
+
+--   Monad prims
+
+returnIO :: a -> IO a
+getState :: IOResult a -> SystemState
+getRes :: IOResult a -> a
+
+{-#
+returnIO :: LispName("prim.returnio"), 
+            Strictness("N,S"), NoConversion, Complexity(3)
+getState :: LispName("prim.getstate"), 
+            Strictness("S"), NoConversion, Complexity(3)
+getRes :: LispName("prim.getres"), 
+          Strictness("S"), NoConversion
+#-}
+
-- 
cgit v1.2.3