Add root for Hydra.Model.Payment.IsTx and remove unused Payment insta…

…nces

hydra-node/test/Hydra/Model/Payment.hs

@@ -16,8 +16,6 @@ import Hydra.Tx.IsTx (IsTx (..))
 import Test.Hydra.Tx.Fixture (testNetworkId)
 import Test.Hydra.Tx.Gen (genKeyPair)
 import Test.QuickCheck (choose)
-import Test.QuickCheck.StateModel (HasVariables)
-import Test.QuickCheck.StateModel.Variables (HasVariables (..))
 import Prelude qualified
 
 -- NOTE: New type wrapper to add Ord and Eq instances to signing keys
@@ -72,18 +70,12 @@ instance Show Payment where
       <> show value
       <> " }"
 
-instance Arbitrary Payment where
-  arbitrary = error "don't use"
-
 instance ToCBOR Payment where
   toCBOR = error "don't use"
 
 instance FromCBOR Payment where
   fromCBOR = error "don't use"
 
-instance HasVariables Payment where
-  getAllVariables _ = mempty
-
 -- | Making `Payment` an instance of `IsTx` allows us to use it with `HeadLogic'`s messages.
 instance IsTx Payment where
   type TxIdType Payment = Int

weeder.toml

@@ -33,6 +33,8 @@ root-instances = [
  , { module = "Hydra.Contract.MintAction", instance = "FromData MintAction" }
  # This one is odd.
  , { module = "Hydra.Network.Ouroboros.Type", instance = "Protocol" }
+ # TODO: Remove this
+ , { module = "Hydra.Model.Payment", instance = "IsTx" }
  # These are used for debugging.
  , { module = "Hydra.Chain.Direct.TxTraceSpec", instance = "HasVariables" }
  , { module = "Hydra.Chain.Direct.TxTraceSpec", instance = "MonadFail AppM" }