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 _ <-

Comments

[kurilka]

500 Internal Server Error
58030 5: database is locked

[lomeo]

Нажми на ссылку "отсюда".

[kurilka]

Нажал конечно.

[kurilka]

да и hpaste.org ожил тоже

[nponeccop]

а ваш этот
case cast v of
Just v0 -> (v0:) `fmap` continue
Nothing -> continueэто случайно не
Data.Foldable.foldr (\v0 -> fmap (v0:)) continue v?

[lomeo]

foldr же не generic.

Задача - есть направленный циклический граф, узлы которого могут быть разного типа. Нужно, начиная с определённого узла (типа А) вытащить все узлы типа Б, до которых можно дойти из начального узла. Нужно, чтобы в выборке узлы не повторялись.

complexStructure :: A

allB :: [B]
allB = universeRec complexStructure

Такое foldr не позволяет.

[nponeccop]

и причем тут это? я не говорил, что universeRec - это Prelude.foldr. Я говорил, что упомянутый мной case из вашего кода можно переопределить через Data.Foldable.foldr для типа Maybe, то есть, я предложил вам сделать маленький рефакторинг.

[lomeo]

Нельзя. A и Б типы никак не связаны. А так как, повторюсь, foldr не generic, то у него типы v0 и v связаны.

\v -> foldr (\v0::a -> fmap (v0:)) continue v :: t a -> f a
\v -> case ... :: t -> [a]