KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.Global

Documentation

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

C_Temporary 
C_Persistent (List C_Char) 
C_GlobalSpecFail C_Exceptions 
C_GlobalSpecOr OrRef (Branches C_GlobalSpec) 

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