MultiSetRewrite.RuleCompiler

Documentation

class EMatch m => RuleCompiler a m rm idx st | a -> m rm idx st, rm -> a where

Methods

atomicVerifyAndDeleteCnt :: a -> Code_RHS c -> [(Check rm, IO (Maybe (Code_RHS c)))] -> IO (Maybe (Code_RHS c))

getIndex :: a -> m -> IO idx

initSearch :: a -> idx -> IO st

nextMsg :: a -> st -> IO (Maybe rm)

extractMsg :: rm -> IO (Maybe (InternalMsg m))

printMsg :: a -> rm -> IO String

printReachMsg :: a -> st -> IO String

Instances

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

type Code_RHS a = IO a

type CompClause store rmsg code = rmsg -> store -> IO (Maybe (Code_RHS code))

data Check a

Constructors

Verify a

VerifyAndDelete a

AtomicGuardVerify (STM Bool)

select :: RuleCompiler a m rm idx st => a -> rm -> [CompClause a rm c] -> IO (Maybe (Code_RHS c))

optimize :: [[MatchTask msg]] -> [[MatchTask msg]]

type Cnt a = IO (Maybe (Code_RHS a))

compileCnt :: (RuleCompiler act msg rmsg idx st, Show msg) => Code_RHS () -> [MatchTask msg] -> [CompClause act rmsg ()]

compileSingleCnt :: (RuleCompiler act msg rmsg idx st, Show msg) => act -> Cnt a -> ([(Check rmsg, Cnt a)], Code_RHS a) -> [Tag] -> [MatchTask msg] -> IO (Maybe (Code_RHS a))