IR
я ожидаю скорее через Generic или TH такое увидеть
Size: a a a
2021 January 17
AA
я ожидаю скорее через Generic или TH такое увидеть
я и говорю про через дженерик
JS
есть какая-нибудь дерайвилка инстансов для Applicative на манер ZipList?
AA
в смысле, для табулейтед дженерик дефолт, и апликатив виа Co? никогда такого не пробовал
IR
там даже Co не нужен, есть
pureRep и apRepк
я ожидаю скорее через Generic или TH такое увидеть
deriving via это и будет дженерик в большинстве случаев думаю
написал ли кто такой ньютайп - вот в чем вопрос
написал ли кто такой ньютайп - вот в чем вопрос
IR
а.. ну да. Co и есть этот ньютайп
IR
data Collection a = Collection
{ thingFoo :: a
, thingBar :: a
}
deriving stock (Show, Functor, Foldable, Traversable, Generic, Generic1)
deriving Applicative via (Co Collection)
instance Distributive Collection where
collect = genericCollect
instance Representable Collection
IR
ага
IR
@cblp_su получает ачивку Kmettiverse Adept
IR
так, а что почитать про эти Co, Representable?
Хаддок
AA
data Collection a = Collection
{ thingFoo :: a
, thingBar :: a
}
deriving stock (Show, Functor, Foldable, Traversable, Generic, Generic1)
deriving Applicative via (Co Collection)
instance Distributive Collection where
collect = genericCollect
instance Representable Collection
а почему collect = genericCollect, там дефолта нету?
JS
@cblp_su получает ачивку Kmettiverse Adept
я их мимоходом увидел недавно
AA
лучшеб, конечно, был без дистрибутив/репрезентабл
хотя может там есть что полезное
хотя может там есть что полезное
KV
читал, ничего не понял
Про representable есть у Бартоша
ЗП
так, а что почитать про эти Co, Representable?
про Co это тот, что делает монаду из комонады?
ЗП
я про это если что
http://comonad.com/reader/2011/monads-from-comonads/
http://comonad.com/reader/2011/monads-from-comonads/