Curry.Module.Meta

Documentation

data C_OrRef

Constructors

C_OrRef OrRef

C_OrRefFail C_Exceptions

C_OrRefOr OrRef (Branches C_OrRef)

Instances

Read C_OrRef

Show C_OrRef

BaseCurry C_OrRef

Curry C_OrRef

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

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

searchTree :: Curry a => a -> Result (C_SearchTree a)

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

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

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

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

getRichSearchTree :: Curry a => a -> Result (C_IO (C_RichSearchTree a))

richSearchTree :: Curry a => a -> Result (C_RichSearchTree a)

richSearchTr :: Curry a => a -> Result (C_RichSearchTree a)

parallelSearch :: Curry a => a -> Result (C_IO (List a))

myGetChanContents :: Show a => MyQSem -> Chan (Maybe a) -> IO [a]

stopSearch :: MVar [ThreadId] -> IO ()

removeId :: MVar [ThreadId] -> Chan (Maybe a) -> ThreadId -> IO ()

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

newtype MyQSem

Constructors

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

newMyQSem :: Int -> IO MyQSem

Build a new MyQSem

incMyQSem :: MyQSem -> IO ()

Wait for a unit to become available

decMyQSem :: MyQSem -> IO ()

Signal that a unit of the MyQSem is available

testMyQSem :: MyQSem -> IO ()

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

st :: Curry a => a -> Result (C_SearchTree a)

richST :: Curry a => a -> Result (C_RichSearchTree a)

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

prim_throw :: Curry a => C_Exception -> Result a

data C_RichSearchTree t0

Constructors

C_RichFail C_Exception

C_RichValue t0

C_RichChoice C_OrRef (List (C_RichSearchTree t0))

C_RichSuspend

C_RichSearchTreeFail C_Exceptions

C_RichSearchTreeOr OrRef (Branches (C_RichSearchTree t0))

Instances

Read t0 => Read (C_RichSearchTree t0)

Show t0 => Show (C_RichSearchTree t0)

BaseCurry t0 => BaseCurry (C_RichSearchTree t0)

Curry t0 => Curry (C_RichSearchTree t0)

data C_Exception

Constructors

C_ErrorCall (List C_Char)

C_PatternMatchFail (List C_Char)

C_AssertionFailed (List C_Char)

C_IOException (List C_Char)

C_PreludeFailed

C_ExceptionFail C_Exceptions

C_ExceptionOr OrRef (Branches C_Exception)

Instances

Read C_Exception

Show C_Exception

BaseCurry C_Exception

Curry C_Exception

ConvertCH C_Exception Exception

data C_Seq t0

Constructors

C_Nil

C_Cons t0 (C_Seq t0)

C_Continued (C_Seq t0)

C_SeqFail C_Exceptions

C_SeqOr OrRef (Branches (C_Seq t0))

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)

c_throw :: Curry t0 => C_Exception -> State -> t0

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

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

c_seq :: Curry t0 => C_SearchTree t0 -> State -> C_Seq t0

c_isValOrChoice :: Curry t0 => C_SearchTree t0 -> State -> C_Bool

c_allValuesI :: Curry t0 => State -> Prim (C_SearchTree t0 -> State -> List t0)

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

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

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

c_searchTree :: Curry t0 => t0 -> State -> C_SearchTree t0

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

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

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

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

c_getRichSearchTree :: Curry t0 => t0 -> State -> C_IO (C_RichSearchTree t0)

c_richSearchTree :: Curry t0 => t0 -> State -> C_RichSearchTree t0

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

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

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

c_richST :: Curry t0 => t0 -> State -> C_RichSearchTree t0

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

c_prim_throw :: Curry t0 => C_Exception -> State -> t0