{-# LANGUAGE DataKinds #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -Wno-orphans #-} module Cardano.Ledger.Allegra.Rules.Delegs () where import Cardano.Ledger.Allegra.Era (AllegraEra) import Cardano.Ledger.Allegra.Rules.Delpl () import Cardano.Ledger.Core import Cardano.Ledger.Shelley.Rules ( ShelleyDelegPredFailure, ShelleyDelegsPredFailure (..), ShelleyDelplPredFailure, ShelleyPoolPredFailure, ) type instance EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra instance InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEra instance InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEra where injectFailure :: ShelleyDelplPredFailure AllegraEra -> EraRuleFailure "DELEGS" AllegraEra injectFailure = forall era. PredicateFailure (EraRule "DELPL" era) -> ShelleyDelegsPredFailure era DelplFailure instance InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEra where injectFailure :: ShelleyPoolPredFailure AllegraEra -> EraRuleFailure "DELEGS" AllegraEra injectFailure = forall era. PredicateFailure (EraRule "DELPL" era) -> ShelleyDelegsPredFailure era DelplFailure forall b c a. (b -> c) -> (a -> b) -> a -> c . forall (rule :: Symbol) (t :: * -> *) era. InjectRuleFailure rule t era => t era -> EraRuleFailure rule era injectFailure instance InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEra where injectFailure :: ShelleyDelegPredFailure AllegraEra -> EraRuleFailure "DELEGS" AllegraEra injectFailure = forall era. PredicateFailure (EraRule "DELPL" era) -> ShelleyDelegsPredFailure era DelplFailure forall b c a. (b -> c) -> (a -> b) -> a -> c . forall (rule :: Symbol) (t :: * -> *) era. InjectRuleFailure rule t era => t era -> EraRuleFailure rule era injectFailure