如何合併Regex？

Question

背景

假設我在這裏有幾個Regex。

import Text.Regex 

openTag = mkRegex "<([A-Z][A-Z0-9]*)\\b[^>]*>" 
closeTag = mkRegex "</\\1>" 
any = mkRegex "(.*?)" 

問題

openTag ++ any ++ closeTag < - 僅用於演示目的

我怎麼能合併嗎？具體來說，一個Regex -> Regex -> Regex函數。另外，轉換Regex回String將是一件好事。

openTag ++ "hello" ++ closeTag < - 僅用於演示目的

因此，我最終能夠創建自己的Regex -> String -> Regex功能。

解決方法

操縱字符串文字。

import Text.Regex 

openTag = "<([A-Z][A-Z0-9]*)\\b[^>]*>" 
closeTag = "</\\1>" 
any = "(.*?)" 

tagWithAny = mkRegex $ openTag ++ any ++ closeTag 

tagWith :: String -> Regex 
tagWith s = mkRegex $ openTag ++ s ++ closeTag 

Answer 1

Regex型在本質上Text.Regex是C指針：

data Regex = Regex (ForeignPtr CRegex) CompOption ExecOption 

AFAIK沒有辦法恢復POSIX正則表達式的字符串表示，它已被編譯之後。 regcomp 3 man page。

如果您希望以代數形式運行正則表達式，請使用自己的類型進行換行以延遲編譯或使用例如regex-applicative。