Module

Type.Regex.Print

Package: purescript-typelevel-regex
Repository: thought2/purescript-typelevel-regex

#PrintRegex Source

class PrintRegex :: Regex -> Symbol -> Constraintclass PrintRegex (cst :: Regex) (sym :: Symbol) | cst -> sym

Instances

PrintRegex Nil ""
PrintRegex Wildcard "*"
(PrintCharClass charClass sym, Append3 "[" sym "]" sym') => PrintRegex (RegexCharClass charClass True) sym'
(PrintCharClass charClass sym, Append3 "[^" sym "]" sym') => PrintRegex (RegexCharClass charClass False) sym'
PrintRegex (Lit (UnsafeMkChar char)) char
(Append "\\" char sym) => PrintRegex (Quote (UnsafeMkChar char)) sym
PrintRegex EndOfStr "$"
PrintRegex StartOfStr "^"
(PrintRegex cst1 sym1, PrintRegex cst2 sym2, Append sym1 sym2 sym) => PrintRegex (Cat cst1 cst2) sym
(PrintRegex cst1 sym1, PrintRegex cst2 sym2, Append3 sym1 "|" sym2 sym) => PrintRegex (Alt cst1 cst2) sym
(PrintRegex cst sym, Append3 "(" sym ")" sym') => PrintRegex (Group cst) sym'
(PrintRegex cst sym, Append sym "*" sym') => PrintRegex (Many cst) sym'
(PrintRegex cst sym, Append sym "?" sym') => PrintRegex (Optional cst) sym'
(PrintRegex cst sym, Append sym "+" sym') => PrintRegex (OneOrMore cst) sym'
(Fail (Text "Regex Print error")) => PrintRegex cst sym

#PrintCharClass Source

class PrintCharClass :: CharClass -> Symbol -> Constraintclass PrintCharClass (charClass :: CharClass) (sym :: Symbol) | charClass -> sym

Instances

PrintCharClass CharClassNil ""
(Append sym char sym', PrintCharClass charClass sym) => PrintCharClass (CharClassLit (UnsafeMkChar char) charClass) sym'
(Append3 charFrom "-" charTo sym2, Append sym1 sym2 sym, PrintCharClass charClass sym1) => PrintCharClass (CharClassRange (UnsafeMkChar charFrom) (UnsafeMkChar charTo) charClass) sym
(Fail (Text "Regex PrintCharClass error")) => PrintCharClass charClass sym

#Append3 Source

class Append3 :: Symbol -> Symbol -> Symbol -> Symbol -> Constraintclass Append3 (sym1 :: Symbol) (sym2 :: Symbol) (sym3 :: Symbol) (sym :: Symbol) | sym1 sym2 sym3 -> sym

Instances

(Append sym1 sym2 symMid, Append symMid sym3 sym) => Append3 sym1 sym2 sym3 sym

Modules: Type.Char; Type.Regex; Type.Regex.AsciiTable; Type.Regex.CST; Type.Regex.Compile; Type.Regex.Match; Type.Regex.Parse; Type.Regex.Print; Type.Regex.RegexRep