DB
нет, я могу неправильно понимать твою задачу. сначала ты набросай прототип решения
Я могу на скале показать, как бы это было. Так сойдёт?
Size: a a a
2020 December 12
JS
да
DB
Сообразил на хаскеле. Во, примерно такое
data User = User { name :: String, email :: String }
searchOld :: (WithID a, WithEntity entity a, WithEntity entity b, WithVersion entity b, WithID b) => a -> IO (Maybe b)
searchOld = ...
saveEntity :: (WithID a, WithEntity a) => a -> IO ()
saveEntity new = do
old <- searchOld entity
if getEntity <$> old == Just (getEntity new)
then save $ withVersion 1 new
else save $ withVersion (fromJust (getVersion <$> old) + 1) new
save
:: (WithID a, WithEntity entity a, WithVersion a) => IO ()
save = ...AA
в такого типа либах, тем более, конвертор из обычного рекорда в анонимный уже часто есть
DB
Сообразил на хаскеле. Во, примерно такое
data User = User { name :: String, email :: String }
searchOld :: (WithID a, WithEntity entity a, WithEntity entity b, WithVersion entity b, WithID b) => a -> IO (Maybe b)
searchOld = ...
saveEntity :: (WithID a, WithEntity a) => a -> IO ()
saveEntity new = do
old <- searchOld entity
if getEntity <$> old == Just (getEntity new)
then save $ withVersion 1 new
else save $ withVersion (fromJust (getVersion <$> old) + 1) new
save
:: (WithID a, WithEntity entity a, WithVersion a) => IO ()
save = ...написал по-дэбильному, конечно
DB
Сообразил на хаскеле. Во, примерно такое
data User = User { name :: String, email :: String }
searchOld :: (WithID a, WithEntity entity a, WithEntity entity b, WithVersion entity b, WithID b) => a -> IO (Maybe b)
searchOld = ...
saveEntity :: (WithID a, WithEntity a) => a -> IO ()
saveEntity new = do
old <- searchOld entity
if getEntity <$> old == Just (getEntity new)
then save $ withVersion 1 new
else save $ withVersion (fromJust (getVersion <$> old) + 1) new
save
:: (WithID a, WithEntity entity a, WithVersion a) => IO ()
save = ...вот тута я налету прицепил версию
DB
Я не то, что отклонил его. Просто он страшный какой-то
DB
О, енто ваше
DB
но мб не стоит, оно даже на хакадж не выложено, тогда можно посмотреть на суперрекорд
а чому не выложили?
DB
А есть примеры использования?
к
мне кажется можно сделать вот что
data With name a b = With a b
instance HasField name (With name a b) a
instance HasField name r a => HasField (With name' a r) a
HasField из GHC.Records.Extra
только поиграться с инстансами
и получить расширяемые рекорды с генерик-линзами и без анонимификации
data With name a b = With a b
instance HasField name (With name a b) a
instance HasField name r a => HasField (With name' a r) a
HasField из GHC.Records.Extra
только поиграться с инстансами
и получить расширяемые рекорды с генерик-линзами и без анонимификации
DB
Ну вишь енто надо руками много писать