copilot-libraries-2.2.1: Libraries for the Copilot language.

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 #