MultiSetRewrite.Base

Documentation

type Tag = IORef ()

newTag :: IO (IORef ())

lookupTag :: [Tag] -> Tag -> Bool

data VAR a

Constructors

VAR

Fields

variable :: IORef a

var_tag :: Tag

DontCare

Instances

Eq (VAR a)

PrettyPrint a => PrettyPrint (VAR a)

data L a

Constructors

Val a

Var (VAR a)

Instances

Eq a => Eq (L a)

(Eq a, EMatch a, Show a) => EMatch (L a)

PrettyPrint a => PrettyPrint (L a)

dontCareVar :: IO (VAR a)

newVar :: IO (VAR a)

readVar :: VAR a -> IO a

writeVar :: VAR a -> a -> IO ()

class EMatch a where

Methods

match :: [Tag] -> a -> a -> IO (Bool, [Tag])

Instances

(Eq a, EMatch a, Show a) => EMatch (L a)

class Match a where

Methods

internal_match :: [Tag] -> InternalMsg a -> a -> IO (Bool, [Tag])

Instances

EMatch a => Match a

data InternalMsg a

Constructors

InternalMsg

Fields

message :: a

msg_tag :: Tag

Instances

Eq a => Eq (InternalMsg a)

Show a => Show (InternalMsg a)

PrettyPrint a => PrettyPrint (InternalMsg a)

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