Regex.Genex

Documentation

data Model

A match consists of a string (list of codepoints), and a rank representing alternation order.

Constructors

Model

Fields

modelChars :: [Word8]

modelRank :: Word64

Instances

Eq Model

Ord Model

Show Model

genex :: [String] -> IO [String]

Given a list of regular repressions, returns all possible strings that matches every one of them. Guarantees to return shorter strings before longer ones.

genexPure :: [String] -> [String]

A pure and much faster variant of genex, but without support for back-references, anchors or word boundaries. Does not guarantee orders about length of strings. Does not depend on the external yices SMT solver.

genexPrint :: [String] -> IO ()

Same as genexModels, but print the models to standard output instead.

genexModels :: [String] -> IO [Model]

Same as genex, but with the entire model returned instead.