Module

Type.Regex

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

#TestRegex Source

class TestRegex :: Symbol -> Symbol -> Constraintclass TestRegex (regex :: Symbol) (str :: Symbol)

Instances

(ParseRegex' regexStr regexCST, CompileRegex regexCST regex, MatchRegex regex str) => TestRegex regexStr str

#guard Source

guard :: forall @regex @str. TestRegex regex str => IsSymbol str => String

#reflectRegex Source

reflectRegex :: forall @spec cst regex. ParseRegex spec cst => CompileRegex cst regex => IsSymbol spec => String

#ParseRegex' Source

class ParseRegex' :: Symbol -> Regex -> Constraintclass ParseRegex' (spec :: Symbol) (cst :: Regex) | spec -> cst

Instances

(ParseRegex spec cst, PrintRegex cst spec', Compare spec spec' ord, ParseRegex'Result ord) => ParseRegex' spec cst

#ParseRegex'Result Source

class ParseRegex'Result :: Ordering -> Constraintclass ParseRegex'Result (result :: Ordering)

Instances

ParseRegex'Result EQ
(Fail (Text "Unexpected regex parse error. Please report a bug.")) => ParseRegex'Result ord

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