Idris2Doc : Text.Regex.Printer

Text.Regex.Printer

(source)

Definitions

dataRegExpText : Type->Type
Totality: total
Visibility: export
Constructor: 
RET : OpPri->String->RegExpTexta

Hints:
AlternativeRegExpText
ApplicativeRegExpText
Cast (RegExpTexta) (RegExpTextb)
FunctorRegExpText
Interpolation (RegExpTexta)
RegexRegExpText