KiCS-0.9.3: A compiler from Curry to Haskell
Curry.Module.Global
type C_Global t0 = Prim (IORef t0)Source
global :: Curry t0 => t0 -> C_GlobalSpec -> Result (C_Global t0)Source
prim_readGlobal :: Curry t0 => C_Global t0 -> Result (C_IO t0)Source
prim_writeGlobal :: Curry t0 => C_Global t0 -> t0 -> Result (C_IO T0)Source
type C_IORef a = Prim (IORef a)Source
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
data C_GlobalSpec Source
Constructors
Instances
c_readGlobal :: Curry t0 => C_Global t0 -> State -> C_IO t0Source
c_writeGlobal :: Curry t0 => C_Global t0 -> t0 -> State -> C_IO T0Source
c_global :: Curry t0 => t0 -> C_GlobalSpec -> State -> C_Global t0Source
c_prim_readGlobal :: Curry t0 => C_Global t0 -> State -> C_IO t0Source
c_prim_writeGlobal :: Curry t0 => C_Global t0 -> t0 -> State -> C_IO T0Source