Я пытаюсь сохранить криптографический хеш как поле в типе записи, но компилятор жалуется:
HashTest.hs:13:1: error:
• No instance for (Data (Digest MD5))
arising from the second field of ‘MyRecord’ (type ‘Digest MD5’)
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
• When deriving the instance for (Data MyRecord)
|
13 | } deriving (Show, Eq, Data, Generic)
| ^^^^
Вот код:
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveDataTypeable #-}
module Playpen.HashTest.HashTest where
import Data.Generics (Data, Typeable)
import GHC.Generics (Generic)
import Crypto.Hash
data MyRecord = MyRecord { idx :: Int
, sig :: Digest MD5
} deriving (Show, Eq, Generic)
Если я напишу отдельное предложение «производный экземпляр» следующим образом ...
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE StandaloneDeriving #-}
module Playpen.HashTest.HashTest where
import Data.Generics (Data, Typeable)
import GHC.Generics (Generic)
import Crypto.Hash
data MyRecord = MyRecord { idx :: Int
, sig :: Digest MD5
} deriving (Show, Eq, Generic)
deriving instance Data MyRecord
... тогда ошибка становится
HashTest.hs:16:1: error:
• No instance for (Data (Digest MD5)) arising from a use of ‘k’
• In the expression: ((z MyRecord `k` a1) `k` a2)
In an equation for ‘Data.Data.gfoldl’:
Data.Data.gfoldl k z (MyRecord a1 a2)
= ((z MyRecord `k` a1) `k` a2)
When typechecking the code for ‘Data.Data.gfoldl’
in a derived instance for ‘Data MyRecord’:
To see the code I am typechecking, use -ddump-deriv
In the instance declaration for ‘Data MyRecord’
|
16 | deriving instance Data MyRecord
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
HashTest.hs:16:1: error:
• No instance for (Data (Digest MD5)) arising from a use of ‘k’
• In the expression: k (k (z MyRecord))
In an equation for ‘Data.Data.gunfold’:
Data.Data.gunfold k z _ = k (k (z MyRecord))
When typechecking the code for ‘Data.Data.gunfold’
in a derived instance for ‘Data MyRecord’:
To see the code I am typechecking, use -ddump-deriv
In the instance declaration for ‘Data MyRecord’
|
16 | deriving instance Data MyRecord
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Может кто-нибудь помочь мне разобраться в этой ошибке и как ее исправить?