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

Есть какая-нибудь дерайвилка инстансов для Applicative на манер ZipList?

9 ответов

10 просмотров
Zygohistomorphic Prepromorphism🇺🇦
deriving via?

ну а где соотвествующий ньютайп-то, вроде того, что для моноеда в семигрупс

может быть, https://www.stackage.org/haddock/lts-16.31/adjunctions-4.4/Data-Functor-Rep.html#g:6

Cheese Syrowiecki
может быть, https://www.stackage.org/haddock/lts-1...

в смысле, для табулейтед дженерик дефолт, и апликатив виа Co? никогда такого не пробовал

IC-Rainbow Автор вопроса
Cheese Syrowiecki
может быть, https://www.stackage.org/haddock/lts-1...

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

IC Rainbow
data Collection a = Collection { thingFoo :: a ...

а почему collect = genericCollect, там дефолта нету?

а разве тут Ap не хватит?

Cheese Syrowiecki
может быть, https://www.stackage.org/haddock/lts-1...

С помощью такой, например, дерайвилки нельзя было бы получить инстанс для зиплиста

IC-Rainbow Автор вопроса
IC Rainbow
data Collection a = Collection { thingFoo :: a ...

убрать бы теперь все эти портянки под ондин ньютайп...

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

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
что насчет пагинга? на осдеве непонятно(
Vi Chapmann 🪙
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
если загрузчик efi? если сама PML4 PDPT PDT PT лежит в неудобном для меня месте?
Vi Chapmann 🪙
8
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
Карта сайта