Как написать объявление "производного экземпляра"?

#haskell #deriving

#haskell #получение

Вопрос:

Я пытаюсь сохранить крипто-хэш в виде поля в типе записи, но компилятор жалуется:

 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
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Кто-нибудь может помочь мне понять эту ошибку и как ее исправить?

1. Что пойдет не так, если у вас нет Data Generic экземпляров or для этого типа?

2. @DanielWagner как он настраивается, ничего. MyRecord — это полезная нагрузка Data.Tree. Основываясь на примерах использования этого типа, я предположил, что полезная нагрузка должна быть экземпляром Data и Generic . Но, удалив их из объявления MyRecord, мое приложение все еще компилируется.

Ответ №1:

Одним из вариантов было бы пропустить Data Generic экземпляры and до тех пор, пока они определенно не понадобятся; затем на этом этапе достаточно изучите Data и Generic реализуйте их вручную.

Ответ №2:

Чтобы создать Data экземпляр для вашего типа, все типы, которые он содержит, также должны иметь этот экземпляр.

Создайте Digest MD5 экземпляр Data тоже.