он же Compose

t = getCompose . fmap show . Compose $ f

Compose это как раз твой Fun, только еще стрелка обобщена до функтора

Compose это как раз твой Fun, только еще стрелка обобщена до функтора

а, ну хорошо

значит надо transformers поставить, спасибо

Compose в base есть

ридер-инстанс стрелки тоже в base

а потом они ругаются на "монады это пайпы"... https://github.com/theam/tintin/pull/17#discussion_r190178211

а за хугл кто отвечает вообще? там уже пару месяцев куча ссылок нерабочие например https://www.haskell.org/hoogle/?q=Compose

hoogle-сервис всегда был ниочень. Hayoo лучче

хугл сам уже несколько лет нерабочий

hoogle-сервис всегда был ниочень. Hayoo лучче

это что ль? https://hayoo.fh-wedel.de/?query=Compose там точно такие же нерабочие ссылки, как и в хугле (в моём случае)

"Ссылки нерабочие", это "hackage не отвечает"?

нет, это Page not found Sorry, it's just not here.

Я чтот разбился о то, что time-1.9 умеет парсить таймзоны в формате HH:MM, а time-1.8 не умеет. А переехать на time-1.9 нельзя, т.к. на 1.9 не переехало 90% пакетов зависимостей

Я чтот разбился о то, что time-1.9 умеет парсить таймзоны в формате HH:MM, а time-1.8 не умеет. А переехать на time-1.9 нельзя, т.к. на 1.9 не переехало 90% пакетов зависимостей

time-compat?

Там этого нет, и это в обратную сторону работает, если тебе нужны старые функции, а не новые

нет, это Page not found Sorry, it's just not here.

Сходил. Поискал. Прошел по ссылке - всё работает

future-time-compat 😟

Вот, боль

Время велосипеды строить

Сходил. Поискал. Прошел по ссылке - всё работает

hoogle тоже работает

Сходил. Поискал. Прошел по ссылке - всё работает

мистика какая-то

ркн?

нет

какой-то плагин может в браузере?

hoogle тоже работает

вот эти ссылки у тебя работают, да? три штуки

у меня выдают вот что

какой-то плагин может в браузере?

ну не знаю. не похоже

https://hackage.haskell.org/package/transformers-0.5.5.0/docs/Data-Functor-Compose.html#t:Compose

404

Это не хугла проблема, а хакеджа

Это не хугла проблема, а хакеджа

ну вообще похоже, что именно хугла. раз Compose теперь в base, то и выдавать должно ссылку на base

то бишь вот эту, и она рабочая http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Functor-Compose.html

а вот это нерабочая, которую хугл и hayoo выдают http://hackage.haskell.org/package/transformers-0.5.5.0/docs/Data-Functor-Compose.html

есть старый хугл который ищет по каким-то старым базам, есть новый хугл по другому адресу, который ищет по большему числу более новых пакетов, но поиск в нем сломан. есть новый хугл на стекедже, который в конкретных снэпшотах ищет (тоже поиск сломан, но на имена его хватит)

тл;др хугл не работает

Отдел будущих технологий, где еще каспер ОС пилят

кажется, где-то ещё был Хаскель, но я приглашаю именно в ОС

есть старый хугл который ищет по каким-то старым базам, есть новый хугл по другому адресу, который ищет по большему числу более новых пакетов, но поиск в нем сломан. есть новый хугл на стекедже, который в конкретных снэпшотах ищет (тоже поиск сломан, но на имена его хватит)

А сделать свой хугл можно? Ведь это же готовый пакет, нет?

можно, но он будет по именам искать, в новом хугле поиск по типам сломан

ну, можно собрать старую версию, наверное

можно, но он будет по именам искать, в новом хугле поиск по типам сломан

Жесть, как это сломан?

Is it a feature?

ну, когда автор делал новый хугл, он начал с того чтоб побыстрее базы формировались и грузились - и это он сделал, он вообще быстрее и переваривает большое кол-во пакетов но к тому времени как дошло до поиска по типам, он подустал и в результате он не сделан нормально

>подустал

а так не скажешь, что 30 лет комьюнити

короче говоря вот старый https://www.haskell.org/hoogle/?hoogle=%28a+-%3E+b%29+-%3E+f+a+-%3E+f+b вот новый https://hoogle.haskell.org/?hoogle=(a%20-%3E%20b)%20-%3E%20f%20a%20-%3E%20f%20b

разницу сами можете оценить

можно так, чтоб честнее было https://hoogle.haskell.org/?hoogle=%28a+-%3E+b%29+-%3E+f+a+-%3E+f+b&scope=package%3Abase

>подустал

"Чёт приуныл.jpg"

т.е. поиск по типам, прямо скажем, никогда в хугле нормально не работал, но то что выдает новый хугл - даже по хугловским стандартам очень плохо

А что вы называете поиском по типам? Что-то особенное? По обычным типам ищет вроде да хоть тот же hayoo: http://hayoo.fh-wedel.de/?query=Traversable+t+%3D%3E+t+a+-%3E+a

Вопрос в продолжение темы. Можно ли как-нибудь дерайвнуть/вывести Functor, Applicative для ньюйтайпа, сделав "как в Compose", не определяя его явно через Compose? @A64m_qb0 @kana_sama

Просто не хочется портить типы, но хочется воспользоваться instance (Functor f, Functor g) => Functor Compose f g

А что вы называете поиском по типам? Что-то особенное? По обычным типам ищет вроде да хоть тот же hayoo: http://hayoo.fh-wedel.de/?query=Traversable+t+%3D%3E+t+a+-%3E+a

то что обычно рекламировалось как главная фича хугла, с которой он и ассоциируется в первую очередь

https://www.haskell.org/hoogle/?hoogle=Eq+a+%3D%3E+%5Ba%5D+-%3E+%5Ba%5D

Вот такое ищет более-менее. Или оно ломается?

Вопрос в продолжение темы. Можно ли как-нибудь дерайвнуть/вывести Functor, Applicative для ньюйтайпа, сделав "как в Compose", не определяя его явно через Compose? @A64m_qb0 @kana_sama

взять инстансы от композа и применить их к своему типу, который не является ньютайп оберткой вокруг композа?

Вот такое ищет более-менее. Или оно ломается?

см выше сравнение одного запроса к старому и новому хуглу

Хмм. По ссылкам выше старый нашел. А новый - нет (позор и печаль).

короче говоря вот старый https://www.haskell.org/hoogle/?hoogle=%28a+-%3E+b%29+-%3E+f+a+-%3E+f+b вот новый https://hoogle.haskell.org/?hoogle=(a%20-%3E%20b)%20-%3E%20f%20a%20-%3E%20f%20b

можно так, чтоб честнее было https://hoogle.haskell.org/?hoogle=%28a+-%3E+b%29+-%3E+f+a+-%3E+f+b&scope=package%3Abase

Ох

взять инстансы от композа и применить их к своему типу, который не является ньютайп оберткой вокруг композа?

Да:) Ну наверное я опять хочу странного

Compose выглядит вкусно, но нужно переписывать типы через него..

Да:) Ну наверное я опять хочу странного

есть такая экспериментальная фича, которая не зарелизена, сейчас она только макросами реализована

Да:) Ну наверное я опять хочу странного

http://hackage.haskell.org/package/deriving-compat-0.4.2/docs/Data-Deriving-Via.html только для 8.2 и 8.4

Вопрос в продолжение темы. Можно ли как-нибудь дерайвнуть/вывести Functor, Applicative для ньюйтайпа, сделав "как в Compose", не определяя его явно через Compose? @A64m_qb0 @kana_sama

алиас на compose?

самая дичь, конечно, что хугл и по полностью квалифицированному имени иной раз не находит то что нужно первым в списке

причем года три назад митчелл говорил что это все временно, потому что новый хугл недоделанный, но теперь это временное уже постоянно

алиас на compose?

Если ты про то, что у тебя уже много где твой Fun {-# LANGUAGE PatternSynonyms #-} import Data.Functor.Compose type Fun f e a = Compose ((->) e) f a getFun :: Fun f e a -> e -> f a getFun (Compose f) = f pattern Fun :: (e -> f a) -> Fun f e a pattern Fun f = Compose f main :: IO () main = print $ (getFun . fmap show . Fun $ Just) 10

и потом постепенно переписывать но вообще это ересь конечно

и потом постепенно переписывать но вообще это ересь конечно

Ну мне это чем-то напоминает ситуацию с cata. С одной стороны мы можем изуродовать тип данных, переписав его через Fix, и получив cata бесплатно. А можем заюзать расширение (не помню название), которое само выведет cata для твоего типа. Первый подход мне раньше больше нравился, как-то более наглядно и академично, что ли. Но второй тупо удобнее, (при условии, что расширение не фейлит)

Вот и здесь, можно переписать data через Compose, и всё получить "сразу", а можно хитровыдуманно, зато не портить типы

http://hackage.haskell.org/package/deriving-compat-0.4.2/docs/Data-Deriving-Via.html только для 8.2 и 8.4

Наверное deriving via это то что нужно, вечером поподробнее посмотрю, спасибо

что значит изуродовать/портить?

что значит изуродовать/портить?

Заменять встроенную в язык композицию конструктором Compose, выражать встроенную в язык рекурсию конструктором Fix.

Ну наверное паттерн-синонимы облегчают дело, я с ними не работал пока