regex - =~ 函数参数按相反顺序排列

Question

Bool > "我的左脚"=~ "foo"::Bool

=~ 是来自 Text.Regex.Posix 包的中缀运算符，在这里，目标字符串位于左侧，模式字符串位于右侧。在这里，=~ 对我来说很有意义。

但是在这里，

readIp = untilM (=~ "[0-9]{1,3}\\.[0-9]{1,3}\\.[0-9]{1,3}\\.[0-9]{1,3}")
    (putStr "Enter IP address: " >> getLine)

=~ 仅使用其正确参数进行柯里化(Currying)，并赋予 untilM。 目标字符串作为最后一个参数给出。 untilM 如何确保 =~ 传递的是左侧的目标字符串和右侧的模式字符串？

Answer 1

这就是操作符部分的工作方式。

(=~)    = \x y -> x =~ y
(x =~)  = \y -> x =~ y
(=~ y)  = \x -> x =~ y

助记:当你有 (x =~ y) 并取出 x 时，你就剩下 ( =~ y).

如果您想要读取正则表达式并将其与常量字符串进行匹配，您可以使用其他部分:

untilM ("foo" =~) (putStr "Enter regex: " >> getLine)