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

Есть класс class C c where type F c ::

* -> * -> *
instance C Foo where
type F Foo = (->)
Как сделать F Bar типом a -> b -> b?

9 ответов

11 просмотров

я не гуру, но разве не через RankN ли?

Ну ньютайп над стрелкой можно

Лев-Дворкин Автор вопроса
Danil Berestov
Ну ньютайп над стрелкой можно

Да, но это не то, что хотелось бы. А без обёртки нельзя? И если нельзя, то почему?

Лев-Дворкин Автор вопроса
Лев-Дворкин Автор вопроса

И ещё для такого типа ContrArr a b = b -> a

Можно a и b сделать тайп парамтерами Bar, тогда работать будет

Такое не годится? class C c a b where type F c (a :: *) (b :: *) :: * instance C Int a b where type F Int a b = a -> b instance C Bool a b where type F Bool a b = a -> b -> b

Лев-Дворкин Автор вопроса
Dmitry
Такое не годится? class C c a b where type F c...

Да, там выше уже предложили. Именно так и сделал, спасибо

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

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

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
8
Народ всем привет Подскажите, как включить самописные dll библиотеки в итоговую сборку Сейчас при запуске dev сервера локально формируется папка build, из которой запускается...
Андрей
4
Доброе утро! Не совсем понятно как установить счетчик яндекс метрики на сайт. И потом ещё цели проставить?
Евгения
18
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
Гуру, подскажите, меня уже критиковали за неумением, но и в инете я решения не нашел, тем более в доках абракадабры. В 12.1 студии появился новый тип TSQLTimeStampOffset , ест...
Delphi Photo
10
Это фейк @cruppto_newbot?
Antskup
10
Карта сайта