KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.Meta

Synopsis

Documentation

prim_isFree :: Curry t0 => t0 -> Result (C_IO (C_Either t0 t0))Source

headNormalFormIO :: (Curry a, Curry b) => Prim (a -> Result (C_IO b)) -> a -> Result (C_IO b)Source

hnfIO :: BaseCurry t0 => t0 -> t -> C_IO t0Source

nfIO :: BaseCurry t0 => t0 -> t -> C_IO t0Source

gnfIO :: BaseCurry t0 => t0 -> t -> C_IO t0Source

ghnfIO :: BaseCurry t0 => t0 -> t -> C_IO t0Source

searchThread :: Curry a => MyQSem -> MVar [ThreadId] -> Chan (Maybe a) -> a -> IO ()Source

newtype MyQSem Source

Constructors

MyQSem (MVar (Int, [MVar ()])) 

newMyQSem :: Int -> IO MyQSemSource

Build a new MyQSem

incMyQSem :: MyQSem -> IO ()Source

Wait for a unit to become available

decMyQSem :: MyQSem -> IO ()Source

Signal that a unit of the MyQSem is available

cover :: Curry a => a -> Result aSource

ors :: Curry a => List a -> Result aSource

data C_Seq t0 Source

Instances

Read t0 => Read (C_Seq t0) 
Show t0 => Show (C_Seq t0) 
BaseCurry t0 => BaseCurry (C_Seq t0) 
Curry t0 => Curry (C_Seq t0) 

c_isFree :: Curry t0 => t0 -> State -> C_IO (C_Either t0 t0)Source

c_list :: Curry t0 => C_Seq t0 -> State -> List t0Source

c_interleave :: Curry t0 => C_Seq t0 -> C_Seq t0 -> State -> C_Seq t0Source

c_interleave_case_0 :: Curry t0 => C_Seq t0 -> C_Seq t0 -> C_Seq t0 -> State -> C_Seq t0Source

c_prim_isFree :: Curry t0 => t0 -> State -> C_IO (C_Either t0 t0)Source

c_headNormalFormIO :: (Curry t0, Curry t1) => Prim (t0 -> State -> C_IO t1) -> t0 -> State -> C_IO t1Source

c_gnfIO :: Curry t0 => t0 -> State -> C_IO t0Source

c_ghnfIO :: Curry t0 => t0 -> State -> C_IO t0Source

c_nfIO :: Curry t0 => t0 -> State -> C_IO t0Source

c_hnfIO :: Curry t0 => t0 -> State -> C_IO t0Source

c_parallelSearch :: Curry t0 => t0 -> State -> C_IO (List t0)Source

c_cover :: Curry t0 => t0 -> State -> t0Source

c_st :: Curry t0 => t0 -> State -> C_SearchTree t0Source

c_ors :: Curry t0 => List t0 -> State -> t0Source