KiCS-0.9.3: A compiler from Curry to Haskell

Safe Haskell	Safe-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

Read C_GlobalSpec
Show C_GlobalSpec
BaseCurry C_GlobalSpec
Curry C_GlobalSpec

c_readGlobal :: Curry t0 => C_Global t0 -> State -> C_IO t0Source

c_writeGlobal :: Curry t0 => C_Global t0 -> t0 -> State -> C_IO T0 Source

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 T0 Source