Всем привет, есть такой вопрос: у меня есть рекорды вида data

Question

Всем привет, есть такой вопрос: у меня есть рекорды вида data

RootStat = RootStat {
a :: Stat,
...
z :: FooStat
}

data FooStat = FooStat { x :: Stat, ... z :: Stat }
и так далее, это целое дерево вложенных рекордов, у которых есть поля типа Stat. У Stat есть инстанс моноида. У всех рекордов есть инстанс Generic. Задача в том, что обойти всю структуру и сделать mconcat всех Stat. Сейчас это делается вручную, но структуры растут и пару раз я какие-то поля забывал при именении структуры дерева. Наверняка есть вариант сделать это обощенно раз и навсегда. Я даже подозреваю, что для это есть всякие uniplate и подобное, но я в этом ничего не понимаю. Какой самый простой способ сделать такой обобщенный fold (<>)?

#haskell #programming #russian

0

30.05.2023

5 ответов

22 просмотра

Misha Puzanov Автор вопроса

кана
import Data.Generics.Uniplate.Data -- uniplate f ...

а где втором варианте <>?

0

30.05.2023

Misha Puzanov Автор вопроса

кана
import Data.Generics.Uniplate.Data -- uniplate f ...

Так, а если замахнуться на вот такое, аналогичная вложенная структура, но ``` data Root = Root { a :: Map Int Text, a :: Map Text Bla, ... z :: Foo } data Foo = Foo { x :: Map X Y, ... z :: Map Q P } ``` и я хочу ее обойти и применить к каждой Map a b функцию типа f :: forall a b . Map a b -> IO () такое вообще возможно, учитывая, что все a и b разные? Хоть линзами, хоть юниплейтом.

0

30.05.2023

кана

Misha Puzanov
Так, а если замахнуться на вот такое, аналогичная ...

а какой-нибудь полезный пример такой f ты знаешь?

0

30.05.2023

Misha Puzanov Автор вопроса

кана
а какой-нибудь полезный пример такой f ты знаешь?

Ну у меня там на самом деле тип не Map a b, что-то типа StorageMap "objects" s ObjectKey (Compressed (StorableObject RpkiObject)) которые маппятся на key-value map в LMDB функция f в данном случае, это erase, типа удалить. То есть хочу всю БД обойти и удалить все, что в ней есть, независимо от структуры

0

30.05.2023

кана · Accepted Answer

кана

import Data.Generics.Uniplate.Data -- uniplate f = Data a => a -> Stat f = mconcat . universeBi import Control.Lens (view) -- lens import Data.Generics.Product.Types (types) -- generic-lens f :: HasTypes Stat a => a -> Stat f = view (types @Stat)

0

30.05.2023

169 похожих чатов

Всем привет, есть такой вопрос: у меня есть рекорды вида data

5 ответов

Похожие вопросы