Uniplate для рекурсивных данных

[lomeo]

Аналог uniplate, не зацикливающийся на рекурсивных данных. На основе кода permea_kra (спасибо!).

Код на hpaste (отсюда)

Пример использования

data Rose = Rose { roseId :: Int, roses :: [Rose] }
    deriving (Data,Typeable)

testRose = let
        a = Rose 1 [b,c]
        b = Rose 2 [a,c]
        c = Rose 3 [a,b]
    in a

Работаем...

> [id | Rose id _ <- recUniplate testRose]
[1,2,3]

Ключевые слова: SYB, StableName, unsafePerformIO