Documentation
class EMatch m => Actor a m rm idx st | a -> m rm idx st, rm -> a whereSource
getMessage :: a -> Maybe Int -> IO (Maybe rm)Source
deleteMsg :: a -> rm -> IO ()Source
getIndex :: a -> m -> IO idxSource
initSearch :: a -> idx -> IO stSource
nextMsg :: a -> st -> IO (Maybe rm)Source
extractMsg :: rm -> IO (InternalMsg m)Source
codeLookup :: a -> Int -> IO (Maybe [CompClause a rm ()])Source
data ReceiveParameters Source
type CompClause act rmsg code = rmsg -> act -> IO (Maybe (Code_RHS code))Source
receive :: (Actor act msg rmsg idx st, Show msg) => act -> [([MatchTask msg], Code_RHS a)] -> IO aSource
receiveParm :: (Actor act msg rmsg idx st, Show msg) => act -> ReceiveParameters -> [([MatchTask msg], Code_RHS ())] -> IO ()Source
receiveInternal :: (Actor a m rm idx st, Show m) => a -> [CompClause a rm c] -> IO cSource
receiveInternal2 :: (Actor a m rm idx st, Show m) => a -> ReceiveParameters -> [CompClause a rm ()] -> IO ()Source
compile :: (Actor act msg rmsg idx st, Show msg) => Code_RHS a -> [MatchTask msg] -> [CompClause act rmsg a]Source
permuteTasks :: [MatchTask msg] -> [[MatchTask msg]]Source