
  0 | module Text.Regex
  1 | 
  2 | import public Text.Matcher
  3 | import public Text.Regex.Interface
  4 | import public Text.Regex.Naive
  5 | import public Text.Regex.Parser.ERE
  6 | 
  7 | %default total
  8 | 
  9 | public export %defaulthint
 10 | DefaultRegex : Regex RegExp
 11 | DefaultRegex = Naive
 12 | 
 13 | public export %defaulthint
 14 | DefaultTextMatcher : TextMatcher RegExp
 15 | DefaultTextMatcher = Naive
 16 |