Idris2Doc : Text.Regex.Printer

Text.Regex.Printer

(source)

Definitions

data RegExpText : Type -> Type
Totality: total
Visibility: export
Constructor: 
RET : OpPri -> String -> RegExpText a

Hints:
Alternative RegExpText
Applicative RegExpText
Cast (RegExpText a) (RegExpText b)
Functor RegExpText
Interpolation (RegExpText a)
Regex RegExpText