data RegExpText : Type -> Type
RET : OpPri -> String -> RegExpText a
Alternative RegExpText
Applicative RegExpText
Cast (RegExpText a) (RegExpText b)
Functor RegExpText
Interpolation (RegExpText a)
Regex RegExpText