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

Safe HaskellSafe-Infered

Copilot.Library.RegExp

Description

A regular expression librariy.

Documentation

copilotRegexp :: (Typed t, SymbolParser t, Eq t) => Stream t -> SourceName -> Stream Bool -> Stream BoolSource

copilotRegexpB :: SourceName -> [(StreamName, Stream Bool)] -> Stream Bool -> Stream BoolSource