2
ответа
Как определить границы черт для связанного типа?
Я хочу написать функцию, которая принимает Iterator типа, который имеет черту ToString. Что я имею в виду: fn parse < T: Iterator / *? T :: Item: ToString? * / > (mut args: T) - > Результат < String, ...
вопрос задан: 20 January 2019 02:50
0
ответов
Указание связанного типа в дочернем протоколе
Есть ли способ определить связанный тип в дочернем протоколе, а затем использовать дочерний протокол в качестве типа iVar? Это то, что мне нужно добиться: координатор протокола {связанный тип ...
вопрос задан: 27 February 2019 18:04
0
ответов
Проблемы с выводом типа GHC
Вопрос. Есть ли способ заставить этот код работать без явной подписи типа? Код. Во-первых, у меня есть гораздо более удобный альтернативный класс MonadTrans, вдохновленный Data.Newtype. Похоже ...
вопрос задан: 15 February 2012 21:49
0
ответов
написание функций в haskell, которые работают только с ассоциированными типами
Я пытаюсь найти более элегантный способ написать следующий код. class C c, где тип E c :: * -> * class C c => A c, где g :: E ca -> E ca class (C c, A c) => D c, где ...
вопрос задан: 13 January 2012 22:11