Documentation
Eq (VAR a) | |
PrettyPrint a => PrettyPrint (VAR a) |
dontCareVar :: IO (VAR a)Source
internal_match :: [Tag] -> InternalMsg a -> a -> IO (Bool, [Tag])Source
data InternalMsg a Source
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)) |