copilot-libraries-0.3: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Safe HaskellSafe-Infered

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