-- 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
 #-}