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

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

9 ответов

9 просмотров
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 ...

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

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

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

Интересно, нет ли какого-то способа получить из dll не адрес самой метки, а адрес со смещением?
The Bird of Hermes
54
Делал задачу вот такую https://stepik.org/lesson/4985/step/9?unit=1083 получилось такое https://play.haskell.org/saved/ipKrepqe оно работает, тестов много не писал, но работае...
Fedor
22
что-то я не понимаю, в линуксе отладочную информацию как убрать из бинаря? он что с этой опцией, что без - одного и того же (достаточно большого) размера (да, я про лазарь)
Iluha Companets
9
Всем привет, а может кто-то подсказать какие-то советы или типо того, как оптимальнее всего сапортить сервисы в разных локациях (канада + австралия + евпропа)? Будет ли ошибк...
Stas
8
Комрады, как на дельфях вытащить "системный" (т.е. который используется ОСью) шрифт со всеми аттрибутами? Я так понимаю, это не Application.DefaultFont?
Ed Doc
7
Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
58
Почему спрашиваю - поймал падение на совершенно уже пустом проекте, хочу до минимального повторяемого свести... Такой вопрос - вот эти юниты, перечисленные в инспекторе объек...
notme
6
У кого нибудь есть шопкипер (модульная часть, классы там вот это все, для php 7.4) ? друг интересуется 😁
Alexander Grishin 👽
7
Сообщение* в закодированном виде. То есть, просто сделать sendMessage?text=Привет бла-бла! не получится, надо в HEX переводить, и добавлять процент, типа такого: sendMessage?t...
КТ315
21
А случайно нет ли в паскале штатной возможности передать указатель и количество туда где array of в качестве аргумента?
zamtmn
25
Карта сайта