Copilot.Library.RegExp
Documentation
copilotRegexp :: (Typed t, SymbolParser t, Eq t) => Stream t -> SourceName -> Stream Bool -> Stream BoolSource
copilotRegexpB :: SourceName -> [(StreamName, Stream Bool)] -> Stream Bool -> Stream BoolSource
copilot-libraries-0.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Library.RegExp
copilotRegexp :: (Typed t, SymbolParser t, Eq t) => Stream t -> SourceName -> Stream Bool -> Stream BoolSource
copilotRegexpB :: SourceName -> [(StreamName, Stream Bool)] -> Stream Bool -> Stream BoolSource