">IO</a> a</li><li class="src short"><a href="#v:regexMatch">regexMatch</a> :: [maxRepeat :: <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-i386/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>] =&gt; [[<a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-i386/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Char.html#t:Char">Char</a>]] -&gt; Str -&gt; <a href="/Users/audreyt/Library/Haskell/ghc-7.4.1/lib/sbv-2.3/doc/html/Data-SBV.html#t:Symbolic">Symbolic</a> <a 