MK
вот такое хотел чтобы было можно писать
ChannelsSize: a a a
2020 November 12
MK
и задумался как описывать параметр на
к
у меня грубо говоря
data family Foo k (a :: k) :: Type
lol :: forall (tag :: k). Channels k -> Foo k tag -> ()
data The :: (type_ :: Type) -> type_ -> Type where
так, как для такой штуки правильно сигнатуру определить-то
вот такой вариант работает
data The type_ (value :: type_) = Proof
The :: forall type_ -> type_ -> *
поэтому я так понимаю, forall _ -> это просто пи
так, как для такой штуки правильно сигнатуру определить-то
вот такой вариант работает
data The type_ (value :: type_) = Proof
The :: forall type_ -> type_ -> *
поэтому я так понимаю, forall _ -> это просто пи
MK
в 8.10 работает, да
L
Итак, приятный момент: опубликовыны видео докладов “Использование Clojure CLI для автоматизации рутинных задач” (https://youtu.be/RHc_Y5DW7wo) и "OCaml для хаскелиста. Часть 1” (https://youtu.be/ESSCTskStgY) Приятного просмотра!
AV
Еее
2020 November 13
MP
а вот есть у меня вот такая штука
можно как-то сюда же (через еще один via?) всунуть что Monoid Int я хочу через Sum?
data SStats = SStats {
statSize :: Int,
statKeyBytes :: Int,
statValueBytes :: Int
}
deriving stock (Show, Eq, Generic)
deriving Semigroup via GenericSemigroup SStats
deriving Monoid via GenericMonoid SStatsможно как-то сюда же (через еще один via?) всунуть что Monoid Int я хочу через Sum?
AP
Начал линзы ковырять по тихоньку
AP
aeson линзы
AP
envoyConfig
^.. key "virtual_hosts"
. values
. key "routes"
. values
. key "match"
. key "prefix"
AP
у
virtual_hosts есть поле "name"AP
мне бы хотелось на выходе получить список пар (vhost_name, prefix)
AP
по разному пробовал, но что-то ниче не получается
AP
подскажите плиз в какую сторону копать
AP
вот последняя попытка
envoyConfig
^.. key "virtual_hosts"
. values
. (\vh -> do
name <- vh & key "name"
vh & key "routes"
. values
. key "match"
. (\m -> do
prefix <- m & key "prefix"
pure (name, prefix)))
к
мне бы хотелось на выходе получить список пар (vhost_name, prefix)
полагаю тут нужно смотреть на индексед линзы