MultiSetRewrite.StoreRepresentation

Documentation

type HashIdx = Int

data HashOp msg

Constructors

HashOp

Fields

numberOfTables :: HashIdx

hashMsg :: msg -> HashIdx

data Store msg

Constructors

Store

Fields

msgTable :: [Bag (InternalMsg msg)]

hashOp :: HashOp msg

Instances

PrettyPrint a => PrettyPrint (Store a)

(EMatch msg, Eq msg, Show msg) => RuleCompiler (Store msg) msg (Location msg) HashIdx (Iterator (InternalMsg msg))

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

newStore :: (EMatch msg, Eq msg, Show msg) => HashOp msg -> IO (Store msg)

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

addMsg :: (EMatch msg, Eq msg, Show msg) => Store msg -> msg -> IO (Location msg)

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