KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.IOExts

Documentation

type Assocs = [(C_String, C_String)]Source

assocs :: IORef AssocsSource

getAssocs :: IO AssocsSource

setAssocs :: Assocs -> IO ()Source

prim_execCmd :: List C_Char -> Result (C_IO (T3 C_Handle C_Handle C_Handle))Source

prim_connectToCmd :: List C_Char -> Result (C_IO C_Handle)Source

forwardError :: Handle -> IO ()Source

prim_setAssoc :: List C_Char -> List C_Char -> Result (C_IO T0)Source

prim_getAssoc :: List C_Char -> Result (C_IO (C_Maybe (List C_Char)))Source

type C_IORef a = C_IORef aSource

newIORef :: Curry t0 => t0 -> Result (C_IO (C_IORef t0))Source

prim_readIORef :: Curry t0 => C_IORef t0 -> Result (C_IO t0)Source

prim_writeIORef :: Curry t0 => C_IORef t0 -> t0 -> Result (C_IO T0)Source

c_execCmd :: List C_Char -> State -> C_IO (T3 C_Handle C_Handle C_Handle)Source

c_connectToCommand :: List C_Char -> State -> C_IO C_HandleSource

c_readCompleteFile :: List C_Char -> State -> C_IO (List C_Char)Source

c_readCompleteFile'46f'467 :: (Curry t0, Curry t1) => List t0 -> t1 -> State -> t1Source

c_readCompleteFile'46_'35lambda2 :: List C_Char -> State -> C_IO (List C_Char)Source

c_updateFile :: Prim (List C_Char -> State -> List C_Char) -> List C_Char -> State -> C_IO T0Source

c_updateFile'46_'35lambda3 :: Prim (List C_Char -> State -> List C_Char) -> List C_Char -> List C_Char -> State -> C_IO T0Source

c_exclusiveIO :: Curry t0 => List C_Char -> C_IO t0 -> State -> C_IO t0Source

c_exclusiveIO'46_'35lambda4 :: Curry t44 => List C_Char -> t44 -> State -> C_IO t44Source

c_setAssoc :: List C_Char -> List C_Char -> State -> C_IO T0Source

c_getAssoc :: List C_Char -> State -> C_IO (C_Maybe (List C_Char))Source

c_readIORef :: Curry t0 => C_IORef t0 -> State -> C_IO t0Source

c_writeIORef :: Curry t0 => C_IORef t0 -> t0 -> State -> C_IO T0Source

c_prim_execCmd :: List C_Char -> State -> C_IO (T3 C_Handle C_Handle C_Handle)Source

c_prim_connectToCmd :: List C_Char -> State -> C_IO C_HandleSource

c_prim_setAssoc :: List C_Char -> List C_Char -> State -> C_IO T0Source

c_prim_getAssoc :: List C_Char -> State -> C_IO (C_Maybe (List C_Char))Source

c_newIORef :: Curry t0 => t0 -> State -> C_IO (C_IORef t0)Source

c_prim_readIORef :: Curry t0 => C_IORef t0 -> State -> C_IO t0Source

c_prim_writeIORef :: Curry t0 => C_IORef t0 -> t0 -> State -> C_IO T0Source