| Copyright | (c) 2011 National Institute of Aerospace / Galois Inc. |
|---|---|
| Safe Haskell | Safe |
| Language | Haskell2010 |
Copilot.Library.RegExp
Description
A regular expression library.
For examples, see Examples/RegExpExamples.hs in the
Copilot repository.
Documentation
copilotRegexp :: (Typed t, SymbolParser t, Eq t) => Stream t -> SourceName -> Stream Bool -> Stream Bool Source #
copilotRegexpB :: SourceName -> [(StreamName, Stream Bool)] -> Stream Bool -> Stream Bool Source #