YS
Size: a a a
YS
D
YS
JS
JS
JS
MK
Data
для типа, у которого в скоупе нет конструктора?MK
KZ
JS
instance Data A where
gunfold _ _ = undefined
toConstr = undefined
dataTypeOf = undefined
MK
JS
JS
MK
MK
JS
-- module A
newtype A = A Integer
defaultA :: A
defaultA = A 42
-- module B
instance Data A where
gunfold _ z _ = z defaultA
toConstr a = mkConstr (dataTypeOf a) "A" [] Prefix
dataTypeOf _ = mkDataType "A" []
MK
MK
ХЛ