Join.Join

Documentation

data Method

Constructors

C String [Argument]

Instances

Eq Method

Show Method

PrettyPrint Method

EMatch Method

data Argument

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

Eq Argument

Show Argument

PrettyPrint Argument

EMatch Argument

class Cons a where

Methods

cons :: String -> a -> Method

Instances

CollectArgs a => Cons a

class CollectArgs a where

Methods

collectArgs :: a -> [Argument]

Instances

CollectArgs Bool

CollectArgs Int

CollectArgs String

CollectArgs ()

CollectArgs [Int]

CollectArgs (TVar Int)

CollectArgs (MVar Bool)

CollectArgs (MVar Int)

CollectArgs (MVar [Int])

CollectArgs (MVar String)

CollectArgs (VAR Bool)

CollectArgs (VAR Int)

CollectArgs (VAR [Int])

CollectArgs (VAR String)

CollectArgs (VAR (TVar Int))

CollectArgs (VAR (MVar Bool))

CollectArgs (VAR (MVar Int))

CollectArgs (VAR (MVar [Int]))

CollectArgs (VAR (MVar String))

(CollectArgs a, CollectArgs b) => CollectArgs (a, b)

(CollectArgs a, CollectArgs b, CollectArgs c) => CollectArgs (a, b, c)

type ActiveMethod = Location Method

data Join

Constructors

Join

Fields

store :: Store Method

rules :: Join -> ActiveMethod -> IO ()

newJoinStore :: IO (Store Method)

type Sync a = MVar a

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

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

class Assign a b where

Methods

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

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) ()]

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