Подскажите, пожалуйста. А не существует ли, случаем, библиотеки, подобной регулярным выражениям, но работающей не для строк, а для произвольных данных? То есть, у меня есть список каких-то собственных сущностей, а мне необходимо делать матчинг в стиле регексов, где каждый из символов — моя сущность. То есть, например, у меня есть:

data Entity = Foo | Bar s
entities :: [Entity]

Мне необходимо как-то написать функцию, которая проматчит какой-то список [Entity] убедившись (и получив позиции), что в нём есть три подряд Foo, после которой Bar в которой s == "barbarbar". Ну, или типа того.

Перед тем, как писать подобное, решил спросить, нету ли еще.

#tigsti

1 comment recommend bookmark subscribe