Idris2Doc : Text.Regex

Text.Regex

(source)
Reexports
import public Text.Matcher
import public Text.Regex.Interface
import public Text.Regex.Naive
import public Text.Regex.Parser.ERE
Definitions
DefaultRegex : Regex RegExp
  Totality: total
  Visibility: public export
DefaultTextMatcher : TextMatcher RegExp
  Totality: total
  Visibility: public export