ЗП
тогда рекорд уж лучше
Size: a a a
2021 September 09
SO
рекорд только строки
KV
-- | Convert from and to a @(k -> a)@ function.
--
-- Complexity: tabulate O(n * log n), index O(log n)
instance (Ord k, Enum k, Bounded k) => Representable (TotalMap k) where
type Rep (TotalMap k) = k
tabulate f = TotalMap $ Map.fromList [(k, f k) | k <- [minBound .. maxBound]]
index = Data.Key.index
написано же
ЗП
K
Стоп, как ты в пурсе в рекорде-то произвольную строку с терм-левела-то ключом возьмёшь?
SO
ну так строки же
ЗП
{1 :: Int, 2 :: Boolean}?SO
Это не работает
ЗП
type H = {_1 :: Int, _2 :: Boolean}SO
через Proxy?
2021 September 11
p
Что через прокси? :)
SO
А какой вопрос, конкретно?
p
Ну, прокси, это синглтон с фантомом просто.
Как ты строку с уровня значений на уровень типов поднимешь?
Как ты строку с уровня значений на уровень типов поднимешь?
SO
для какой цели?
p
Ну вот и я не понял, как и для какой цели. :)
SO
ну вот поэтому мы почти как слепой с глухим, что-то обсуждаем)
SO
строку можно поднимать на уровень имени поля рекорда, когда это нужно
(Proxy :: Proxy "field")p
Ну, это понятно. Тайплевел строка. Ее можно вниз, на уровень значений кастануть, но не наоборот.