No instance for ‘PlutusTx.Eq.Eq ScriptPurpose’ arising from a use of ‘lookup’ about plutus

[effectfully]

@ana-pantilie you're probably equipped best to answer this one.

[ana-pantilie]

ScriptPurpose doesn't have an Eq instance anymore because in the case of Proposing scripts we would need to be able to compare Maps, which we decided we cannot do efficiently. @zlonast can you use Foldable.find instead?

[zlonast]

Do I understand correctly that you are suggesting something like that? @ana-pantilie

{-# INLINABLE eqCredential #-}
eqCredential :: Credential -> ScriptPurpose -> Bool
eqCredential a (Rewarding b) = a PlutusTx.== b
eqCredential _ _ = Haskell.False

find (eqCredential sc) (keys $ txInfoRedeemers $ scriptContextTxInfo ctx)

[ana-pantilie]

@zlonast yes that's what I was thinking of.

[effectfully]

Sounds like there's a reasonable workaround and we aren't going to do anything about the issue otherwise, hence I'm closing it. Do feel free to reopen if you feel otherwise.