Actor.ActorLinearSearch

Documentation

type HashIdx = Int

data HashOp msg

Constructors

HashOp

Fields

numberOfTables :: HashIdx

hashMsg :: msg -> HashIdx

data Act msg

Constructors

Act

Fields

external_mailbox :: Chan msg

internal_mailbox :: SList (InternalMsg msg)

internal_mailbox_barrier :: Iterator (InternalMsg msg)

memoTable :: IORef [(Int, [CompClause (Act msg) (Location msg) ()])]

hashTable :: [QList (InternalMsg msg)]

hashOp :: HashOp msg

thread_id :: MVar ThreadId

Instances

(EMatch msg, Eq msg, Show msg) => Actor (Act msg) msg (Location msg) HashIdx (QIterator (InternalMsg msg))

type PID msg = (Chan msg, MVar ThreadId)

type Location msg = IORef (Item (InternalMsg msg))

actorToPID :: Act msg -> PID msg

kill :: PID msg -> IO ()

send :: PID msg -> msg -> IO ()

createActor :: HashOp msg -> IO (Act msg)

runActor :: Act msg -> (Act msg -> IO ()) -> IO ()