Curry.Module.Unsafe

Documentation

prim_isVar :: Curry a => a -> Result C_Bool

prim_unsafePerformIO :: Curry a => C_IO a -> Result a

unsafe :: Curry a => IOVal a -> Result a

prim_identicalVar :: Curry a => a -> a -> Result C_Bool

prim_showAnyTerm :: (Show a1, ConvertCH a String) => a1 -> t -> a

prim_showAnyQTerm :: Curry a => a -> Result C_String

prim_readsAnyUnqualifiedTerm :: t

prim_readsAnyQTerm :: t

showAnyExpression :: t

showAnyQExpression :: t

spawnConstraint :: t -> t1 -> t2 -> a

try :: Curry a => a -> Result (C_Either a (T2 C_OrRef (List a)))

orsWithOrRef :: Curry a => C_OrRef -> List a -> Result a

generateChoice :: Curry a => List a -> Result a

nrOfChoices :: Result (C_IO C_Int)

c_unsafePerformIO :: Curry t0 => C_IO t0 -> State -> t0

c_trace :: Curry t0 => List C_Char -> t0 -> State -> t0

c_isVar :: Curry t0 => t0 -> State -> C_Bool

c_identicalVar :: Curry t0 => t0 -> t0 -> State -> C_Bool

c_showAnyTerm :: Curry t0 => t0 -> State -> List C_Char

c_showAnyQTerm :: Curry t0 => t0 -> State -> List C_Char

c_readsAnyUnqualifiedTerm :: Curry t0 => List (List C_Char) -> List C_Char -> State -> List (T2 t0 (List C_Char))

c_readsAnyUnqualifiedTermWithPrefixes :: Curry t0 => List (List C_Char) -> List C_Char -> State -> List (T2 t0 (List C_Char))

c_readAnyUnqualifiedTerm :: Curry t0 => List (List C_Char) -> List C_Char -> State -> t0

c_readsAnyQTerm :: Curry t0 => List C_Char -> State -> List (T2 t0 (List C_Char))

c_readAnyQTerm :: Curry t0 => List C_Char -> State -> t0

c_readAnyQTerm_case_3 :: Curry t0 => t -> List (T2 t0 (List C_Char)) -> State -> t0

c_readAnyQTerm_case_2 :: (BaseCurry t, Curry t0) => List t -> T2 t0 (List C_Char) -> State -> t0

c_readAnyQTerm_case_1 :: (BaseCurry t, Curry t0) => t0 -> List C_Char -> List t -> State -> t0

c_readAnyQTerm_case_0 :: Curry t0 => t0 -> t -> C_Bool -> State -> t0

c_readAnyUnqualifiedTerm_case_7 :: Curry t0 => t -> t1 -> List (T2 t0 (List C_Char)) -> State -> t0

c_readAnyUnqualifiedTerm_case_6 :: (BaseCurry t, Curry t0) => List t -> T2 t0 (List C_Char) -> State -> t0

c_readAnyUnqualifiedTerm_case_5 :: (BaseCurry t, Curry t0) => t0 -> List C_Char -> List t -> State -> t0

c_readAnyUnqualifiedTerm_case_4 :: Curry t0 => t0 -> List C_Char -> C_Bool -> State -> t0

c_prim_unsafePerformIO :: Curry t0 => C_IO t0 -> State -> t0

c_spawnConstraint :: Curry t0 => C_Success -> t0 -> State -> t0

c_prim_isVar :: Curry t0 => t0 -> State -> C_Bool

c_prim_identicalVar :: Curry t0 => t0 -> t0 -> State -> C_Bool

c_prim_showAnyTerm :: Curry t0 => t0 -> State -> List C_Char

c_prim_showAnyQTerm :: Curry t0 => t0 -> State -> List C_Char

c_prim_readsAnyUnqualifiedTerm :: Curry t0 => List (List C_Char) -> List C_Char -> State -> List (T2 t0 (List C_Char))

c_prim_readsAnyQTerm :: Curry t0 => List C_Char -> State -> List (T2 t0 (List C_Char))

c_showAnyExpression :: Curry t0 => t0 -> State -> List C_Char

c_showAnyQExpression :: Curry t0 => t0 -> State -> List C_Char

c_try :: Curry t0 => t0 -> State -> C_Either t0 (T2 C_OrRef (List t0))

c_orsWithOrRef :: Curry t0 => C_OrRef -> List t0 -> State -> t0

c_generateChoice :: Curry t0 => List t0 -> State -> t0

c_nrOfChoices :: State -> C_IO C_Int