JS
ладно, забанил двух пользователей с неадекватными репликами на английском
-- | Decimal encoding of an 'Int64'.
{-# INLINE int64Dec #-}
int64Dec :: BoundedPrim Int64
int64Dec = boudedPrim 20 $ c_long_long_int_dec . fromIntegralSize: a a a
2020 July 03
AV
продолжая вчерашнее, вот в bytestring, правильный билдер:
AV
гарантируем, что у нас есть нужное число символов и потом аккуратно туда пишем число преобразуя эффективной функцией из сишки
AV
Аааа у меня deriving via не работает 🙁
AV
есть Param x, конструктор которого не экспортирован. Есть class AsValue a where value :: Param a
есть инстансы для примитивных типов, напр Int64
Как сделать интанс для newtype над Int64 с минимумом усилий?
есть инстансы для примитивных типов, напр Int64
Как сделать интанс для newtype над Int64 с минимумом усилий?
AV
GeneralizedNewtypeDeriving не работает
AV
DerivingVia напрямую тоже не работает
AV
DerivingVia через newtype Coerced a b = Coerced b и AsValue (Coerced a b) тоже
AV
пока самое дешевое кажется писать:
instance HD.AsValue X where value = value @Int64 <&> coerce
AV
но это же печалька
AV
Сделать свой Params и делать unsafeCoerce не предлагать
AV
Хочу
deriving X TH functionMK
а что GND говорит?
AV
Незя говорит
AV
Точную ошибку скинуть?
MK
попробуй
AV
src/Data/Id.hs:48:21: error:
• Couldn't match type ‘Int64’ with ‘Id’
arising from the coercion of the method ‘HD.value’
from type ‘HD.Value Int64’ to type ‘HD.Value Id’
• When deriving the instance for (HD.AsValue Id)
|
48 | deriving newtype (HD.AsValue)
• Couldn't match type ‘Int64’ with ‘Id’
arising from the coercion of the method ‘HD.value’
from type ‘HD.Value Int64’ to type ‘HD.Value Id’
• When deriving the instance for (HD.AsValue Id)
|
48 | deriving newtype (HD.AsValue)
AV
Та же проблема что с via
AV
Он не может конвертнуть Params a в Params b, т.к. не знает, как ему это сделать, ему не сказать, что можно записать fmap Constr Params