join-0.4: Parallel Join Patterns with Guards and Propagation

Join.Join

Documentation

data Method Source

Constructors

C String [Argument] 

Instances

data Argument Source

Constructors

ArgInt (L Int) 
ArgString (L String) 
ArgBool (L Bool) 
ArgTVarInt (L (TVar Int)) 
ArgListInt (L [Int]) 
ArgSyncInt (L (MVar Int)) 
ArgSyncString (L (MVar String)) 
ArgSyncIntList (L (MVar [Int])) 
ArgSyncBool (L (MVar Bool)) 

Instances

class Cons a whereSource

Methods

cons :: String -> a -> MethodSource

Instances

CollectArgs a => Cons a 

class CollectArgs a whereSource

Methods

collectArgs :: a -> [Argument]Source

Instances

type ActiveMethod = Location MethodSource

data Join Source

Constructors

Join 

Fields

store :: Store Method
 
rules :: Join -> ActiveMethod -> IO ()
 

newJoinStore :: IO (Store Method)Source

type Sync a = MVar aSource

call :: CollectArgs a => Join -> String -> a -> IO ()Source

callPassive :: CollectArgs a => Join -> String -> a -> IO ()Source

class Assign a b whereSource

Methods

(.=.) :: a -> b -> IO ()Source

Instances

Assign (VAR (MVar a)) a 
Assign (VAR (MVar a)) (VAR a) 

translateJoinDefinitions :: (EMatch msg, Eq msg, Show msg) => [([MatchTask msg], Code_RHS ())] -> [CompClause (Store msg) (Location msg) ()]Source

runJoinOnGoal :: (EMatch msg, Eq msg, Show msg) => Store msg -> Location msg -> [CompClause (Store msg) (Location msg) ()] -> IO (Maybe (Code_RHS ()))Source