Idris2Doc : Text.Regex.Parser.Glob

Text.Regex.Parser.Glob

(source)
Reexports
import public Text.Regex.Interface
import public Text.Regex.Parser
Definitions
parseGlob : Regex rx => String -> Either BadRegex (rx String)
  Totality: total
  Visibility: export